Security, privacy, and cryptography

Publication

On Concurrently Secure Computation in the Multiple Ideal Query Model

Vipul Goyal, Abhishek Jain

January 2015

Publication

Anonymous Transferable E-Cash

Foteini Baldimtsi, Melissa Chase, Georg Fuchsbauer, Markulf Kohlweiss

Public-Key Cryptography – PKC 2015 | January 2015

Public-Key Cryptography – PKC 2015

Publication

Inverse Privacy (revised)

Yuri Gurevich, Efim Hudis, Jeannette Wing

MSR-TR-2015-37 | January 2015

Publication

Preserving Privacy in Crowd-Powered Systems

Walter S. Lasecki, Mitchell Gordon, Jaime Teevan, Ece Kamar, Jeff P. Bigham

In Proceedings of the Workshop on Human-Agent Interaction Design and Models (HAIDM 2015) at AAMAS 2015 | January 2015

Publication

The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults

Nishanth Chandran, Wutichai Chongchitmate, Juan A. Garay, Shafi Goldwasser, Rafail Ostrovsky, Vassilis Zikas

Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS 2015, Rehovot, Israel, January 11-13, 2015 | January 2015

ISBN: 978-1-4503-3333-7

Microsoft Research Blog

Equation of a Fuzzing Curve — Part 1/2

December 18, 2014 | Eugene Bobukh

Introduction While fuzzing, you may need to extrapolate or describe analytically a “fuzzing curve”, which is the dependency between the number of bugs found and the count of fuzzing inputs. Here I will share my…

Group

Systems Research Group – Redmond

The Systems Research Group is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient. One of the…

Publication

On Constant-Round Concurrent Zero-Knowledge from a Knowledge Assumption

Divya Gupta, Amit Sahai

Indocrypt | December 2014

Publication

Jacobian Coordinates on Genus 2 Curves

Huseyin Hisil, Craig Costello

ASIACRYPT 2014 | December 2014

Publication

Per-App Profiles with AppFork: The Security of Two Phones with the Convenience of One

Temitope Oluwafemi, Earlence Fernandes, Oriana Riva, Franziska Roesner, Suman Nath, Tadayoshi Kohno

MSR-TR-2014-153 | December 2014

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

On Concurrently Secure Computation in the Multiple Ideal Query Model

Anonymous Transferable E-Cash

Inverse Privacy (revised)

Preserving Privacy in Crowd-Powered Systems

The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults

Equation of a Fuzzing Curve — Part 1/2

Systems Research Group – Redmond

On Constant-Round Concurrent Zero-Knowledge from a Knowledge Assumption

Jacobian Coordinates on Genus 2 Curves

Per-App Profiles with AppFork: The Security of Two Phones with the Convenience of One

Security, privacy, and cryptography

Highlights