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

Radial Spike and Slab Bayesian Neural Networks for Sparse Data in Ransomware Attacks

Jurijs Nazarovs, Jack W. Stokes, Melissa Turcotte, Justin Carroll, Itai Grady

December 2024

Projet

Publication

Crescent: Stronger Privacy for Existing Credentials

Christian Paquin, Guru-Vamsi Policharla, Greg Zaverucha

IACR Cryptol. ePrint Arch. | November 2024

Blog de recherche Microsoft

Preventing side-channels in the cloud

November 12, 2024 | Stavros Volos, Boris Köpf

Sophisticated side-channel attacks present new security challenges for cloud providers. Learn how Microsoft is exploring defenses against emerging attacks with principled microarchitectural isolation:

Icons representing hardware and devices, security, privacy, and cryptography, and systems and networking on a blue to green gradient background.

Publication

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik

MobiCom | November 2024

Outil

Crescent

Crescent adds privacy to existing credentials with zero-knowledge. Crescent is a library to generate proofs of possession of JSON Web Tokens (JWT) and mobile Driver’s Licenses (mDL) credentials. By creating a proof for a JWT…

GitHub GitHub

Publication

Exploring Continual Fine-Tuning for Enhancing Language Ability in Large Language Model

Divyanshu Aggarwal, Sankarshan Damle, Navin Goyal, Satya Lokam, Sunayana Sitaram

NeurIPS 2024 Workshop on Fine-Tuning in Modern Machine Learning: Principles and Scalability | October 2024

Blog de recherche Microsoft

Research Focus: Week of October 7, 2024

October 9, 2024

Simplifying secure decision tree training; Improving accuracy of audio content detection; A novel neurosymbolic system for converting text to tables; New video series: AI for Business Transformation; TEE security protections for container workloads.