Security, privacy, & cryptography

公開日

Securing software by enforcing data-flow integrity

Miguel Castro, Manuel Costa, Tim Harris

Symposium on Operating Systems Design and Implementation (OSDI) | November 2006

公開日

SPACE: Secure Protocol for Address-Book based Connection Establishment

Ganesh Ananthanarayanan, Ramarathnam Venkatesan, Prasad Naldurg, Sean Blagsvedt, Adithya Hemakumar

ACM HotNets | November 2006

公開日

End-to-End Containment of Internet Worm Epidemics

Manuel Costa

October 2006

博士論文:University of Cambridge | October 2006

公開日

Proteus: Virtualization for Diversified Tamper-Resistance

Bertrand Anckaert, Mariusz Jakubowski, Ramarathnam Venkatesan

6th ACM Workshop on Digital Rights Management | October 2006

公開日

Cache-Collision Timing Attacks Against AES

Joseph Bonneau, Ilya Mironov

Cryptographic Hardware and Embedded Systems—CHES 2006 | October 2006

公開日

Data Collection With Self-Enforcing Privacy

Philippe Golle, Frank McSherry, Ilya Mironov

ACM Conference on Computer and Communications Security (CCS 2006) | October 2006

Full version to appear in the special issue of TISSEC.

プロジェクト

公開日

Verified Reference Implementations of WS-Security Protocols

Karthik Bhargavan, Cédric Fournet, Andy Gordon

Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings | September 2006

ISBN: 9783540388623

公開日

Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP

Yael Tauman Kalai, Ran Raz

MSR-TR-2006-203 | September 2006

Electronic Colloquium on Computational Complexity

Microsoft Research ブログ

BrowserShield: Helping Make the Web Safe for Surfers

August 25, 2006

By Rob Knies, Managing Editor, Microsoft Research It’s a familiar cliché: The best offense is a good defense. You hear it all the time in a sporting context. But, as it turns out, that hoary…

公開日

Provable Implementations of Security Protocols

Andy Gordon

Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS 2006) | August 2006

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

Securing software by enforcing data-flow integrity

SPACE: Secure Protocol for Address-Book based Connection Establishment

End-to-End Containment of Internet Worm Epidemics

Proteus: Virtualization for Diversified Tamper-Resistance

Cache-Collision Timing Attacks Against AES

Data Collection With Self-Enforcing Privacy

Verified Reference Implementations of WS-Security Protocols

Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP

BrowserShield: Helping Make the Web Safe for Surfers

Provable Implementations of Security Protocols

Security, privacy, & cryptography

ハイライト