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

Sélections actuelles

Trier par: Le plus récent

Effacer les sélections

Recherche dans ces résultats

Types de contenu

Date de publication

Publication

Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

Mihhail Aizatulin, Andy Gordon, Jan Jürjens

CCS ’11 Proceedings of the 18th ACM Conference on Computer and Communications Security | October 2011

ISBN: 978-1-4503-0948-6

Vidéo

Zero-Effort Payments (ZEP)

October 17, 2011 | Alec Wolman, Victor Bahl, David Molnar, Jay Lorch, Oliver Foehr, Jitu Padhye, Bryan Parno, Ronnie Chaiken, Stefan Saroiu, Weidong Cui

The goal of Zero-Effort Payments (ZEP) is to rethink mobile payments. We are enabling a scenario in which mobile users can pay with “zero-effort”: without interacting with their smartphone or opening their wallet. Upon approaching…

0:55

Publication

Modular code-based cryptographic verification

Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub

ACM Conference on Computer and Communications Security | October 2011

ACM Conference on Computer and Communications Security

ISBN: 978-1-4503-0948-6

Publication

Information-Flow Types for Homomorphic Encryptions

Cédric Fournet, Jérémy Planul, Tamara Rezk

18th ACM Conference on Computer and Communications Security (CCS’11) | October 2011

Publication

Proceedings of the 4th ACM Workshop on Security and Artificial Intelligence

Benjamin Rubinstein

Proceedings of the 4th ACM Workshop on Security and Artificial Intelligence | October 2011

Publication

The Promise of Differential Privacy. A Tutorial on Algorithmic Techniques.

Cynthia Dwork

52nd Annual IEEE Symposium on Foundations of Computer Science | October 2011

Projet

Publication

ZDVUE: Prioritization of JavaScript Attacks To Discover New Vulnerabilities

Sandeep Karanth, Srivatsan Laxman, Prasad Naldurg, Ramarathnam Venkatesan

Proceedings of the Fourth ACM Workshop on Artificial Intelligence and Security (AISEC 2011) | October 2011

Publication

Efficient Reconstruction of Random Multilinear Formulas

Neeraj Kayal, Ankit Gupta, Satya Lokam

Foundations of Computer Science (FOCS) | October 2011

Publication

Auctions in Do-Not-Track Compliant Internet Advertising

Alexey Reznichenko, Saikat Guha, Paul Francis

Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS) | October 2011

Vidéo

Welcome to Microsoft Research Cambridge

September 27, 2011

Andrew Blake, Microsoft distinguished scientist and managing director of Microsoft Research Cambridge, welcomes staff and gives an overview of Microsoft Research’s global labs. The mission of those labs are to expand the state of the…

31:13

Security, privacy, & cryptography

Fait saillants