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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

发布日期

论文与出版物

Key Management In Distributed Systems

Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen

MSR-TR-2010-78 | June 2010

作者：Microsoft

Previously submitted to NDSS 2010.

访问

论文与出版物

Social Web-scale Provenance in the Cloud

Yogesh Simmhan

International Provenance and Annotation Workshop (IPAW) | June 2010

论文与出版物

Differential Privacy Under Continual Observation

Cynthia Dwork, Moni Naor, Toniann Pitassi, Guy Rothblum

STOC ’10: Proceedings of the 42nd ACM symposium on Theory of computing | June 2010

项目

论文与出版物

Mining Invariants from Console Logs for System Problem Detection

Jian-Guang Lou, Qiang Fu, Shengqi YANG, Ye XU, Jiang Li

Annual Technical Conference (full paper) | June 2010

论文与出版物

Analysis of Two Token-Based Authentication Schemes for Mobile Banking

Saurabh Panjwani, Prasad Naldurg, Raghav Bhaskar

MSR-TR-2010-75 | June 2010

论文与出版物

Type-preserving compilation for end-to-end verification of security enforcement

Juan Chen, Nikhil Swamy, Ravi Chugh

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010 | June 2010

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010

项目

论文与出版物

Privacy amplification with asymptotically optimal entropy loss

Nishanth Chandran, Bhavana Kanukurthi, Rafail Ostrovsky, Leonid Reyzin

Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010 | June 2010

Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010

ISBN: 978-1-4503-0050-6

论文与出版物

ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser

Leo Meyerovich, Ben Livshits

Proceedings of the IEEE Symposium on Security and Privacy | May 2010

论文与出版物

I’m Allowing What? Disclosing the authority applications demand of users as a condition of installation

Jennifer Tam, Robert W. Reeder, Stuart Schechter

MSR-TR-2010-54 | May 2010

论文与出版物

Secure Learning and Learning for Security: Research in the Intersection

Benjamin Rubinstein

UCB/EECS-2010-71 | May 2010

Electrical Engineering and Computer Sciences University of California at Berkeley

Security, privacy, & cryptography

高亮