Explore the evolution from selective to adaptive security in functional encryption schemes through this informative conference talk. Delve into the formalization, literature review, and key theorems surrounding this cryptographic concept. Examine the bootstrapping theorem, adaptive functional encryption, and hybrid encryption techniques. Analyze the security proof, minimum requirements, and intermediate reductions. Gain insights into the Trojan method, function keys, and the final construction. Conclude with a comprehensive summary of the advancements in functional encryption security.
From Selective to Adaptive Security in Functional Encryption
Overview
Syllabus
Introduction
Functional Encryption Scheme
Formalization
Literature
Main Theorem
Bootstrapping Theorem
Adaptive Fe
Hybrid Encryption
Security Proof
Minimum Requirements
Proof of Security
Hybrids
Intermediate Reduction
Trojan Method
Function Key
Final Construction
Second Hybrid
Summary
Taught by
TheIACR
Related Courses
-
Obfustopia Built on Secret-Key Functional Encryption
-
Multi-input Functional Encryption in the Private-Key Setting
-
Universal Constructions and Robust Combiners for Indistinguishability Obfuscation and Witness Encryption
-
Succinct and Adaptively Secure ABE for Arithmetic Branching Programs from k-Lin
-
Inner-Product Functional Encryption with Fine-Grained Access Control
-
Indistinguishability Obfuscation from Constant-Degree Graded Encoding Schemes
