Security, privacy, and cryptography

Video

Advancing the State of the Art: 20th Anniversary and Beyond

September 26, 2011

At Microsoft Research, we are celebrating over 20 years of turning ideas into products that continuously improve the way people interact with technology. We advance the state of the art in computer science through exploration…

02:38

Publication

Spam Filtering in Twitter using Sender-Receiver Relationship

Jonghyuk Song, Sangho Lee, Jong Kim

14th International Symposium on Recent Advances in Intrusion Detection (RAID 2011) | September 2011

Publication

MT Detection in Web-Scraped Parallel Corpora

Spencer Rarrick, Chris Quirk, Will Lewis

Proceedings of MT Summit XIII | September 2011

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

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

Advancing the State of the Art: 20th Anniversary and Beyond

Spam Filtering in Twitter using Sender-Receiver Relationship

MT Detection in Web-Scraped Parallel Corpora

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

Security, privacy, and cryptography

Highlights