Security, privacy, and cryptography
Publication
Vaccine Credential Technology Principles
Video
Fuzzing to improve the security and reliability of cloud services with RESTler
In the past few years, cloud services have experienced tremendous growth. Most of these services are programmatically accessed through REST APIs. As the pace of development increases, both the APIs and service implementations are evolving…
Webinar
Fuzzing to improve the security and reliability of cloud services with RESTler webinar
In this webinar, join Marina Polishchuk, in exploring how RESTler—the first stateful REST API fuzzer—can help efficiently find security and reliability bugs in cloud services. RESTler analyzes a Swagger/OpenAPI specification and produces a fuzzing grammar…
Microsoft Research Blog
Anticipate, absorb, and adapt—introducing the societal resilience research agenda
The genetic sequence for COVID-19 was first published in January 2020. Before the end of the year, new vaccines—which typically take five to ten years to develop—were approved for emergency use in multiple nations. This…
Publication
Agatha: Smart Contract for DNN Computation
Microsoft Research Blog
EverParse: Hardening critical attack surfaces with formally proven message parsers
EverParse (opens in new tab) is a framework for generating provably secure parsers and formatters used to improve the security of critical code bases at Microsoft. EverParse is developed as part of Project Everest (opens…
