Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
動画
How To: Integrate MSRD with Azure DevOps
Microsoft Security Risk Detection: How to integrate MSRD with Azure DevOps
動画
How To: Microsoft Security Risk Detection (Web Vulnerability Scanning)
Microsoft Security Risk Detection – How to use MSRD to perform Web App Scanning
動画
How to: Microsoft Security Risk Detection (Fuzzing)
Microsoft Security Risk Detection (MSRD): How to fuzz
ツール
EverCrypt
EverCrypt (opens in new tab) is a high-performance, cross-platform, formally verified modern cryptographic provider distributed as a combined C/ASM library. EverCrypt packages cryptographic implementations from the HACL* and ValeCrypt projects, and automatically picks the fastest…
動画
PASTA: PASsword-based Threshold Authentication
We introduce and formalize a new notion of password-based threshold token authentication, which protects password-based authentication against single point of failures. Specifically, we distribute the role of a single server among n servers and allow…
動画
SIKE in Hardware for IoT
Elliptic curve groups have been a popular choice in the implementation of traditional and post-quantum cryptographic schemes, including Diffie-Hellman type key-exchange protocols and digital signature algorithms. While some of these applications require to perform multidimensional…
