Explore advanced encryption concepts in this comprehensive session from Asiacrypt 2022. Delve into motivation, applications, and security properties of encryption systems. Examine existing solutions, including voting games and TCC security. Learn about twistable primitives, CPA encryption, and voting system constructions. Discover techniques for computing encrypted data, with a focus on equijoin queries and joint crosstags (JXT). Investigate witness encryption, branching programs, and CVW obfuscation. Gain insights into evasion automation and proof of security methodologies. Conclude with a Q&A session to reinforce understanding of these cutting-edge encryption topics.
Overview
Syllabus
Introduction
Motivation and application
Security properties
Existing solution
Voting game
TCC security
Twistable primitive
Constructions
CPA encryption
Voting system
Conclusion
Question
Computing encrypted data
Main contribution
Equijoin queries
Joint crosstags
JXT
Technical Overview
Example
Questions
Witness Encryption
Results
Evasion automation
Branching programs
CVW obfuscation
Proof of security
Conclusions
Taught by
TheIACR
