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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

发布日期

论文与出版物

Modular verification of security protocol code by typing

Karthik Bhargavan, Cédric Fournet, Andy Gordon

POPL ’10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2010

ISBN: 978-1-60558-479-9

论文与出版物

Detecting spam in a Twitter network

Sarita Yardi, Daniel Romero, Grant Schoenebeck, danah boyd

First Monday | January 2010, 第 15 卷

项目

论文与出版物

Pan-Private Streaming Algorithms

Cynthia Dwork, Moni Naor, Toniann Pitassi, Guy Rothblum, Sergey Yekhanin

Proceedings of The First Symposium on Innovations in Computer Science (ICS 2010) | January 2010

Proceedings of The First Symposium on Innovations in Computer Science (ICS 2010)

项目

论文与出版物

SecPAL: Design and Semantics of a Decentralized Authorization Language

Moritz Becker, Cédric Fournet, Andy Gordon

Journal of Computer Security | January 2010, 第 18 卷(4): pp. 619-665

论文与出版物

Public-Key Encryption Schemes with Auxiliary Inputs

Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert , Vinod Vaikuntanathan

Theory of Cryptography Conference: Lecture Notes in Computer Science, 2010 | January 2010

论文与出版物

Programming Language Techniques for Cryptographic Proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin

1st International Conference on Interactive Theorem Proving, ITP 2010 | January 2010

论文与出版物

Cryptographic Cloud Storage

Seny Kamara, Kristin Lauter

Proceedings of Financial Cryptography: Workshop on Real-Life Cryptographic Protocols and Standardization 2010 | January 2010

to appear in Proceedings of Financial Cryptography: Workshop on Real-Life Cryptographic Protocols and Standardization 2010

论文与出版物

Differential Privacy in New Settings

Cynthia Dwork

Symposium on Discrete Algorithms (SODA) | January 2010

Symposium on Discrete Algorithms (SODA)

项目

论文与出版物

Differentially Private Aggregation of Distributed Time-Series with Transformation and Encryption

Vibhor Rastogi, Suman Nath

SIGMOD ’10: Proceedings of the 2010 ACM SIGMOD international conference on Management of data | January 2010

项目

论文与出版物

Characterizing, Modeling, and Generating Workload Spikes for Stateful Services

Peter Bodík, Armando Fox, Michael J. Franklin, Michael I. Jordan, David A. Patterson

SOCC ’10: Symposium on Cloud Computing | January 2010

Security, privacy, & cryptography

高亮