Events Calendar

PhD Thesis Proposal - Mi-Ying Miryam Huang

Presentation Title: Towards Publicly Verifiable Cryptography: Obfuscation, Fully Homomorphic Encryption, and Proof Carrying State.    
 
Date and Time:  April 17th 12:00pm to 1:30pm    
 
Location: Ginsburg 503C    
 
Committee members: David Kempe, Greta Panova (math department), Vatsal Sharan, Shanghua Teng, Jiapeng Zhang    
 
Abstract: We explore public verifiability in cryptography. This proposal highlights two main results and one ongoing research direction:
 
Through a quantum lens, we introduce Quantum Obfuscation for approximate Unitary Quantum Functionality. By using advanced quantum techniques, our construction supports approximate unitary quantum functionalities with quantum inputs and outputs, significantly extending beyond existing limitations by Bartusek et al (STOC 2023, STOC 2024). Utilizing Quantum Teleportation combined with Projective Linear Measurement (PLM) quantum programs, we overcome critical obstacles from previous works and open potential applications in quantum copy-protection, quantum functional encryption, and secure quantum software distribution.
 
From a classical cryptographic perspective, we develop a Publicly Verifiable Fully Homomorphic Encryption (pvFHE) scheme, building upon the FHEW framework by Ducas and Micciancio (Eurocrypt 15). Integrating the GINX homomorphic accumulator, our scheme improves efficiency during bootstrapping and verification. Moreover, we introduce a generalized Rank-1 Constraint System (Ring R1CS) and construct a succinct non-interactive argument (SNARG). This approach provides efficient verifiability and strong security guarantees, including enhanced client data privacy, adhering to the recently introduced privacy framework by Cini et al. (Crypto 24).
 
Finally, our ongoing project, Proof-Carrying Quantum States, further extends these concepts to achieve verifiable quantum computations, bridging classical and quantum cryptographic techniques to ensure computation integrity and privacy. Together, these contributions advance both theoretical foundations and practical applications of publicly verifiable cryptographic protocols.

Location: Ginsburg Hall (GCS) - 503C

Audiences: Everyone Is Invited

Contact: Mi-Ying Miryam Huang

This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor.

Add to Google Calendar