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

Security, privacy, and cryptography

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

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

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

Published Date

Video

Advances in the CM method for elliptic curves

April 22, 2009 | Francois Morain

The complex multiplication method (CM method) builds an algebraic curve over a given finite field GF(q) and having an easily computable cardinality. Used at first for elliptic curves, this method is one of the building…

53:37

Publication

So Long, And No Thanks for the Externalities: The Rational Rejection of Security Advice by Users

Cormac Herley

MSR-TR-2009-46 | April 2009

NSPW

Publication

It’s Not What You Know, But Who You Know: A social approach to last-resort authentication

Stuart Schechter, Serge Egelman, Robert W. Reeder

CHI ’09: Proceeding of the twenty-seventh annual SIGCHI conference on Human factors in computing systems | April 2009

CHI '09: Proceeding of the twenty-seventh annual SIGCHI conference on Human factors in computing systems

Publication

Towards a programmable TPM

Paul England

Trusted Computing | April 2009

Trusted Computing

Lecture Notes in Computer Science

Publication

BotGraph: Large Scale Spamming Botnet Detection

Yao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, Eliot Gillum

The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’09) | April 2009

Publication

Towards a Verified Reference Implementation of a Trusted Platform Module

Aybek Mukhamedov, Andy Gordon, Mark Ryan

17th International Workshop, Cambridge, UK, April 1-3, 2009 | April 2009

ISBN: 978-3-642-36212-5 (Print) 978-3-642-36213-2 (Online)

Publication

Bunker: A Privacy-Oriented Platform for Network Tracing

Andrew Miklas, Stefan Saroiu, Alec Wolman, Angela Demke Brown

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI) | April 2009

Project

Video

Building a Safer Web

March 12, 2009 | Charlie Reis, Helen Wang

Web content has shifted from simple documents to active programs, but web browsers and protocols have not evolved adequately to support them. As a result, safety problems in web browsers and web sites now regularly…

01:13:19

Microsoft Research Blog

CHI ’09: Computing with a Human Touch

March 11, 2009

By Rob Knies, Managing Editor, Microsoft Research Historically, Microsoft Research has had a big footprint during CHI, the annual conference on Human Factors in Computing Systems sponsored by the Association for Computing Machinery’s Special Interest…

Video

Abelian surfaces with a given number of points

March 10, 2009 | Peter Stevenhagen

This is a report on joint work with Everett Howe and Kristin Lauter. I will discuss the genus 2 analogue of the problem of efficiently constructing an elliptic curve over a finite field with a…

01:04:54

Security, privacy, and cryptography

Highlights