Security, privacy, and cryptography
Tool
TypeScript-React-Redux-Bootstrap-Sass-Webpack-Starter [1.0.0]
Single page application using React. Uses TypeScript as language. Uses Redux for state management. Uses Bootstrap framework for CSS with Sass as preprocessor. webpack as module bundler
Tool
Post-quantum Cryptography VPN
Modify the OpenVPN client and server to support key exchange and signature algorithms that are “post-quantum”: not known to be susceptible to attack by a sufficiently large quantum computer. MSR Security and Cryptography currently has…
Tool
RIoT Reference Architecture
Robust, Resilient, Recoverable Internet of Things (RIoT), from Microsoft Research, is an architecture for providing foundational trust services to computing devices. Device Identity Composition Engine (DICE) is an industry hardware/firmware standard that is the foundation…
Publication
Pointer Tagging for Memory Safety
Publication
Decentralized & Collaborative AI on Blockchain
Video
How To: Integrate MSRD with Azure DevOps
Microsoft Security Risk Detection: How to integrate MSRD with Azure DevOps
Video
How To: Microsoft Security Risk Detection (Web Vulnerability Scanning)
Microsoft Security Risk Detection – How to use MSRD to perform Web App Scanning
Video
How to: Microsoft Security Risk Detection (Fuzzing)
Microsoft Security Risk Detection (MSRD): How to fuzz
Tool
Vale
Vale (Verified Assembly Language for Everest) is a tool for constructing formally verified high-performance assembly language code, with an emphasis on cryptographic code. It uses existing verification frameworks, such as Dafny and F*, for formal…