13 results on '"Brent Carmer"'
Search Results
2. Public-Key Function-Private Hidden Vector Encryption (and More).
3. Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.
4. 5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits.
5. 5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs.
6. Linicrypt: A Model for Practical Cryptography.
7. Vamonos: Embeddable visualizations of advanced algorithms.
8. A type system for extracting functional specifications from memory-safe imperative programs
9. Garbled Neural Networks are Practical.
10. Public-Key Function-Private Hidden Vector Encryption (and More)
11. 5Gen-C
12. 5Gen
13. Linicrypt: A Model for Practical Cryptography
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.