Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
동영상
Analyzing Group Chat Encryption in Messaging Applications
Secure group messaging applications have been widely deployed to protect the conversations of billions of users. Several academic works have analyzed the cryptographic security of these applications, but most of them focus on analyzing the…
동영상
Invited Research Talk: Measuring Generalization in EEG Foundation Models
Over the past few years, there has been an increasing interest towards building EEG foundation models that provide generalized representations for EEG signals, which are able to provide noticeable performance improvements over supervised baseline methods.…
동영상
TruthTable: A Verifiable Query Engine
TruthTable is a verifiable database engine that allows a prover to produce a succinct proof that convinces a verifier of the correct execution of the verifier’s SQL query over the prover’s committed database. TruthTable supports…
취업 기회
Senior Researcher – Security – Microsoft Research
The Security Research Group at Microsoft Research Redmond is pushing the boundaries of data‑driven security. In this role as a Senior Researcher – Security, you will work alongside leading researchers and engineers to design and…
동영상
Haechi: Simple Commitment-based Keyless In-person Verifiable Elections
For decades, verifiable election systems have typically relied on encrypting ballots to maintain voter privacy. Encryption requires keys, and the management of these keys is usually one of the most cumbersome and error-prone components of…