Security, privacy, and cryptography

Publication

Taking proof-based verified computation a few steps closer to practicality

Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish

USENIX Security | August 2012

Publication

Tracking Rootkit Footprints with a Practical Memory Analysis System

Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan

Proceedings of the 21st USENIX Security Symposium | August 2012

Publication

Clickjacking: Attacks and Defenses

Lin-Shung Huang, Alex Moshchuk, Helen Wang, Stuart Schechter, Collin Jackson

Proceedings of the 21st USENIX Security Symposium | August 2012

Publication

Diï¬”erential Privacy with Imperfect Randomness

Yevgeniy Dodis, Adriana Lopez-Alt, Ilya Mironov, Salil Vadhan

Advances in Cryptology—CRYPTO’12 | August 2012

Publication

Measuring and Fingerprinting Click-Spam in Ad Networks

Vacha Dave, Saikat Guha, Yin Zhang

Proceedings of the Special Interest Group on Data Communication (SIGCOMM) | August 2012

Event

Faculty Summit 2012

July 16, 2012 – July 18, 2012 | Redmond, WA, USA

Technological advancement has always been driven by the need to solve real-world problems, whether social or scientific. Today, computing research and technology continue to provide novel approaches to meeting such challenges. From using analysis to…

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

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

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

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

Taking proof-based verified computation a few steps closer to practicality

Tracking Rootkit Footprints with a Practical Memory Analysis System

Clickjacking: Attacks and Defenses

Diï¬”erential Privacy with Imperfect Randomness

Measuring and Fingerprinting Click-Spam in Ad Networks

Faculty Summit 2012

Edge Fault Tolerance on Sparse Networks

Efficient Implementation of Bilinear Pairings on ARM Processors

Discovering Concrete Attacks on Website Authorization by Formal Analysis

Information-Flow Control for Programming on Encrypted Data

Security, privacy, and cryptography

Highlights