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

Using File Relationships in Malware Classification

Nikos Karampatziakis, Jack W. Stokes, Anil Thomas, Mady Marinescu

Proceedings of Conference on Detection of Intrusions and Malware & Vulnerability Assessment | September 2012

Proceedings of Conference on Detection of Intrusions and Malware & Vulnerability Assessment

Project

Publication

A New Hash and Sign Approach and Structure-Preserving Signatures from DLIN

Melissa Chase, Markulf Kohlweiss

Security and Cryptography for Networks (SCN) 2012 | September 2012

Security and Cryptography for Networks (SCN)

Publication

Investigating Receptiveness to Sensing and Inference in the Home Using Sensor Proxies

Eun Kyoung Choe, Sunny Consolvo, Jaeyeon Jung, Beverly Harrison, Shwetak Patel, Julie Kientz

September 2012

Best Paper Nominee

Publication

Progressive authentication: deciding when to authenticate on mobile phones

Oriana Riva, Chuan Qin, Karin Strauss, Dimitrios Lymberopoulos

21st USENIX Security Symposium | August 2012

Publication

STEALTHMEM: System-Level Protection Against Cache-Based Side Channel Attacks in the Cloud

Taesoo Kim, Marcus Peinado, Gloria Mainar-Ruiz

Proceedings of the 21st USENIX Security Symposium | August 2012

ISBN: 978-931971-95-9

Publication

FPGAs for Trusted Cloud Computing

Ken Eguro, Ramarathnam Venkatesan

International Conference on Field-Programmable Logic and Applications | August 2012

Publication

Clickjacking: Attacks and Defenses

Lin-Shung Huang, Alex Moshchuk, Helen Wang, Stuart Schechter, Collin Jackson

Proceedings of the 21st USENIX Security Symposium | August 2012

Publication

Diï¬”erential Privacy with Imperfect Randomness

Yevgeniy Dodis, Adriana Lopez-Alt, Ilya Mironov, Salil Vadhan

Advances in Cryptology—CRYPTO’12 | August 2012

Publication

Measuring and Fingerprinting Click-Spam in Ad Networks

Vacha Dave, Saikat Guha, Yin Zhang

Proceedings of the Special Interest Group on Data Communication (SIGCOMM) | August 2012

Publication

Tracking Rootkit Footprints with a Practical Memory Analysis System

Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan

Proceedings of the 21st USENIX Security Symposium | August 2012

Security, privacy, & cryptography

Highlights