Security, privacy, & cryptography

Publication

Reconciling multiple IPsec and firewall policies

Tuomas Aura, Mo Becker, Michael Roe, Piotr Zielinski

Security Protocols Workshop | January 2007

Publication

Interactive PCP 2007

Yael Tauman Kalai, Ran Raz

Electronic Colloquium on Computational Complexity | January 2007

Publication

Efficient and Syntax-Compliant JPEG 2000 Encryption Preserving Original Fine Granularity of Scalability

Yang Yang, Bin Benjamin Zhu, Shipeng Li, Nenghai Yu

EURASIP Journal on Information Security | January 2007

Publication

Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis

Cynthia Dwork

11th International Conference on Database Theory (ICDT 2007) | January 2007

11th International Conference on Database Theory (ICDT 2007)

ISBN: 3-540-69269-X

Projet

Publication

Making P2P Accountable Without Losing Privacy

Mira Belenkiy, Melissa Chase, C. Chris Erway, John Jannotti, Alptekin Kupcu, Anna Lysyanskaya, Erin Rachlin

Workshop on Privacy in Electronic Society | January 2007

Publication

Practical Principles for Computer Security

Butler Lampson

NATO Security through Science Series – D: Information and Communication Security, Software System Reliability and Security | January 2007

Proceedings of the 2006 Marktoberdorf Summer school.

Publication

KLASSP: Enterring Passwords from a Spyware Infected Machine

Dinei Florencio, Cormac Herley

MSR-TR-2006-74 | December 2006

Publication

A Systematic Approach to Uncover GUI Logic Flaws for Web Security

Shuo Chen, Jose Meseguer, Ralf Sasse, Helen Wang, Yi-Min Wang

MSR-TR-2006-182 | December 2006

Publication

KLASSP: Entering Passwords on a Spyware Infected Machine Using a Shared-Secret Proxy

Dinei Florencio, Cormac Herley

December 2006

Publication

Protecting Privacy in Key-Value Search Systems

Yinglian Xie

The 2006 Annual Computer Security Applications Conference (ACSAC 06), Miami Beach, FL | December 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

Reconciling multiple IPsec and firewall policies

Interactive PCP 2007

Efficient and Syntax-Compliant JPEG 2000 Encryption Preserving Original Fine Granularity of Scalability

Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis

Making P2P Accountable Without Losing Privacy

Practical Principles for Computer Security

KLASSP: Enterring Passwords from a Spyware Infected Machine

A Systematic Approach to Uncover GUI Logic Flaws for Web Security

KLASSP: Entering Passwords on a Spyware Infected Machine Using a Shared-Secret Proxy

Protecting Privacy in Key-Value Search Systems

Security, privacy, & cryptography

Fait saillants