Compiler Security Proof Enables Robust Distributed Cryptographic Synthesis
A novel compiler security proof unifies four theoretical models to automatically generate robust, distributed cryptographic systems from simple centralized code, fundamentally simplifying secure application development.
Formally Synthesizing Secure Distributed Systems from Centralized Programs
This research unifies simulation-based security with compiler techniques to automatically generate provably secure distributed cryptographic applications.
