Verifiable Functional Encryption

Explore functional encryption in this 24-minute conference talk from Asiacrypt 2016. Delve into classical encryption concepts before examining functional encryption (FE) and IND security. Learn about auditing applications and their drawbacks. Analyze various attempts at implementing functional encryption, including trivial and first attempts. Investigate message hiding techniques and verifiability challenges. Discover innovative ideas for maintaining message privacy while addressing verifiability issues. Gain insights into advanced cryptographic concepts and their practical implications for secure data access and auditing.

Intro
Classical Encryption
Functional Encryption (FE)
IND Security
Example: Audits (GPSW'06)
Drawback?
Trivial Attempt
First Attempt
Message Hiding
Next Attempt
What about Verifiability?
Idea 1
Message privacy holds!
Verifiability lost!
Another Lock