Security, privacy, & cryptography

Publication

Improving the Quality of Alerts and Predicting Intruder’s Next Goal with Hidden Colored Petri-Net

Dong Yu, Deborah Frincke

Computer Networks | February 2007

Publication

Computing endomorphism rings of Jacobians of genus 2 curves over finite fields

David Freeman, Kristin Lauter

Proceedings of SAGA 2007, Number Theory and Its Applications | January 2007

Number Theory and Its Applications

Project

Publication

Algorithmic Solutions for Privacy, Anonymity and Identity

Claudia Diaz, Miroslav Knezevic, Markulf Kohlweiss, Svetla Nikova, Stefan Schiffner, Carmela Troncoso, Vesselin Velichkov

MSR-TR-2007-176 | January 2007

Publication

Information Governance in NHS’s NPfIT: A Case for Policy Specification

Mo Becker

International Journal of Medical Informatics (IJMI) | January 2007, Vol 76

Publication

ADAPID D7: E-Government I

Claudia Diaz, Hannelore Dekeyser, Xavier Huysmans, Markulf Kohlweiss, Girma Nigusse, Svetla Nikova, Bart Preneel, Sven Van Damme

MSR-TR-2007-175 | January 2007

Publication

Stronger Security of Authenticated Key Exchange

Brian LaMacchia, Kristin Lauter, Anton Mityagin

January 2007

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

Project

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

Improving the Quality of Alerts and Predicting Intruder’s Next Goal with Hidden Colored Petri-Net

Computing endomorphism rings of Jacobians of genus 2 curves over finite fields

Algorithmic Solutions for Privacy, Anonymity and Identity

Information Governance in NHS’s NPfIT: A Case for Policy Specification

ADAPID D7: E-Government I

Stronger Security of Authenticated Key Exchange

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

Security, privacy, & cryptography

Highlights