Security, privacy, & cryptography

Publication

Secure Compilation of a Multi-Tier Web Language

Ioannis G. Baltopoulos, Andy Gordon

TLDI ’09 Proceedings of the 4th international workshop on Types in language design and implementation | January 2009

ISBN: 978-1-60558-420-1

Publication

Practical Data Location Obfuscation

Bertrand Anckaert, Mariusz Jakubowski, Ramarathnam Venkatesan, Nick Saw

MSR-TR-2009-3 | January 2009

Publication

Gatekeeper: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code

Salvatore Guarnieri, Ben Livshits

Proceedings of the Usenix Security Symposium | January 2009

Publication

Passwords: If We’re So Smart, Why Are We Still Using Them?

Cormac Herley, P.C. van Oorschot, Andrew S. Patrick

Proc. Financial Crypto | January 2009

Publication

Heat-ray: Combating Identity Snowball Attacks Using Machine Learning, Combinatorial Optimization and Attack Graphs

John Dunagan, Alice Zheng, Daniel R. Simon

ACM Symposium on Operating Systems Principles | January 2009

Publication

Formally Certifying the Security of Digital Signature Schemes

Santiago Zanella-Béguelin, Benjamin Grégoire, Gilles Barthe, Federico Olmedo

30th IEEE Symposium on Security and Privacy, S&P 2009 | January 2009

Publication

Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting

Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague

Transactions on Information Forensics and Security | January 2009

Publication

Nozzle: A Defense Against Heap-spraying Code Injection Attacks

Paruj Ratanaworabhan, Ben Livshits, Ben Zorn

Proceedings of the Usenix Security Symposium | January 2009

Projet

Publication

Probabilistically Checkable Arguments

Yael Tauman Kalai, Ran Raz

Advances in Cryptology – CRYPTO 2009; Lecture Notes in Computer Science, 2009 | January 2009

Publication

An observation about variations of the Diffie-Hellman assumption

Raghav Bhaskar, Kathekeyan Chandrasekaran, Satya Lokam, Peter Montgomery, Ramarathnam Venkatesan, Yacov Yacobi

Serdica Journal of Computing | January 2009

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

Secure Compilation of a Multi-Tier Web Language

Practical Data Location Obfuscation

Gatekeeper: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code

Passwords: If We’re So Smart, Why Are We Still Using Them?

Heat-ray: Combating Identity Snowball Attacks Using Machine Learning, Combinatorial Optimization and Attack Graphs

Formally Certifying the Security of Digital Signature Schemes

Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting

Nozzle: A Defense Against Heap-spraying Code Injection Attacks

Probabilistically Checkable Arguments

An observation about variations of the Diffie-Hellman assumption

Security, privacy, & cryptography

Fait saillants