Security, privacy, and cryptography

Publication

Stronger Security of Authenticated Key Exchange

Brian LaMacchia, Kristin Lauter, Anton Mityagin

January 2007

Publication

Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis

Cynthia Dwork

11th International Conference on Database Theory (ICDT 2007) | January 2007

11th International Conference on Database Theory (ICDT 2007)

ISBN: 3-540-69269-X

Project

Publication

Algorithmic Solutions for Privacy, Anonymity and Identity

Claudia Diaz, Miroslav Knezevic, Markulf Kohlweiss, Svetla Nikova, Stefan Schiffner, Carmela Troncoso, Vesselin Velichkov

MSR-TR-2007-176 | January 2007

Publication

KLASSP: Enterring Passwords from a Spyware Infected Machine

Dinei Florencio, Cormac Herley

MSR-TR-2006-74 | December 2006

Publication

KLASSP: Entering Passwords on a Spyware Infected Machine Using a Shared-Secret Proxy

Dinei Florencio, Cormac Herley

December 2006

Publication

A Systematic Approach to Uncover GUI Logic Flaws for Web Security

Shuo Chen, Jose Meseguer, Ralf Sasse, Helen Wang, Yi-Min Wang

MSR-TR-2006-182 | December 2006

Publication

Detecting Stealth Web Pages That Use Click-Through Cloaking

Yi-Min Wang, Ming Ma

MSR-TR-2006-178 | December 2006

Publication

Protecting Privacy in Key-Value Search Systems

Yinglian Xie

The 2006 Annual Computer Security Applications Conference (ACSAC 06), Miami Beach, FL | December 2006

Group

Cryptography, Security, and Applied Mathematics

The Cryptography, Security, and Applied Mathematics (CSAM) group conducts research on theoretical and practical aspects of cryptography, computational complexity, formal approaches to system and software security, data mining and machine learning with applications to security,…

Publication

A Large Scale Study of Web Password Habits

Dinei Florencio, Cormac Herley

MSR-TR-2006-166 | November 2006

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

Stronger Security of Authenticated Key Exchange

Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis

Algorithmic Solutions for Privacy, Anonymity and Identity

KLASSP: Enterring Passwords from a Spyware Infected Machine

KLASSP: Entering Passwords on a Spyware Infected Machine Using a Shared-Secret Proxy

A Systematic Approach to Uncover GUI Logic Flaws for Web Security

Detecting Stealth Web Pages That Use Click-Through Cloaking

Protecting Privacy in Key-Value Search Systems

Cryptography, Security, and Applied Mathematics

A Large Scale Study of Web Password Habits

Security, privacy, and cryptography

Highlights