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

Security, privacy, & cryptography

Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.

Diagram showing the process of verifying cryptographic code. An algorithm from a standard is converted into a formal specification, while Rust code is converted into a code model. The specification and code model are then compared through proof and verification steps.

Verifying Rust cryptography in SymCrypt, from standards to code

Three white line-style icons centered on a textured blue-to-green gradient background: a shield, a checkmark inside a circle, and an ID card with a user silhouette—representing security, verification, and digital identity.

Vega: Zero-knowledge proofs for digital identity in the age of AI

Project Ire | | three white line icons on an abstract purple background | greater than / less than icon, search icon, shield icon

Ire identifies another LOTUSLITE specimen

Social Reasoning Bench | four icons on a blue to green gradient | person icon, chat bubble icon, chart icon, checklist icon

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Cédric Fournet (93)

Melissa Chase (75)

Nishanth Chandran (67)

Kim Laine (60)

Santiago Zanella-Béguelin (53)

Divya Gupta (47)

Srinath Setty (46)

Josh Benaloh (41)

Shruti Tople (41)

Greg Zaverucha (38)

Manuel Costa (38)

Aseem Rastogi (38)

Nikhil Swamy (36)

Patrick Longa (35)

Shuo Chen (35)

Marcus Peinado (34)

Sangho Lee (34)

Antoine Delignat-Lavaud (33)

Weidong Cui (32)

Boris Köpf (32)

Zinan Lin (29)

Christian Paquin (27)

Karen Easterbrook (26)

Ramarathnam Venkatesan (26)

Stefan Saroiu (25)

Alec Wolman (24)

Robert Sim (22)

Tahina Ramananandro (21)

Betül Durak (21)

Jay Lorch (19)

Sergey Yekhanin (18)

Stavros Volos (18)

Andrew Paverd (18)

Chris Hawblitzel (17)

Tolga Acar (17)

Janardhan (Jana) Kulkarni (16)

Butler Lampson (15)

Kevin Kane (15)

Satya Lokam (15)

Sylvan Clebsch (15)

Esha Ghosh (15)

Huseyin Inan (15)

Dan Shumow (14)

Ben Zorn (14)

Sriram Rajamani (13)

Weiteng Chen (13)

Ahmed Salem (13)

Matthew J. Parkinson (12)

Radames Cruz Moreno (12)

Jay Bosamiya (12)

E. Glen Weyl (11)

Margus Veanes (11)

Kate Crawford (10)

Mike Walker (10)

Brian Caswell (10)

Juan M. Lavista Ferres (10)

Oleksii Oleksenko (10)

Dennis Mattoon (9)

Eric Horvitz (9)

Marina Polishchuk (9)

Ziqiao Zhou (9)

Heidi Howard (9)

Lidong Zhou (8)

Venkat Padmanabhan (8)

Raghav Kaushik (8)

Landon Cox (8)

Arturs Backurs (8)

Emre Kiciman (7)

Manik Varma (7)

Suman Nath (7)

Hamed Khanpour (7)

Amaury Chamayou (7)

Giovanni Cherubin (7)

Chetan Bansal (6)

Galen Hunt (6)

Jonathan Larson (6)

Nicole Immorlica (6)

Jaime Teevan (6)

Xiaodong Liu (6)

Daniel Madrigal (6)

Mirian Hipolito Garcia (6)

Rahul Dodhia (6)

Sarah Smith (6)

Adrien Ghosn (6)

Aditya Nori (5)

Darren Edge (5)

Tarleton Gillespie (5)

William Blum (5)

Xian Zhang (5)

James Bono (5)

Sepideh Mahabadi (5)

Chris White (4)

Dongmei Zhang (4)

Jennifer Chayes (4)

John Langford (4)

Jianfeng Gao (4)

Madan Musuvathi (4)

Ramachandran Ramjee (4)

Ryen W. White (4)

Sharad Agarwal (4)

Shuvendu Lahiri (4)

Hanna Wallach (4)

Harsha Simhadri (4)

Eddy Ashton (4)

Victor Ruehle (4)

Saravan Rajmohan (4)

Harsha Nori (4)

Scott Freitas (4)

Ashish Panwar (4)

Gbola Afonja (4)

Bob Fleck (4)

Akash Lal (3)

Victor Bahl (3)

Ganesh Ananthanarayanan (3)

Jaron Lanier (3)

Kim Herzig (3)

Henrique S. Malvar (3)

Thomas Moscibroda (3)

Nikolaj Bjørner (3)

Qingwei Lin 林庆维 (3)

Himanshu Raj (3)

Siddhartha Sen (3)

Nathan Evans (3)

Sunayana Sitaram (3)

Kate Lytvynets (3)

Stephanie Hyland (3)

Ran Gilad-Bachrach (3)

Brent Hecht (3)

Karthik Selvaraj (RESEARCH) (3)

Dongsheng Li (3)

Zhongxin Guo (3)

Yuqing Yang (3)

Jayashree Mohan (3)

Menglin Xia (3)

Sara Abdali (3)

Saikat Chakraborty (3)

Roshan Dathathri (3)

Victor Reis (3)

Jessica Young (3)

Luca Wilke (3)

Son Ho (3)

Cory Duplantis (3)

Tianyu Chen (3)

Rishi Sharma (3)

Andrew Putnam (2)

Nancy Baym (2)

Brendan Lucier (2)

Cheick Keita (2)

Chris Quirk (2)

Scott Counts (2)

Hannes Gamper (2)

Jonathan "Peli" de Halleux (2)

Jake Hofman (2)

Katja Hofmann (2)

Kaushik Rajan (2)

Michel Galley (2)

Markus Mobius (2)

Neeraj Kayal (2)

Nicolas Villar (2)

Peter Lee (2)

Piali Choudhury (2)

Ranveer Chandra (2)

Rick Rashid (2)

Ran Gal (2)

Sean Rintel (2)

Shamsi Iqbal (2)

Surajit Chaudhuri (2)

Sam Webster (2)

Swami Manohar (2)

Fangzhao Wu (2)

Mihaela Vorvoreanu (2)

Qi Chen (2)

Dimitra Emmanouilidou (2)

Francesca Parmigiani (2)

Vaishnavi Ranganathan (2)

Akshay Nambi (2)

Jianxun Lian (2)

Longqi Yang (2)

Jakub Tarnawski (2)

Tanuja Ganu (2)

Pu Zhao (2)

P. Anandan (2)

Xenofon Foukas (2)

Aaron L Halfaker (2)

Yixi Xu (2)

Hao Cheng (2)

Ashley J. Llorens (2)

Xuan Feng (2)

Xiaoyuan Yi (2)

Jue Zhang (2)

Srinivasan Iyengar (2)

Xuchao Zhang (2)

Sarah Fakhoury (2)

Gabriel Ebner (2)

Xiaoting Qin (2)

Angelica Moreira (2)

Samuel Lee (2)

Katy Smith (2)

Shelby Hayes (2)

Bhakta Pradhan (2)

Dustin Fraze (2)

Tyler Payne (2)

Wenyue Hua (2)

Zezhou Huang (2)

Vineeth N Balasubramanian (2)

Andrew Zhao (2)

Adam Fourney (1)

A.J. Brush (1)

Akshay Krishnamurthy (1)

Amit Deshpande (1)

Anoop Gupta (1)

Arjmand Samuel (1)

Abigail Sellen (1)

Christian Borgs (1)

Bozidar Radunovic (1)

Christian Bird (1)

Cecily Morrison (1)

Cha Zhang (1)

Chin-Yew Lin (1)

Daan Leijen (1)

David Johnston (1)

David Rothschild (1)

Doug Burger (1)

Daniel G. Goldstein (1)

Dave Maltz (1)

Dushyanth Narayanan (1)

Eric Peterson (1)

Furu Wei (1)

Manish Gupta (1)

Jim Gray (1)

David Heckerman (1)

Hitesh Ballani (1)

Ivan Tashev (1)

Jacki O'Neill (1)

Jennifer Wortman Vaughan (1)

Jinyu Li (1)

Nebojsa Jojic (1)

Kalika Bali (1)

Kori Inkpen (1)

Krishna Chintalapudi (1)

Karin Strauss (1)

Kukjin Lee (1)

Lev Nachmanson (1)

Lili Cheng (1)

Mark Encarnación (1)

Matthai Philipose (1)

Martin Grayson (1)

Michael Freedman (1)

Mike Shepperd (1)

Navin Goyal (1)

Nikos Karampatziakis (1)

Nirupama Chandrasekaran (1)

Paolo Costa (1)

Peter Bodík (1)

Qiufeng Yin (1)

Richard Banks (1)

Sameh Elnikety (1)

Sebastian Burckhardt (1)

Spencer Fowers (1)

Shi Han (1)

Siân Lindley (1)

Sarah Bird (1)

Aleksandrs Slivkins (1)

Stas Tishkin (1)

Sumit Gulwani (1)

Siddharth Suri (1)

Thomas Karagiannis (1)

Wei Chen (1)

Weizhu Chen (1)

Yongqiang Xiong (1)

Bichlien Nguyen (1)

Ramakrishna Bairi (1)

Solon Barocas (1)

Anand Bonde (1)

Lester Mackey (1)

Pantazis Deligiannis (1)

Jacob Nelson (1)

Dave Thaler (1)

Arun Iyer (1)

Camilla Longden (1)

Budhaditya Deb (1)

Rahee Ghosh Peshawaria (1)

Irene Zhang (1)

Sujay Kumar Jauhar (1)

Advait Sarkar (1)

Nagarajan Natarajan (1)

Behnaz Arzani (1)

Raluca Stevenson (1)

Dan R. K. Ports (1)

Nipun Kwatra (1)

Sonia Jaffe (1)

Sebastian Braun (1)

Sonu Mehta (1)

Andromachi Chatzieleftheriou (1)

Bo Qiao (1)

Pratik Ghosh (1)

Dave Bignell (1)

Sudha Rao (1)

Javier Hernandez (1)

Robert Gmyr (1)

Oscar Koller (1)

Carmen Badea (1)

Denae Ford (1)

Xiaofei Wang (1)

Adam D. Troy (1)

Kieran McDonald (1)

Vu Le (1)

Tadas Baltrusaitis (1)

Kevin Hsieh (1)

Mengting Wan (1)

Manthan Thakker (1)

Donald Ngwe (1)

Hang Dong (1)

Madeleine Daepp (1)

James Weinstein (1)

Jenna Butler (1)

Camille Couturier (1)

Neha Parikh Shah (1)

Dongdong Chen (1)

Suvam Mukherjee (1)

Jugal Parikh (1)

Forough Poursabzi (1)

Kevin Larson (1)

Xiyang Dai (1)

Rodrigo Fonseca (1)

Pedro Henrique Penna (1)

Rafael da Silva (1)

Qianhui Wu (1)

Roberto Santos (1)

Jennifer Neville (1)

Robert Osazuwa Ness (1)

Sheng Zhao (1)

Mayukh Das (1)

A. Parayil (1)

Minghua Ma (1)

Thomas Roca, PhD (1)

Fangkai Yang (1)

Gust Verbruggen (1)

Srikant Bharadwaj (1)

Kate Nowak (1)

Allen Kim (1)

Lucas A. Meyer (1)

Burcu Canakci (1)

Shoko Ueda (1)

Chris Parnin (1)

Si Qin (1)

Dominic Ayre (1)

Mukul Singh (1)

Mahati Chamarthy (1)

Jay Li (1)

Takuro Sato (1)

Bruno Silva (1)

Riyaz Pishori (1)

Dan Vann (1)

Rohan Gandhi (1)

Abhinav Jangda (1)

Ankur Mallick (1)

Reshmi Ghosh (1)

Sergio Valcarcel Macua (1)

Whitney Hudson (1)

Jonathan Mace (1)

Rujia Wang (1)

Yuancheng Tu (1)

Aashaka Shah (1)

Renee St. Amant (1)

Brian Houck (1)

Liqun Li (1)

Lev Tankelevitch (1)

Shan Lu (1)

Prathamesh Deshpande (1)

Gagan Somashekar (1)

Sam Ade Jacobs (1)

Safoora Yousefi (1)

Pei Zhou (1)

Shraddha Barke (1)

Sihao Chen (1)

Benjamin Steenhoek (1)

Hui Xue (1)

Jing Liu (1)

Sathvik Prasad (1)

Samreen Khadeer (1)

Hayley LeBlanc (1)

Jay Gala (1)

Bruce Wittmann (1)

Amanda Swearngin (1)

Yash Pandya (1)

Ioanna Tzialla (1)

Sai Deng (1)

Dhruv Deshmukh (1)

Aashish Kolluri (1)

Zhiyu Fan (1)

Lokesh Nagalapatti (1)

Wilson Nguyen (1)

Abhiram Kothapalli (1)

Himanshu Singhal (1)

Juhee Kim (1)

Agrim Bari (1)

Published Date

Publication

Gone, But Not Forgotten: The Current State of Private Computing (Short Paper)

Aseem Rastogi, Jun Yuan, Rob Johnson

Web 2.0 Security & Privacy 2013 | May 2013

Publication

You Needn’t Build That: Reusable Ethics-Compliance Infrastructure for Human Subjects Research

Cristian Bravo-Lillo, Serge Egelman, Cormac Herley, Stuart Schechter, Janice Tsai

Cyber-security Research Ethics Dialog & Strategy Workshop (CREDS 2013) | May 2013

Publication

Pinocchio: Nearly Practical Verifiable Computation

Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova

Proceedings of the IEEE Symposium on Security and Privacy | May 2013

Proceedings of the IEEE Symposium on Security and Privacy

Best Paper Award

Project

Publication

Finding the Linchpins of the Dark Web: a Study on Topologically Dedicated Hosts on Malicious Web Infrastructures

Zhou Li, Sumayah Arlwais, Yinglian Xie, Fang Yu, XiaoFeng Wang

IEEE Symposium on Security and Privacy, 2013 | May 2013

IEEE Symposium on Security and Privacy, 2013

Publication

SocialWatch: Detection of Online Service Abuse via Large-Scale Social Graphs

Junxian Huang, Yinglian Xie, Fang Yu, Qifa Ke, Martin Abadi, Eliot Gillum, Z. Morley Mao

8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS) | May 2013

Publication

Security Implications of Password Discretization for Click-based Graphical Passwords

Bin Benjamin Zhu, Dongchen Wei, Maowei Yang, Jeff Yan

May 2013

Publication

Fast Cryptography in Genus 2

Joppe Bos, Craig Costello, Kristin Lauter

Eurocrypt 2013 | May 2013

Publication

Taking Data Exposure into Account: How Does It Affect the Choice of Sign-in Accounts?

Shahar Ronen, Oriana Riva

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI ’13) | May 2013

Publication

I Know the Shortened URLs You Clicked on Twitter: Inference Attack using Public Click Analytics and Twitter Metadata

Jonghyuk Song, Sangho Lee, Jong Kim

22nd International World Wide Web Conference (WWW 2013) | May 2013

Publication

Global Authentication in an Untrustworthy World

Martin Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie

14th Workshop on Hot Topics in Operating Systems (HotOS XIV) | May 2013

Security, privacy, & cryptography

Highlights