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)

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

On Subliminal Channels in Encrypt-on-Cast Voting Systems

Ariel J. Feldman, Josh Benaloh

Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE ’09) | August 2009

Publication

Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense Against Out-of-Bounds Errors

Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand

18th USENIX Security Symposium (USENIX Security ’09) | August 2009

18th USENIX Security Symposium (USENIX Security '09)

Publication

End-to-end Verification of Security Enforcement is Fine (Extended version)

Nikhil Swamy, Juan Chen, Ravi Chugh

MSR-TR-2009-98 | August 2009

Publication

Computational Differential Privacy

Ilya Mironov, Omkant Pandey, Omer Reingold, Salil Vadhan

Advances in Cryptology””CRYPTO 2009 | August 2009

Advances in Cryptology—CRYPTO 2009

Project

Publication

Compact E-Cash and Simulatable VRFs Revisited

Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya

Pairing 2009 | August 2009

Pairing 2009

Publication

Isogenies of Elliptic Curves: A Computational Approach

Dan Shumow

August 2009

Publication

Cyclotron: A Secure, Isolated, Virtual Cycle-Scavenging Grid in the Enterprise

Kevin Kane, Blair Dillaway

Concurrency and Computation: Practice and Experience | August 2009

Publication

Discriminative Substring Decoding for Transliteration

Colin Cherry, Hisami Suzuki

Proceedings of EMNLP | August 2009

Proceedings of EMNLP

Publication

De-anonymizing the Internet Using Unreliable IDs

Yinglian Xie, Fang Yu, Martin Abadi

ACM SIGCOMM | August 2009

ACM SIGCOMM

Publication

Position Based Cryptography

Nishanth Chandran, Vipul Goyal, Ryan Moriarty, Rafail Ostrovsky

Advances in Cryptology – CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings | August 2009

ISBN: 978-3-642-03355-1

Security, privacy, & cryptography

Highlights