Security, privacy, & cryptography

Publication

The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator

Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, Alon Rosen

Advances in Cryptology (CRYPTO) | February 2014

Publication

End-to-end verifiability

February 2014

Pamphlet | February 2014

Publication

End-to-end verifiablity

Josh Benaloh, Ronald Rivest, Peter Y. A. Ryan, Philip Stark, Vanessa Teague, Poorvi Vora

February 2014

Publication

Efficient and Secure Methods for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves

Armando Faz-Hernandez, Patrick Longa, Ana H. Sanchez,

RSA Conference Cryptographers’ Track (CT-RSA 2014) | February 2014

Publication

Web PKI: Closing the Gap between Guidelines and Practices

Martin Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber

Proceedings of NDSS’14 (to appear) | February 2014

Projet

Crowd-sourcing is increasingly being used for providing answers to online polls and surveys. However, existing systems, while taking care of the mechanics of attracting crowd workers, poll building, and payment, provide little that would help…

Publication

Big Data and Due Process: Toward a Framework to Redress Predictive Privacy Harms

Kate Crawford, Jason Schultz

Boston College Law Review | January 2014, Vol 55(1)

Publication

PandA: Pairings and Arithmetic

Chitchanok Chuengsatiansup, Michael Naehrig, Pance Ribarski, Peter Schwabe

Pairing-Based Cryptography – Pairing 2013 | January 2014

Pairing-Based Cryptography – Pairing 2013

Publication

Obfuscation for Evasive Functions

Boaz Barak, Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth, Amit Sahai

To appear in In Proceedings of the 11th Theory of Cryptography Conference (TCC), 2014 | January 2014

Publication

Outlier Detection for Temporal Data

Manish Gupta, Jing Gao, Charu C. Aggarwal, Jiawei Han

IEEE Transactions on Knowledge and Data Engineering (TKDE) | January 2014

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 Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator

End-to-end verifiability

End-to-end verifiablity

Efficient and Secure Methods for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves

Web PKI: Closing the Gap between Guidelines and Practices

InterPoll

Big Data and Due Process: Toward a Framework to Redress Predictive Privacy Harms

PandA: Pairings and Arithmetic

Obfuscation for Evasive Functions

Outlier Detection for Temporal Data

Security, privacy, & cryptography

Fait saillants