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

현재 선택 항목

정렬 기준: 가장 최근 순

선택 해제

이 결과 내에서 검색

콘텐츠 유형

게시 날짜 표시

툴

Cryptanalysis for SIKE on Hardware

The library implements the parallel collision search algorithm by van Oorschot and Wiener (vOW) on hardware, with the goal of concretely assessing the classical security of the Supersingular Isogeny Key Encapsulation (SIKE) protocol. SIKE is…

깃허브

프로젝트

Supply Chain Security

This project is focused on building tools and techniques to secure the software supply chain.

출판

Numerical Composition of Differential Privacy

Sivakanth Gopi, Yin Tat Lee, Lukas Wutschitz

NeurIPS 2021 | June 2021

Spotlight at NeurIPS 2021.

Github 프로젝트

출판

Falcon: Honest-Majority Maliciously Secure Framework for Private Deep Learning

Sameer Wagh, Shruti Tople, Fabrice Benhamouda, Eyal Kushilevitz, Prateek Mittal, Tal Rabin

Privacy Enhancing Technologies Symposium (PETS) | June 2021

출판

Panopticon: A Complete In-DRAM Rowhammer Mitigation

Tanj Bennett, Stefan Saroiu, Alec Wolman, Lucian Cojocar

1st Workshop on DRAM Security (DRAMSec) | June 2021

프로젝트

출판

Privacy Regularization: Joint Privacy-Utility Optimization in Language Models

Fatemehsadat Mireshghallah, Huseyin Inan, Marcello Hasegawa, Victor Rühle, Taylor Berg-Kirkpatrick, Robert Sim

2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL 2021) | June 2021

출판

Stop! Hammer time: rethinking our approach to rowhammer mitigations

Kevin Loughlin, Stefan Saroiu, Alec Wolman, Baris Kasikci

18th Workshop on Hot Topics in Operating Systems (HotOS) | May 2021

프로젝트

출판

Vaccine Credential Technology Principles

Divya Siddarth, Vi Hart, Bethan Cantrell, Kristina Yasuda, Josh Mandel, Karen Easterbrook

May 2021

arXiv.org | May 2021

프로젝트

출판

Causally Constrained Data Synthesis for Private Data Release

Varun Chandrasekaran, Darren Edge, Somesh Jha, Amit Sharma, Cheng Zhang, Shruti Tople

Distributed and Private Machine Learning (DPML) Workshop at ICLR’21 | May 2021

출판

On Privacy and Confidentiality of Communications in Organizational Graphs

Masoumeh Shafieinejad, Huseyin A. Inan (huinan), Marcello Hasegawa, Robert Sim

May 2021

ICLR 2021 Workshop on Distributed and Private ML, 3rd AAAI Workshop on Privacy-Preserving AI | May 2021

Security, privacy, & cryptography

하이라이트