Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People
Events

The Taub Faculty of Computer Science Events and Talks

Cryptographic Computations need Compilers
event speaker icon
Madan Musuvathi - COLLOQUIUM LECTURE
event date icon
Tuesday, 17.12.2019, 14:30
event location icon
Room 337 Taub Bld.
There is a recent surge of interest in performing computations on encrypted data. Techniques such as secure multi-party computations and fully-homomorphic encryption enable rich privacy-preserving applications. On the other hand, building such applications is hard due to the cryptographic expertise required to build them correctly, securely, and efficiently. Excitingly, a compiler that raises the level of programming abstraction while performing a slew of domain-specific optimizations can make a huge difference in building these applications. I will provide an overview of recent work in this area while focusing on our own work on a compiler for fully-homomorphic computations. Here the fundamental problem reduces to mapping application level parallelism onto the vectorization capabilities inherent in the encryption schemes. Short Bio: ========== Madan Musuvathi manages the Research in Software Engineering (RiSE) group at Microsoft Research. His interests primarily lie in the intersection of programming languages, formal methods, and systems. His research has produced several software reliability tools that are widely used within Microsoft and other companies. He received his Ph.D. from Stanford University. Lecture online (YouTube)