Succinct and Adaptively Secure ABE for Arithmetic Branching Programs from k-Lin
Offered By: TheIACR via YouTube
Course Description
Overview
Explore a conference talk from Asiacrypt 2020 that presents a paper on succinct and adaptively secure Attribute-Based Encryption (ABE) for arithmetic branching programs from k-Lin. Delve into the framework proposed by Lin and Luo, which builds upon previous work from Eurocrypt. Learn about key concepts such as adaptive IND-CPA security, arithmetic key garbling schemes, and inner-product functional encryption. Examine the modified proof techniques with less hardwiring and simulation security. Gain insights into piecewise security, special simulation structures, and gradual simulation security as applied to ABE schemes.
Syllabus
Intro
Attribute-Based Encryption [SW05]
Adaptive IND-CPA Security
Framework of [LL20, Eurocrypt]
Framework of This Work
Arithmetic Key Garbling Scheme X
Inner-Product Functional Encryption X
1-ABE via AKGS and IPFE
Security: x then f
Hardwiring Less: Piecewise Security LL20, EC
Hardwiring Less: Special Simulation Structure
Modified Proof with Less Hardwiring
Replacing Function-Hiding: Simulation Security
Modified Proof with Simulation
Gradual Simulation Security
Taught by
TheIACR
Related Courses
Applied CryptographyUniversity of Virginia via Udacity FHE and Private Set Intersection
Simons Institute via YouTube Homomorphic Encryption in the SPDZ Protocol for MPC
Simons Institute via YouTube Compressing Vector OLE
Association for Computing Machinery (ACM) via YouTube Secure Outsourced Matrix Computation and Application to Neural Networks
Association for Computing Machinery (ACM) via YouTube