Security, privacy, and cryptography

Publication

Constructing elliptic curves with a given number of points over a finite field

Amod Agashe, Kristin Lauter, Ramarathnam Venkatesan

Fields Insitute Communications Series, Volume 42, High Primes and Misdemeanours: lectures in honour of the 60th birthday of Hugh Cowie Williams | January 2001

Project

Publication

Improved Online/Offline Signature Schemes

Adi Shamir, Yael Tauman Kalai

Advances in Cryptology – CRYPTO 2001: Lecture Notes in Computer Science | January 2001

Publication

A Note on Cryptanalysis of the Preliminary Version of the NTRU Signature Scheme

Ilya Mironov

January 2001

Publication

How to Leak a Secret

Ronald L. Rivest, Adi Shamir, Yael Tauman Kalai

Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology | January 2001

Publication

Mobile Values, New Names, and Secure Communication

Martın Abadi, Cédric Fournet

28th ACM Symposium on Principles of Programming Languages (POPL’01) | January 2001

Publication

Computer Security in the Real World

Butler Lampson

Annual Computer Security Applications Conference | December 2000

ISBN 0-7695-0859-6. Slides

Publication

Robust Image Hashing

Ramarathnam Venkatesan, S.-M. Koon, Mariusz Jakubowski, P. Moulin

IEEE International Conference on Image Processing: ICIP 2000 | September 2000

Publication

Secrecy and Group Creation

Luca Cardelli, Giorgio Ghelli, Andy Gordon

CONCUR ’00 Proceedings of the 11th International Conference on Concurrency Theory | August 2000

ISBN: 3-540-67897-2

Publication

Okapi/Keenbow at TREC-8

Stephen Robertson, S. Walker

The Eighth Text REtrieval Conference (TREC-8) | January 2000

The Eighth Text REtrieval Conference (TREC–8)

Group

Constructive Security

The Constructive Security Group at Microsoft Research Cambridge seeks robust solutions to real-world large-scale security and privacy problems.

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

Constructing elliptic curves with a given number of points over a finite field

Improved Online/Offline Signature Schemes

A Note on Cryptanalysis of the Preliminary Version of the NTRU Signature Scheme

How to Leak a Secret

Mobile Values, New Names, and Secure Communication

Computer Security in the Real World

Robust Image Hashing

Secrecy and Group Creation

Okapi/Keenbow at TREC-8

Constructive Security

Security, privacy, and cryptography

Highlights