Security, privacy, & cryptography

Video

Predicting Secret Keys via Branch Prediction

February 4, 2008 | Cetin Kaya Koc

We give an overview of a new software side-channel attack, enabled by the branch prediction capability common to all modern high-performance CPUs. The penalty paid (extra clock cycles) for a miss-predicted branch can be used…

01:03:28

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

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

One-Time Programs

Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum

Advances in Cryptology – CRYPTO 2008: Lecture Notes in Computer Science | 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

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

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

Predicting Secret Keys via Branch Prediction

How to Encrypt with a Malicious Random Number Generator

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

One-Time Programs

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

Randomizable Proofs and Delegatable Anonymous Credentials

Ascertaining the Reality of Network Neutrality Violation in Backbone ISPs

Security, privacy, & cryptography

Highlights