Security, privacy, and cryptography

Project

Verifiable Computing

Verifiable computation schemes enable a client to outsource the computation of a function F on various inputs to an untrusted worker, and then verify the correctness of the returned results. Critically, the outsourcing and verification…

Publication

SOBA: Secrecy-preserving Observable Ballot-level Audit

Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark

Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE ’11) | August 2011

Publication

Herbert West – Deanonymizer

Mihir Nanavati, Nathan Taylor, William Aiello, Andrew Warfield

HotSec’11 | August 2011

Publication

Transparent Privacy Control via Static Information Flow Analysis

Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux, Michal Moskal

MSR-TR-2011-93 | August 2011

Project Project

Publication

Bootstrapping Trust in Modern Computers

Bryan Parno, Jonathan M. McCune, Adrian Perrig

Published by Springer | August 2011

Publication

Privacy-Aware Personalization for Mobile Advertising

Michaela Goetz, Suman Nath

MSR-TR-2011-92 | August 2011

Publication

Position-Based Quantum Cryptography: Impossibility and Constructions

Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky, Christian Schaffner

Advances in Cryptology – CRYPTO 2011 – 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings | August 2011

ISBN: 978-3-642-22791-2

Publication

Fast and Precise Sanitizer Analysis with BEK

Pieter Hooimeijer, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes,

USENIX Security’11 | August 2011

USENIX Security'11

Publication

deSEO: Combating Search-Result Poisoning

John P. John, Fang Yu, Yinglian Xie, Martin Abadi, Arvind Krishnamurthy

Usenix Security Symposium | August 2011

Usenix Security Symposium

Publication

Group-by Query Verification by Untrusted Clients on Outsourced Data Streams

Suman Nath, Ramarathnam Venkatesan

MSR-TR-2011-104 | July 2011

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

Verifiable Computing

SOBA: Secrecy-preserving Observable Ballot-level Audit

Herbert West – Deanonymizer

Transparent Privacy Control via Static Information Flow Analysis

Bootstrapping Trust in Modern Computers

Privacy-Aware Personalization for Mobile Advertising

Position-Based Quantum Cryptography: Impossibility and Constructions

Fast and Precise Sanitizer Analysis with BEK

deSEO: Combating Search-Result Poisoning

Group-by Query Verification by Untrusted Clients on Outsourced Data Streams

Security, privacy, and cryptography

Highlights