Security, privacy, & cryptography

公開日

Generating Random Factored Numbers, Easily

Adam Tauman Kalai

Journal of Cryptology | September 2003, 巻16(4): pp. 287-289

公開日

BASE: Using Abstraction to Improve Fault Tolerance

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov

ACM Transactions on Computer Systems (TOCS) | August 2003

公開日

A Trusted Open Platform

Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman

IEEE Computer | July 2003, 巻36(7): pp. 55-62

公開日

Typing One-to-One and One-to-Many Correspondences in Security Protocols

Andy Gordon, Alan Jeffrey

Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8-10, 2002 Revised Papers | June 2003

ISBN: 9783540007081

公開日

A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities

Shuo Chen, Ravishankar K. Iyer, Jun Xu, Zbigniew Kalbarczyk

IEEE International Conference on Dependable Systems and Networks | June 2003

プロジェクト

Samoa: Formal Tools for Securing Web Services

An XML web service is, to a first approximation, a wide-area RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. Applications exist on the internet (for…

公開日

Typing Correspondence Assertions for Communication Protocols

Andy Gordon, Alan Jeffrey

Theoretical Computer Science | May 2003, 巻300(1): pp. 379-409

公開日

Specifying and Verifying Hardware for Tamper-Resistant Software

David Lie, John Mitchell, Chandu Thekkath, Mark Horowitz

Proceedings of the 2003 IEEE Symposium on Security and Privacy | May 2003

公開日

Block-Level Security for Network-Attached Disks

Marcos K. Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin Oertli, Dave Anderson, Mike Burrows, Timothy Mann, Chandu Thekkath

Proceedings of the 2nd Conference on File and Storage Technologies (FAST) | April 2003

公開日

A Secure Signature Scheme from Bilinear Maps

Ilya Mironov

The Cryptographer’s Track at RSA Conference | April 2003

ISBN: 3-540-00847-0

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Generating Random Factored Numbers, Easily

BASE: Using Abstraction to Improve Fault Tolerance

A Trusted Open Platform

Typing One-to-One and One-to-Many Correspondences in Security Protocols

A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities

Samoa: Formal Tools for Securing Web Services

Typing Correspondence Assertions for Communication Protocols

Specifying and Verifying Hardware for Tamper-Resistant Software

Block-Level Security for Network-Attached Disks

A Secure Signature Scheme from Bilinear Maps

Security, privacy, & cryptography

ハイライト