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

当前选择

排序方式: 最新

论文与出版物

Some Things Algorithms Cannot Do

Dean Rosenzweig, Davor Runje

MSR-TR-2005-52 | April 2005

视频

802.11i Security Analysis: Can we build a secure WLAN?

2005年3月24日 | Changhua He

Security has become a serious concern in wireless local area networks. In order to eliminate the vulnerabilities in previous security mechanisms, IEEE Task Group i has designed 802.11i to provide enhanced MAC security in a…

视频

Clustering Algorithms for Perceptual Image Hashing

2005年2月2日 | Monga Vishal

A perceptual image hash function maps an image to a short binary string based on an image’s appearance to the human eye. Perceptual hashing is useful in image databases, watermarking, and content authentication in adversarial…

a man wearing a suit and tie

论文与出版物

Toward Privacy in Public Databases

, Cynthia Dwork, Frank McSherry, Adam Smith, Hoeteck Wee

Second Theory of Cryptography Conference, (TCC 2005) | February 2005

Second Theory of Cryptography Conference, (TCC 2005)

论文与出版物

Hold Your Sessions: an Attack on Java Servlet Session-id Generation

Zvi Gutterman, Dahlia Malkhi

Cryptographers’ Track, RSA Conference (CT-RSA ’05) | February 2005

Cryptographers' Track, RSA Conference (CT-RSA '05)

论文与出版物

Detecting Stealth Software with Strider GhostBuster

Yi-Min Wang, Doug Beck, Binh Vo, Roussi Roussev, Chad Verbowski

MSR-TR-2005-25 | February 2005

论文与出版物

Adaptation: Tracking the Ecologies of Music and Peer-to-Peer Networks

Media International Australia/Special Issue | February 2005, 第 114 卷: pp. 30-39

论文与出版物

Secrecy and Group Creation

Luca Cardelli, Giorgio Ghelli, Andy Gordon

Information and Computation | January 2005, 第 196 卷(2): pp. 127-155

论文与出版物

Security

January 2005

Slides for the TCS Excellence in Computer Sciences Week | January 2005

论文与出版物

Security Analysis of KEA Authenticated Key Exchange Protocol

Kristin Lauter

IACR Cryptology ePrint Archive | January 2005, 第 2005 卷: pp. 265

你的隐私选择