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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

发布日期

论文与出版物

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

2004年8月20日 | 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

2004年7月21日 | 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

论文与出版物

Computer Security in the Real World (IEEE Computer)

Butler Lampson

IEEE Computer | June 2004, 第 37 卷(6): pp. 37-46

The author's version is an earlier, expanded version.

论文与出版物

Spam, Damn Spam, and Statistics: Using statistical analysis to locate spam web pages

Dennis Fetterly, Mark Manasse, Marc Najork

7th International Workshop on the Web and Databases (WebDB) | June 2004

Security, privacy, & cryptography

高亮