Hi, I am Mayank Varia.
I research theoretical and applied cryptography and its application to problems throughout and beyond computer science.
I research theoretical and applied cryptography and its application to problems throughout and beyond computer science.
I am a member of the computer science department at Boston University.
I am the co-director of BU's Center for Reliable Information Systems & Cyber Security, a multi-disciplinary group of faculty whose research impacts, or is impacted by, cybersecurity attacks and defenses.
I am a founding member of BU's Cyber Security, Law, and Society Alliance, which explores the interaction between technology, law, and policy.
Below, I describe a few major themes of my research along with links to selected publications..
My PhD thesis provides concrete methods to “obfuscate” or garble computer programs in a provably secure manner while preserving their functionality. Selected publications: TCC 2010a, TCC 2010b, and TCC 2009.
I develop cryptographic algorithms and systems that improve the accessibility and scalability of cryptographically secure computation. Selected publications: EuroSys 2019, SOUPS 2019, and Compass 2018. See also multiparty.org and my talk at Enigma 2018.
I construct formal, composable proofs of security for cryptographic protocols and broader systems. Selected publications: CSF 2019, SecDev 2019, CSF 2017.
I research cryptographic techniques to perform privacy-preserving database searches that protect the raw data and queries. Selected publications: Oakland 2017 and OSR 2015.
I develop information theoric bounds on data reconstruction attacks from a distorted, aggregate metric. Selected publications: Trans Inf. Theory 2019 and Allerton 2013.
I investigate the security implications of an imprecise notion of time. Selected publications: Financial Crypto 2017 and CSF 2017.
I examine the social impact of cryptography and the design of cryptosystems that achieve certain legal guarantees. Selected publications: Euro S&P 2018, FOCI 2018.