A type system for extracting functional specifications from memory-safe imperative programs.
,
,
,
,
,
,
,
,
,
,
Proc. ACM Program. Lang., 2021
Public-Key Function-Private Hidden Vector Encryption (and More).
IACR Cryptol. ePrint Arch., 2019
Garbled Neural Networks are Practical.
IACR Cryptol. ePrint Arch., 2019
5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits.
IACR Cryptol. ePrint Arch., 2017
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs.
IACR Cryptol. ePrint Arch., 2016
Linicrypt: A Model for Practical Cryptography.
IACR Cryptol. ePrint Arch., 2016
Vamonos: Embeddable visualizations of advanced algorithms.
Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015