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

Outil

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 GitHub

Outil

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

Accès

Projet

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

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

Private Genome Analysis Through Homomorphic Encryption

Miran Kim, Kristin Lauter

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

Projet

Publication

Multi-Input Functional Encryption for Unbounded Arity Functions

Saikrishna Badrinarayanan, Divya Gupta, Abhishek Jain, Amit Sahai

ASIACRYPT | November 2015

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

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

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

Private Genome Analysis Through Homomorphic Encryption

Multi-Input Functional Encryption for Unbounded Arity Functions

Security, privacy, & cryptography

Fait saillants