Security, privacy, and cryptography

Publication

A study of pair encodings: predicate encryption in prime order groups

Shashank Agrawal, Melissa Chase

TCC 2016a | January 2016

Publication

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal

ACM Transactions on Programming Languages and Systems | January 2016, Vol 38(2)

Publication

Information-theoretic Local Non-malleable Codes and their Applications

Nishanth Chandran, Bhavana Kanukurthi, Srinivasan Raghuraman

Theory of Cryptography Conference (TCC) 2016-A | January 2016

Publication

Untangling research and practice: What Facebook’s “emotional contagion” study teaches us

danah boyd

Archives of Sexual Behavior | December 2015, Vol 45(5): pp. 1083-1099

Tool

TSS.MSR

In order to facilitate the development of applications and services using TPM 2.0, Microsoft has developed a series of TSS implementations for different programming languages.

GitHub

Tool

MSR JavaScript Cryptography Library

The Microsoft Research JavaScript Cryptography Library has been developed for use with cloud services in an HTML5 compliant and forward-looking manner. Last published: July 13, 2018

Access

Project

Seabed is a project to provide analytics over encrypted Big Data. The challenge is to develop fast yet secure cryptographic techniques that support a suite of applications such as Business Intelligence tools and large-scale Machine…

Publication

Private Genome Analysis Through Homomorphic Encryption

Miran Kim, Kristin Lauter

BMC medical informatics and decision making | December 2015, Vol 15

Project

Publication

FourQ: four-dimensional decompositions on a Q-curve over the Mersenne prime

Craig Costello, Patrick Longa

Advances in Cryptology – ASIACRYPT, 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 – December 3, 2015 | December 2015

Publication

Multi-Input Functional Encryption for Unbounded Arity Functions

Saikrishna Badrinarayanan, Divya Gupta, Abhishek Jain, Amit Sahai

ASIACRYPT | November 2015

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

A study of pair encodings: predicate encryption in prime order groups

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

Information-theoretic Local Non-malleable Codes and their Applications

Untangling research and practice: What Facebook’s “emotional contagion” study teaches us

TSS.MSR

MSR JavaScript Cryptography Library

Seabed

Private Genome Analysis Through Homomorphic Encryption

FourQ: four-dimensional decompositions on a Q-curve over the Mersenne prime

Multi-Input Functional Encryption for Unbounded Arity Functions

Security, privacy, and cryptography

Highlights