Security, privacy, and cryptography

Publication

Joint Traffic Routing and Distribution of Security Services in High Speed Networks

A. Hess, Sudipta Sengupta, V. P. Kumar

April 2007

ISBN: 978-1-4244-2025-4

Publication

Progress in Cryptology – LATINCRYPT 2015 – 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

April 2007

ISBN: 978-3-319-22173-1

Publication

Snitch: Interactive Decision Trees for Troubleshooting Misconfigurations

James Mickens, Martin Szummer, Dushyanth Narayanan

Proceedings of 2nd Workshop on Tackling Computer Systems Problems with Machine Learning Techniques (SysML07) | April 2007

Publication

Authorizing Applications in Singularity

Daniel R. Simon, Aydan Yumerefendi, Ted Wobber, Martin Abadi, Andrew Birrell

Proceedings of the 2007 Eurosys Conference | March 2007

Project

Video

A variant of Lehmer’s conjecture

February 27, 2007 | Kumar Murty

Let f be a fixed cusp form of weight at least 2. We show that for a set of n of density one, there is a common factor between n and the n-th Fourier coefficient…

a man wearing glasses and smiling at the camera

49:26

Publication

Securely Obfuscating Re-Encryption

Guy Rothblum, Susan Hohenberger, Abhi Shelat, Vinod Vaikuntanathan

J. Cryptology | February 2007, Vol 24(4): pp. 694-719

Publication

Multi-Authority Attribute Based Encryption

Melissa Chase

TCC’07 Proceedings of the 4th conference on Theory of cryptography | February 2007

Tool

FS2PV: A Cryptographic-Protocol Verifier for F#

FS2PV is a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. This pi-calculus model then can be analyzed using ProVerif to prove the desired security properties…

Access Project

Publication

Improving the Quality of Alerts and Predicting Intruder’s Next Goal with Hidden Colored Petri-Net

Dong Yu, Deborah Frincke

Computer Networks | February 2007

Publication

Interactive PCP 2007

Yael Tauman Kalai, Ran Raz

Electronic Colloquium on Computational Complexity | January 2007

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

Joint Traffic Routing and Distribution of Security Services in High Speed Networks

Progress in Cryptology – LATINCRYPT 2015 – 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

Snitch: Interactive Decision Trees for Troubleshooting Misconfigurations

Authorizing Applications in Singularity

A variant of Lehmer’s conjecture

Securely Obfuscating Re-Encryption

Multi-Authority Attribute Based Encryption

FS2PV: A Cryptographic-Protocol Verifier for F#

Improving the Quality of Alerts and Predicting Intruder’s Next Goal with Hidden Colored Petri-Net

Interactive PCP 2007

Security, privacy, and cryptography

Highlights