Security, privacy, and cryptography

Publication

Efficient Implementation of Bilinear Pairings on ARM Processors

Gurleen Grewal, Reza Azarderakhsh, Patrick Longa, Shi Hu, David Jao

Conference on Selected Areas in Cryptography (SAC 2012) | July 2012

Publication

Edge Fault Tolerance on Sparse Networks

Nishanth Chandran, Juan A. Garay, Rafail Ostrovsky

Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II | July 2012

Automata, Languages, and Programming

ISBN: 978-3-642-31584-8

Publication

Discovering Concrete Attacks on Website Authorization by Formal Analysis

Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis

25th IEEE Computer Security Foundations Symposium (CSF’12) | June 2012

Publication

Information-Flow Control for Programming on Encrypted Data

CSF 12 | June 2012

Publication

Why Do Nigerian Scammers Say They are From Nigeria?

Cormac Herley

WEIS | June 2012

Publication

Inspection Resistant Memory: Architectural Support for Security from Physical Examination

Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Dan Shumow, Vinod Vaikuntanathan, Timothy Sherwood,

Proceedings of ISCA 2012. | June 2012

Video

Building Decentralized Systems Using DHTs : Part 3- Accountability

June 1, 2012 | Peter Druschel, Chris Gould-Sandhu

Decentralized systems based on distributed hash tables (DHTs) have received a lot of attention during the past decade, and systems based on this technology are now in production use. In this series of lectures, we…

a man wearing glasses and smiling at the camera

01:11:35

Publication

From Web Search to Healthcare Utilization: Privacy-Preserving Studies from Mobile Data

Ryen W. White, Eric Horvitz

MSR-TR-2012-2 | June 2012

Publication

Implementing 4-Dimensional GLV Method on GLS Elliptic Curves with j-Invariant 0

Zhi Hu, Patrick Longa, Maozhi Xu

Journal of Designs, Codes and Cryptography | June 2012

Publication

Trust Extension for Commodity Computers

Bryan Parno

Communications of the ACM | June 2012, Vol 55: pp. 76-85

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

Efficient Implementation of Bilinear Pairings on ARM Processors

Edge Fault Tolerance on Sparse Networks

Discovering Concrete Attacks on Website Authorization by Formal Analysis

Information-Flow Control for Programming on Encrypted Data

Why Do Nigerian Scammers Say They are From Nigeria?

Inspection Resistant Memory: Architectural Support for Security from Physical Examination

Building Decentralized Systems Using DHTs : Part 3- Accountability

From Web Search to Healthcare Utilization: Privacy-Preserving Studies from Mobile Data

Implementing 4-Dimensional GLV Method on GLS Elliptic Curves with j-Invariant 0

Trust Extension for Commodity Computers

Security, privacy, and cryptography

Highlights