Security, privacy, & cryptography

Publication

The Elliptic Curve Discrete Logarithm Problem and Equivalent Hard Problems for Elliptic Divisibility Sequences

Kristin Lauter, Katherine Stange

Selected Areas in Cryptography 2008 | January 2008

Projet

Publication

One-Time Programs

Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum

Advances in Cryptology – CRYPTO 2008: Lecture Notes in Computer Science | January 2008

Publication

Randomizable Proofs and Delegatable Anonymous Credentials

Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham

CRYPTO 2009 | January 2008

Publication

Ascertaining the Reality of Network Neutrality Violation in Backbone ISPs

Ying Zhang, Z. Morley Mao, Ming Zhang

HotNets | January 2008

HotNets

Publication

P-signatures and Noninteractive Anonymous Credentials

Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya

Theory of Cryptography Conference 2008 | January 2008

Publication

On compressible pairings and their computation

Michael Naehrig, Paulo S. L. M. Barreto, Peter Schwabe

Progress in Cryptology – AFRICACRYPT 2008 | January 2008

Progress in Cryptology – AFRICACRYPT 2008

Projet

Publication

Improved Bounds on Security Reductions for Discrete Log Based Signatures

Sanjam Garg, Raghav Bhaskar, Satyanarayana V. Lokam, Satya Lokam

CRYPTO | January 2008

ISBN: 978-3-540-85173-8

Publication

Analysis on AACS’ Traitor Tracing Against Mix-and-Match Attacks

Bin Benjamin Zhu, Min Feng, Fen Liu, Lei Hu

IEEE Consumer Communications and Networking Conference | January 2008

Publication

The Role of Abduction in Declarative Authorization Policies

Mo Becker

10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008

10th International Symposium on Practical Aspects of Declarative Languages (PADL)

Publication

Interactive PCP 2008

Yael Tauman Kalai, Ran Raz

Automata, Languages and Programming; Lecture Notes in Computer Science, 2008 | January 2008

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

The Elliptic Curve Discrete Logarithm Problem and Equivalent Hard Problems for Elliptic Divisibility Sequences

One-Time Programs

Randomizable Proofs and Delegatable Anonymous Credentials

Ascertaining the Reality of Network Neutrality Violation in Backbone ISPs

P-signatures and Noninteractive Anonymous Credentials

On compressible pairings and their computation

Improved Bounds on Security Reductions for Discrete Log Based Signatures

Analysis on AACS’ Traitor Tracing Against Mix-and-Match Attacks

The Role of Abduction in Declarative Authorization Policies

Interactive PCP 2008

Security, privacy, & cryptography

Fait saillants