Security, privacy, and cryptography

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

Publication

Quantifying Trust

Mariusz Jakubowski, Ramarathnam Venkatesan, Yacov Yacobi

MSR-TR-2009-119 | October 2009

Microsoft Research Blog

Cryptography Receives Indian Scrutiny

September 24, 2009

By Rob Knies, Managing Editor, Microsoft Research You employ cryptographic techniques on a daily basis … don’t you? Sure you do. Every time you type a password into a computer, you are practicing cryptography, using…

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

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

Quantifying Trust

Cryptography Receives Indian Scrutiny

Security, privacy, and cryptography

Highlights