Security, privacy, & cryptography

출판

Balls and Bins: Smaller Hash Families and Faster Evaluation

Elisa Celis, Omer Reingold, Gil Segev, Udi Wieder

FOCS | January 2011

FOCS

출판

A Gross-Zagier formula for quaternion algebras over totally real fields

Kristin Lauter

IACR Cryptology ePrint Archive | January 2011, 제 2011 권: pp. 666

출판

Computer-Aided Security Proofs for the Working Cryptographer

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella-Béguelin

Advances in Cryptology, CRYPTO 2011 | January 2011

ISBN: 978-3-642-22791-2

Best Paper Award

출판

Cryptographic Verification by Typing for a Sample Protocol Implementation

Cédric Fournet, Karthik Bhargavan, Andy Gordon

Foundations of Security Analysis and Design VI | 글쓴이 Springer Berlin Heidelberg | 2011, Vol 6858

ISBN: 9783642230813

Lecture Notes in Computer Science 6858

출판

A Comprehensive Approach to Image Spam Detection: From Server to Client Solution

Yan Gao, Alok Choudhary, Gang Hua

IEEE Transactions on Information Forensics and Security | December 2010, pp. 826-836

출판

Probabilistic Inference and Differential Privacy

Oliver Williams, Frank McSherry

Neural Information Processing Systems (NIPS) | December 2010

출판

Formal Certification of Game-Based Cryptographic Proofs

Santiago Zanella-Béguelin

December 2010

EAPLS Best PhD Dissertation Award

출판

Structured Encryption and Controlled Disclosure

Melissa Chase, Seny Kamara

Advances in Cryptology – ASIACRYPT 2010 | December 2010

출판

Zozzle: Low-overhead Mostly Static JavaScript Malware Detection

Charles Curtsinger Benjamin Livshits, Ben Zorn, Christian Seifert

USENIX Security Symposium | November 2010

프로젝트

출판

BEK: Modeling Imperative String Operations with Symbolic Transducers

, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes

MSR-TR-2010-154 | November 2010

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

Balls and Bins: Smaller Hash Families and Faster Evaluation

A Gross-Zagier formula for quaternion algebras over totally real fields

Computer-Aided Security Proofs for the Working Cryptographer

Cryptographic Verification by Typing for a Sample Protocol Implementation

A Comprehensive Approach to Image Spam Detection: From Server to Client Solution

Probabilistic Inference and Differential Privacy

Formal Certification of Game-Based Cryptographic Proofs

Structured Encryption and Controlled Disclosure

Zozzle: Low-overhead Mostly Static JavaScript Malware Detection

BEK: Modeling Imperative String Operations with Symbolic Transducers

Security, privacy, & cryptography

하이라이트