Security, privacy, and cryptography

Publication

ScriptGard: Preventing Script Injection Attacks in Legacy Web Applications with Automatic Sanitization

Prateek Saxena, David Molnar, Ben Livshits

MSR-TR-2010-128 | September 2010

Publication

A Framework for Efficient Signatures, Ring Signatures and Identity Based Encryption in the Standard Model

Zvika Brakerski, Yael Tauman Kalai

2010/086 | September 2010

Cryptology ePrint Archive

Publication

Public-Key Encryption with Efficient Amortized Updates

Nishanth Chandran, Rafail Ostrovsky, William E. Skeith III

Proceedings Security and Cryptography for Networks, 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. | September 2010

ISBN: 978-3-642-15316-7

Publication

Exploring End User Preferences for Location Obfuscation, Location-Based Services, and the Value of Location

A.J. Brush, John Krumm, James Scott

Proceedings of UbiComp 2010 | September 2010

Access

Publication

Privacy Integrated Queries

Frank McSherry

Communications of the ACM | September 2010, Vol 53: pp. 89-97

Project Project

Publication

Differentially-Private Network Trace Analysis

Frank McSherry, Ratul Mahajan

Proceedings of SIGCOMM 2010 | August 2010

Project

Publication

RePriv: Re-Envisioning In-Browser Privacy

Matthew Fredrikson, Ben Livshits

MSR-TR-2010-116 | August 2010

Video

A Framework for the Sound Specification of Cryptographic Tasks

August 11, 2010 | Juan Garay

Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the “trusted-party paradigm,” where the protocol execution is compared with an ideal process where the outputs are…

a man wearing glasses and smiling at the camera

01:08:13

Publication

Searching the Searchers with SearchAudit

John P. John, Fang Yu, Yinglian Xie, Martin Abadi, Arvind Krishnamurthy

USENIX Security Symposium | August 2010

Publication

Baaz: A System for Detecting Access Control Misconfigurations

Tathagata Das, Ranjita Bhagwan, Prasad Naldurg

USENIX Security Symposium | August 2010

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

ScriptGard: Preventing Script Injection Attacks in Legacy Web Applications with Automatic Sanitization

A Framework for Efficient Signatures, Ring Signatures and Identity Based Encryption in the Standard Model

Public-Key Encryption with Efficient Amortized Updates

Exploring End User Preferences for Location Obfuscation, Location-Based Services, and the Value of Location

Privacy Integrated Queries

Differentially-Private Network Trace Analysis

RePriv: Re-Envisioning In-Browser Privacy

A Framework for the Sound Specification of Cryptographic Tasks

Searching the Searchers with SearchAudit

Baaz: A System for Detecting Access Control Misconfigurations

Security, privacy, and cryptography

Highlights