Security, privacy, & 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

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

Bootstrapping Trust in Modern Computers

Bryan Parno, Jonathan M. McCune, Adrian Perrig

Published by Springer | 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

Privacy-Aware Personalization for Mobile Advertising

Michaela Goetz, Suman Nath

MSR-TR-2011-92 | August 2011

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

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

Suman Nath, Ramarathnam Venkatesan

MSR-TR-2011-104 | July 2011

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

Verifiable Computing

SOBA: Secrecy-preserving Observable Ballot-level Audit

Herbert West – Deanonymizer

Transparent Privacy Control via Static Information Flow Analysis

deSEO: Combating Search-Result Poisoning

Bootstrapping Trust in Modern Computers

Position-Based Quantum Cryptography: Impossibility and Constructions

Privacy-Aware Personalization for Mobile Advertising

Fast and Precise Sanitizer Analysis with BEK

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

Security, privacy, & cryptography

Highlights