Security, privacy, and cryptography

Video

Candidate Indistinguishability Obfuscation and Functional Encryption for all circuits

February 21, 2014 | Mariana Raykova, Seny Kamara

In this work, we study indistinguishability obfuscation and functional encryption for general circuits: Indistinguishability obfuscation requires that given any two equivalent circuits C0 and C1 of similar size, the obfuscations of C0 and C1 should…

01:02:47

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 verifiablity

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

February 2014

Publication

End-to-end verifiability

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

Project

InterPoll

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

On Virtual Grey Box Obfuscation for General Circuits

Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth

In Advances in Cryptology (CRYPTO) | 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

Publication

Elliptic and Hyperelliptic Curves: a Practical Security Analysis

Joppe Bos, Craig Costello, Andrea Miele

Conference on Practice and Theory of Public-Key Cryptography (PKC) | January 2014

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Candidate Indistinguishability Obfuscation and Functional Encryption for all circuits

The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator

End-to-end verifiablity

End-to-end verifiability

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

On Virtual Grey Box Obfuscation for General Circuits

Outlier Detection for Temporal Data

Elliptic and Hyperelliptic Curves: a Practical Security Analysis

Security, privacy, and cryptography

Highlights