illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

lock icon on green background

Leveraging Large Language Models for Automated Proof Synthesis in Rust

photos of PhD students Anunay Kulshrestha and Karan Newatia with a photo of Senior Cryptographer Josh Benaloh in the middle with a microphone icon on a blue and purple gradient background

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

Bayes Security (β*, higher better) of DP-SGD against membership and attribute inference on the Adult and Purchase datasets as a function of the number of training steps. The green dashed line shows the corresponding DP budget (ε). Membership and attribute inference curves decrease monotonically as the model is trained for longer and the accuracy and DP budget grow.

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

MSR Systems Networking Graphic

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

Current selections

Sort by: Most recent

Clear selections

Project

FourQlib

FourQlib is an efficient and portable math library that provides functions for computing essential elliptic curve operations on a high-performance curve called “FourQ”. This curve targets the 128-bit security level and supports computations that are…

Publication

Subgroup Security in Pairing-Based Cryptography

Paulo S. L. M. Barreto, Craig Costello, Rafael Misoczki, Michael Naehrig, Geovandro C. C. F. Pereira, Gustavo Zanon

Progress in Cryptology – LATINCRYPT 2015 – 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico | August 2015

ISBN: 978-3-319-22173-1

Tool

Ironclad

Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior.

GitHub Publication

Publication

Fully Reversible Privacy Region Protection for Cloud Video Surveillance

Xiaojing Ma, Wenjun Zeng, Laurence T. Yang, Yang Xiang, Deqing Zou, Hai Jin

Transactions on Cloud Computing, Special Issue on Cloud Security Engineering | August 2015, Vol 5(3): pp. 510-522

Publication

Explicit Non-malleable Codes Against Bit-Wise Tampering and Permutations

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

CRYPTO | August 2015

Publication

Secure Computation from Leaky Correlated Randomness

Divya Gupta, Yuval Ishai, Hemanta K. Maji, Amit Sahai

CRYPTO | August 2015

Publication

Concurrent Secure Computation via Non-Black Box Simulation.

Vipul Goyal, Divya Gupta, Amit Sahai

CRYPTO | August 2015

Publication

Cookies Lack Integrity: Real-World Implications

Xiaofeng Zheng, Jian Jiang, Jinjin Liang, Haixin Duan, Shuo Chen, Tao Wan

Proceedings of USENIX Security Symposium | August 2015

Publication

Stronger Password-Based Encryption Using All-or-Nothing Transforms

MSR-TR-2015-63 | August 2015

Publication

Lossless ROI Privacy Protection of H.264/AVC Compressed Surveillance Videos

Xiaojing Ma, Wenjun Zeng, Laurence T. Yang, Deqing Zou, Hai Jin

Transactions on Emerging Topics in Computing | August 2015, Vol 4(3)

Your Privacy Choices