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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

发布日期

论文与出版物

MASKIT: Privately Releasing User Context Streams for Personalized Mobile Applications

Michaela Goetz, Suman Nath, Johannes Gehrke

SIGMOD’12: Proceedings of the 2012 ACM SIGMOD international conference on Management of data | May 2012

论文与出版物

Functional Re-encryption and Collusion-Resistant Obfuscation

Nishanth Chandran, Melissa Chase, Vinod Vaikuntanathan

Theory of Cryptography Conference (TCC) 2012 | April 2012

Theory of Cryptography Conference (TCC)

论文与出版物

Automation in Computer-Aided Cryptography: proofs, attacks and designs

Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella-Béguelin

2nd International Conference on Certified Programs and Proofs, CPP 2012 | April 2012

论文与出版物

Koi: A Location-Privacy Platform for Smartphone Apps

Saikat Guha, Venkata Padmanabhan, Venkat Padmanabhan

Proceedings of the 9th Symposium on Networked Systems Design and Implementation (NSDI) | April 2012

Proceedings of the 9th Symposium on Networked Systems Design and Implementation (NSDI)

论文与出版物

Congestion Lower Bounds for Secure In-network Aggregation

Raghav Bhaskar

ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec ’12) | April 2012

ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec '12)

论文与出版物

Incremental Deterministic Public-Key Encryption

Ilya Mironov, Omkant Pandey, Omer Reingold, Gil Segev

EUROCRYPT’12 | April 2012

EUROCRYPT'12

论文与出版物

Monadic Reï¬nement Types for Verifying JavaScript Programs

Nikhil Swamy, Joel Weinberger, Juan Chen, Ben Livshits, Cole Schlesinger

MSR-TR-2012-37 | March 2012

论文与出版物

On the Security of the “Free-XOR” Technique

Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan, Hong-Sheng Zhou

TCC 2012: Theory of Cryptography | March 2012

论文与出版物

An Conundrum of Permissions: Installing Applications on an Android Smartphone

Patrick Kelly, Sunny Consolvo, Lorrie Cranor, Jaeyeon Jung, Norman Sadeh, David Wetherall

Workshop on Usable Security | March 2012

论文与出版物

How to Delegate and Verify in Public: Verifiable Computation from Attribute-based Encryption

Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan

Proceedings of the IACR Theory of Cryptography Conference (TCC) | March 2012

Proceedings of the IACR Theory of Cryptography Conference (TCC)

Security, privacy, & cryptography

高亮