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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

I Know the Shortened URLs You Clicked on Twitter: Inference Attack using Public Click Analytics and Twitter Metadata

Jonghyuk Song, Sangho Lee, Jong Kim

22nd International World Wide Web Conference (WWW 2013) | May 2013

公開日

Global Authentication in an Untrustworthy World

Martin Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie

14th Workshop on Hot Topics in Operating Systems (HotOS XIV) | May 2013

公開日

A Hybrid Architecture for Interactive Verifiable Computation

Victor Vu, Srinath Setty, Andrew J. Blumberg, Michael Walfish

Symposium on Security and Privacy (S&P) | May 2013

公開日

Towards practical reactive security audit using extended static checkers

Julien Vanegue, Shuvendu Lahiri

IEEE Symposium on Security and Privacy (Oakland’13) | May 2013

プロジェクト

公開日

Resolving the Conflict Between Generality and Plausibility in Verified Computation

Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish

Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013

プロジェクト

公開日

ZÃ˜: An Optimizing Distributing Zero-Knowledge Compiler

Matthew Fredrikson, Benjamin Livshits, Ben Livshits

MSR-TR-2013-43 | April 2013

added

公開日

Embassies: Radically Refactoring the Web

Jon Howell, Bryan Parno, John (JD) Douceur

Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI) | April 2013

Best Paper Award

公開日

Adversarial testing of wireless routing implementations

Md. Endadul Hoque, Hyojeong Lee, Rahul Potharaju, Charles E. Killian, Cristina Nita-Rotuaru

WiSec ’13 Proceedings of the sixth ACM conference on Security and privacy in wireless and mobile networks | April 2013

公開日

Garbled circuits via structured encryption

Seny Kamara, Lei Wei

Financial Cryptography and Data Security | Springer による投稿 | 2013, Vol 7862

公開日

Querying Encrypted Data (Tutorial)

Arvind Arasu, Ken Eguro, Raghav Kaushik, Ravi Ramamurthy

29th International Conference on Data Engineering (ICDE) | April 2013

Tutorial presentation

Security, privacy, & cryptography

ハイライト