Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Video
Strong LP Formulations and Primal-Dual Approximation Algorithms
The state of the art of the design and analysis of approximation algorithms for NP-hard discrete optimization has advanced significantly over the past two decades; furthermore, the most prevalent approach has been to rely on…
Publication
Can Homomorphic Encryption be Practical?
Video
Protecting Circuits from Leakage: The Computationally-Bounded and Noisy Cases
Joint work with Sebastian Faust, Tal Rabin, Eran Tromer, and Vinod Vaikuntanathan Computational devices leak side-channel information that may, and often does, reveal secret internal states. Such leakage is often not modeled properly by the…
