Security, privacy, and cryptography

Publication

U-Prove Designated-Verifier Accumulator Revocation Extension

Christian Paquin, Lan Nguyen

MSR-TR-2015-40 | May 2015

Project

Publication

Executable Proofs, Input-Size Hiding Secure Computation and a New Ideal World

Melissa Chase, Rafail Ostrovsky, Ivan Visconti

Eurocrypt 2015 | April 2015

Publication

Hosting Services on an Untrusted Cloud

Dan Boneh, Divya Gupta, Ilya Mironov, Amit Sahai

EUROCRYPT | April 2015

Publication

Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process

Ewa Luger, Lachlan Urquhart, Tom Rodden, Michael Golembewski

April 2015

Group

Systems | India

Systems work at MSR India covers a broad spectrum of areas ranging from program verification, programming languages and tools, distributed systems, networking and security. We are interested in both building real world systems and studying…

Publication

Challenges with Applying Vulnerability Prediction Models

Kim Herzig, Brendan Murphy

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security | April 2015

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security

Project

Publication

Randomness amplification against no-signaling adversaries using two devices

Ravishankar Ramanathan, Fernando G.S.L. Brandao, Karol Horodecki, Michał Horodecki, Paweł Horodecki, Hanna Wojewódka

Arxiv:1504.06313 | April 2015

Publication

Malware Classification With Recurrent Networks

Razvan Pascanu, Jack W. Stokes, Hermineh Sanossian, Mady Marinescu, Anil Thomas

Proceedings IEEE Conference on Acoustics, Speech, and Signal Processing (ICASSP) | April 2015

Project

Publication

Transaction Processing on Confidential Data Using Cipherbase

Arvind Arasu, Ken Eguro, Manas Joglekar, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy

31st IEEE International Conference on Data Engineering (ICDE) | April 2015

Publication

A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations

Shashank Agrawal, Divya Gupta, Hemanta K. Maji, Omkant Pandey, Manoj Prabhakaran

TCC | March 2015

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

U-Prove Designated-Verifier Accumulator Revocation Extension

Executable Proofs, Input-Size Hiding Secure Computation and a New Ideal World

Hosting Services on an Untrusted Cloud

Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process

Systems | India

Challenges with Applying Vulnerability Prediction Models

Randomness amplification against no-signaling adversaries using two devices

Malware Classification With Recurrent Networks

Transaction Processing on Confidential Data Using Cipherbase

A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations

Security, privacy, and cryptography

Highlights