Security, privacy, and cryptography

Publication

How to Encrypt with a Malicious Random Number Generator

Seny Kamara, Jonathan Katz

15th Annual IACR workshop on Fast Software Encryption (FSE ’08) | February 2008

Publication

How to Encrypt with a Malicious Random Number Generator

Seny Kamara, Jonathan Katz

IACR workshop on Fast Software Encryption (FSE ’08) | February 2008

Publication

A Survey of Anonymous Communication Channels

George Danezis, Claudia Diaz

MSR-TR-2008-35 | February 2008

Publication

Cryptographically Sound Implementations for Typed Information-Flow Security

Cédric Fournet, Tamara Rezk

35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’08) | January 2008

Publication

The Elliptic Curve Discrete Logarithm Problem and Equivalent Hard Problems for Elliptic Divisibility Sequences

Kristin Lauter, Katherine Stange

Selected Areas in Cryptography 2008 | January 2008

Project

Publication

One-Time Programs

Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum

Advances in Cryptology – CRYPTO 2008: Lecture Notes in Computer Science | January 2008

Publication

Randomizable Proofs and Delegatable Anonymous Credentials

Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham

CRYPTO 2009 | January 2008

Publication

Ascertaining the Reality of Network Neutrality Violation in Backbone ISPs

Ying Zhang, Z. Morley Mao, Ming Zhang

HotNets | January 2008

HotNets

Publication

P-signatures and Noninteractive Anonymous Credentials

Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya

Theory of Cryptography Conference 2008 | January 2008

Publication

On compressible pairings and their computation

Michael Naehrig, Paulo S. L. M. Barreto, Peter Schwabe

Progress in Cryptology – AFRICACRYPT 2008 | January 2008

Progress in Cryptology – AFRICACRYPT 2008

Project

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

How to Encrypt with a Malicious Random Number Generator

How to Encrypt with a Malicious Random Number Generator

A Survey of Anonymous Communication Channels

Cryptographically Sound Implementations for Typed Information-Flow Security

The Elliptic Curve Discrete Logarithm Problem and Equivalent Hard Problems for Elliptic Divisibility Sequences

One-Time Programs

Randomizable Proofs and Delegatable Anonymous Credentials

Ascertaining the Reality of Network Neutrality Violation in Backbone ISPs

P-signatures and Noninteractive Anonymous Credentials

On compressible pairings and their computation

Security, privacy, and cryptography

Highlights