Security, privacy, & cryptography

公開日

Enclosure: language-based restriction of untrusted libraries

Adrien Ghosn

ASPLOS | March 2021

公開日

Training Data Leakage Analysis in Language Models

Huseyin A. Inan, Osman Ramadan, Lukas Wutschitz, Daniel Jones, Victor Rühle, James Withers, Robert Sim

February 2021

イベント

Microsoft at NDSS 2021

February 21, 2021 – February 24, 2021 | Virtual

Microsoft is proud to be a sponsor of the Network and Distributed System Security Symposium (NDSS) 2021. Stop by our virtual booth to learn more about our research and open opportunities at Microsoft.

公開日

Stronger NAS with Weaker Predictors

Junru Wu, Xiyang Dai, Dongdong Chen, Yinpeng Chen, Mengchen Liu, Ye Yu, Zhangyang Wang, Zicheng Liu, Mei Chen, Lu Yuan

NeurIPS 2021 | February 2021

公開日

Robust and Differentially Private Mean Estimation

Xiyang Liu, Weihao Kong, Sham Kakade, Sewoong Oh

NeurIPS 2021 | February 2021

公開日

Detecting Anomalous Time Series by GAMLSS-Akaike-Weights-Scoring

Cole Sodja

Journal of Computational and Graphical Statistics | February 2021, pp. 1-13

動画

Microsoft Research Conversations in STEM: Future Horizons of Science

February 10, 2021 | Yael Tauman Kalai, Bichlien Nguyen, Andromachi Chatzieleftheriou, Emma Dauterman

Future Horizons of Science If you agree with Arthur C. Clarke that the only way to discover the limits of the possible is to venture a little way past them into the impossible, you’ll be…

01:00:19

ツール

DICE*

This project develops a formally verified implementation of the DICE measured boot protocol for IoT devices, micro-controllers, and other devices (microsoft/RIoT (opens in new tab)). The implementation is provably memory safe, functionally correct, and resistant…

GitHub

公開日

Banquet: Short and Fast Signatures from AES

Carsten Baum, Cyprien Delpech de Saint Guilhem, Daniel Kales, Emmanuela Orsini, Peter Scholl, Greg Zaverucha

PKC 2021 | February 2021

プロジェクトプロジェクト

動画

Interactive Error Resilience and the Surprising Power of Feedback

February 3, 2021 | Raghuvansh Saxena

Interactive error correcting codes are codes that encode a two party communication protocol to an error-resilient protocol that succeeds even if a constant fraction of the communicated symbols are adversarially corrupted, at the cost of…

54:15

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

Enclosure: language-based restriction of untrusted libraries

Training Data Leakage Analysis in Language Models

Microsoft at NDSS 2021

Stronger NAS with Weaker Predictors

Robust and Differentially Private Mean Estimation

Detecting Anomalous Time Series by GAMLSS-Akaike-Weights-Scoring

Microsoft Research Conversations in STEM: Future Horizons of Science

DICE*

Banquet: Short and Fast Signatures from AES

Interactive Error Resilience and the Surprising Power of Feedback

Security, privacy, & cryptography

ハイライト