Security, privacy, and cryptography

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…

Video

Building Systems That Enforce Measurable Security Goals

September 16, 2009 | Trent Jaeger, Weidong Cui

In this talk, I will argue for an approach for building and deploying systems that enforce measurable security goals. Historically, the security community has developed “ideal” goals for security, but conventional systems are not built…

01:28:32

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

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

Building Systems That Enforce Measurable Security Goals

Security, privacy, and cryptography

Highlights