Security, privacy, and cryptography

Publication

Proofs of Storage from Homomorphic Identification Protocols

Seny Kamara, Giuseppe Ateniese, Jonathan Katz

Advances in Cryptology – ASIACRYPT ’09 | December 2009

Microsoft Research Blog

Nozzle: Counteracting Memory Exploits

November 23, 2009

By Janie Chang, Writer, Microsoft Research Computer security has been described as a game of one-upmanship, an ongoing escalation of techniques as both sides attempt to find new ways to assault and protect system vulnerabilities.…

Publication

ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser

Leo Meyerovich, Ben Livshits

MSR-TR-2009-158 | November 2009

Publication

A Security-Preserving Compiler for Distributed Programs

Cédric Fournet, Gurvan Le Guernic, Tamara Rezk

ACM Conference on Computer and Communications Security (CCS’09) | November 2009

Publication

Improving Privacy and Security in Multi-Authority Attribute-Based Encryption

Melissa Chase, Sherman S.M. Chow

ACM Computer and Communications Security Conference (CCS ’09) | November 2009

Publication

Randomizable Proofs and Delegatable Anonymous Credentials

Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham

CRYPTO 2009 | November 2009

Publication

Usable Security: How to Get It

Butler Lampson

Communications of the ACM | November 2009, Vol 52(11): pp. 25-27

Publication

Tamper-Tolerant Software: Modeling and Implementation

Mariusz Jakubowski, Nick Saw, Ramarathnam Venkatesan

International Workshop on Security (IWSEC 2009) | October 2009

Publication

A Parallel Repetition Theorem for Any Interactive Argument

Iftach Haitner

MSR-TR-2009-144 | October 2009

FOCS 2009

Publication

Principles and Applications of Refinement Types

Andy Gordon, Cédric Fournet

MSR-TR-2009-147 | October 2009

Project

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

Proofs of Storage from Homomorphic Identification Protocols

Nozzle: Counteracting Memory Exploits

ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser

A Security-Preserving Compiler for Distributed Programs

Improving Privacy and Security in Multi-Authority Attribute-Based Encryption

Randomizable Proofs and Delegatable Anonymous Credentials

Usable Security: How to Get It

Tamper-Tolerant Software: Modeling and Implementation

A Parallel Repetition Theorem for Any Interactive Argument

Principles and Applications of Refinement Types

Security, privacy, and cryptography

Highlights