Security, privacy, and cryptography
Microsoft Research Blog
Research Focus: Week of December 4, 2023
Research Focus: Using LLMs in a Rust-based formal verification framework; Rethinking network measurements with user feedback; 3D telemedicine using HoloportationTM communication technology could enhance overseas surgical visits.
Microsoft Research Blog
Tackling sign language data inequity
ASL Citizen is the first crowdsourced sign language dataset, advancing the state of the art in sign recognition. The web-based project captured input from people in real-world settings, and from a diverse group of experts,…
Publication
Cryptographic Smooth Neighbors
Microsoft Research Blog
Research Focus: Week of November 22, 2023
A new deep-learning compiler for dynamic sparsity; Tongue Tap could make tongue gestures viable for VR/AR headsets; Ranking LLM-Generated Loop Invariants for Program Verification; Assessing the limits of zero-shot foundation models in single-cell biology.
