A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs

Explore a conference talk from CCS 2016 that introduces 5Gen, a novel framework for prototyping applications using multilinear maps and matrix branching programs. Delve into the research presented by a team of experts from Stanford University, Galois, University of Maryland, Oregon State University, and Yale University. Learn about program obfuscation, cryptography, functional encryption, and algorithms as the speakers outline the key components of the 5Gen framework. Discover optimizations such as base change, matrix pre-multiplication, and dimension reduction. Examine multilinear maps, their operations, costs, and candidates, as well as how they are combined with matrix branching programs. Gain insights into the basic construction, multilayer map, and encryption results, comparing them to previous findings. Conclude with a summary and engage in a brief Q&A session to deepen your understanding of this cutting-edge cryptographic framework.

Introduction
Overview
Program Office
Obfuscation
Cryptography
Functional Encryption
Algorithms
Application Framework
Outline
Matrix Parenting Program
Matrix Branching Program
Layered Finite State Machine
Optimizations
Base Change Optimization
Matrix Pre Multiplication Optimization
Dimension Reduction Optimization
Multilinear Maps
Multilinear Maps Operations
Multilinear Maps Costs
Multilinear Maps Candidates
Multilinear Maps Wrapper
Combining the two tools
Basic construction
Multilayer map
Liveatmap
Matrix branching program length
Encryption results
obfuscation results
compared to 2014 results
summary
bonus slide
quick questions