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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

Verifying Policy-Based Security for Web Services

Karthik Bhargavan, Cédric Fournet, Andy Gordon

MSR-TR-2004-84 | October 2004

ISBN: 1-58113-961-6

CCS '04 Proceedings of the 11th ACM conference on Computer and communications security

Microsoft Research ブログ

Show and Tell

October 19, 2004

By Suzanne Ross Remember when you brought your favorite toy, household object or bug and shared it with the class on Show and Tell day? Most kids were excited about sharing anything and everything with…

公開日

Detection and Deterrence of Counterfeiting of Valuable Documents

Cormac Herley

October 2004

公開日

Private Authentication

Martın Abadi, Cédric Fournet

Theoretical Computer Science 322(3):427–476. September 2004. Special issue on Foundations of Wide Area Network Computing. Parts of this work were presented at PET’02 (LNCS 2482) and ISSS’02 (LNCS 2602) | September 2004

公開日

Overview of existing assurance methods in the area of privacy and IT security

Markulf Kohlweiss, ed. Kai Rannenberg

September 2004

公開日

A Logical Account of NGSCB

Martin Abadi, Ted Wobber

Proceedings of Formal Techniques for Networked and Distributed Systems (Forte ’04) | September 2004

動画

How to Disembed a Program

August 20, 2004 | Pascal Paillier

This paper presents the theoretical blueprint of a new secure token called the Externalized Microprocessor (XmP). Unlike a smart-card, the XmP contains no ROM at all. While exporting all the device’s executable code to potentially…

01:22:06

公開日

Privacy-Preserving Datamining on Vertically Partitioned Databases

Cynthia Dwork, Kobbi Nissim

24th Annual International Cryptology Conference (CRYPTO 2004) | August 2004

プロジェクト

公開日

Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities Using Pointer Taintedness Semantics

Shuo Chen, Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravishankar K. Iyer

Proceedings of IFIP International Information Security Conference | August 2004

Toulouse, France

動画

Online Auctions, Strategyproofness and Random Valuations

July 21, 2004 | Mohammad Taghi Hajiaghayi

We discuss the limited-supply online auction problem, in which an auctioneer has k goods to sell and bidders arrive and depart dynamically, from a theoretical point of view and show how Economics, Scheduling theory, Probability…

01:23:21

Security, privacy, & cryptography

ハイライト