Security, privacy, & cryptography

论文与出版物

Securing Circuits against Constant-Rate Tampering

Dana Dachman-Soled, Yael Tauman Kalai

Advances in Cryptology – CRYPTO 2012 | January 2012

论文与出版物

Secure Database Commitments and Universal Arguments of Quasi Knowledge

Melissa Chase, Ivan Visconti

Crypto 2012 | January 2012

论文与出版物

On The Security Of Querying Encrypted Data

Arvind Arasu, Raghav Kaushik, Ravi Ramamurthy

January 2012

论文与出版物

A Parallel Repetition Theorem for Leakage Resilience

Zvika Brakerski, Yael Tauman Kalai

In Proceedings of the 9th Theory of Cryptography Conference (TCC) | January 2012

论文与出版物

Smooth Projective Hashing and Two-Message Oblivious Transfer

Shai Halevi, Yael Tauman Kalai

Journal of Cryptology | January 2012, 第 25 卷: pp. 158-193

论文与出版物

Modular polynomials via isogeny volcanoes

Reinier Broker, Kristin Lauter, Andrew V. Sutherland

Mathematics of Computation 81 (2012), 1201-1231 | January 2012, 第 81 卷

项目

论文与出版物

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephen Krenn, Santiago Zanella-Béguelin

19th ACM Conference on Computer and Communications Security, CCS 2012 | January 2012

19th ACM Conference on Computer and Communications Security, CCS 2012

论文与出版物

Symbolic Finite State Transducers: Algorithms and Applications

Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits

POPL’12 | January 2012

论文与出版物

A Research Agenda Acknowledging the Persistence of Passwords

Cormac Herley, Paul van Oorschot

IEEE Security & Privacy Magazine | January 2012

论文与出版物

Improved CRT Algorithm for Class Polynomials in Genus 2

Kristin Lauter, Damien Robert

Algorithmic Number Theory Symposium, ANTS-X 2012 | January 2012

项目

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 Circuits against Constant-Rate Tampering

Secure Database Commitments and Universal Arguments of Quasi Knowledge

On The Security Of Querying Encrypted Data

A Parallel Repetition Theorem for Leakage Resilience

Smooth Projective Hashing and Two-Message Oblivious Transfer

Modular polynomials via isogeny volcanoes

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

Symbolic Finite State Transducers: Algorithms and Applications

A Research Agenda Acknowledging the Persistence of Passwords

Improved CRT Algorithm for Class Polynomials in Genus 2

Security, privacy, & cryptography

高亮