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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

发布日期

论文与出版物

Methods of Symmetric Cryptanalysis

Dmitry Khovratovich

MSR-TR-2011-80 | July 2011

论文与出版物

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

François Dupressoir, Andy Gordon, Jan Jürjens, David A. Naumann

MSR-TR-2011-50 | June 2011

ISBN: 978-1-61284-644-6

Computer Security Foundations Symposium (CSF), 2011 IEEE 24th

视频

Butterfly Analysis: Adapting Dataflow Analysis to Dynamic Parallel Monitoring

2011年6月21日 | Todd C. Mowry, Thomas Ball

Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challenging because the tools must account for inter-thread dependences and relaxed…

01:09:43

论文与出版物

Memory Delegation

Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz

In Advances in Cryptology (CRYPTO) | June 2011

论文与出版物

Enabling Security in Cloud Storage SLAs with CloudProof

Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen Wang, Li Zhuang, Jacob R Lorch

USENIX Annual Technical Conference | June 2011

视频

Security and Software Development: Cloud Futures Workshop 2011

2011年6月3日 | Barbara Endicott-Popovsky, Joris Poort, Keyun Ruan, and Kirsten Ferguson-Boucher

Dennis Crain chairs this session of the Cloud Futures 2011 workshop, which includes the following presentations. Risk Assessment and Cloud Strategy Development—Barbara Endicott-Popovsky, University of Washington and Kirsten Ferguson-Boucher, Aberystwyth University, Wales Cloud Forensics: an…

01:27:53

论文与出版物

Outsourcing Multi-Party Computation

Seny Kamara, Payman Mohassel, Mariana Paykova

MSR-TR-2011-73 | May 2011

论文与出版物

Can Homomorphic Encryption be Practical?

Kristin Lauter, Michael Naehrig, Vinod Vaikuntanathan

MSR-TR-2011-61 | May 2011

项目

论文与出版物

Pan-private algorithms via statistics on sketches

Darakhshan Mir, S. Muthukrishnan, Aleksandar Nikolov, Rebecca N. Wright

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, June 12-16, 2011, Athens, Greece | May 2011

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, June 12-16, 2011, Athens, Greece

论文与出版物

Repair from a chair: Computer repair as an untrusted cloud service

Lon Ingram, Ivaylo Popov, Srinath Setty, Michael Walfish

Workshop on Hot Topics in Operating Systems (HotOS) | May 2011

Security, privacy, & cryptography

高亮