Security, privacy, and cryptography
Video
Demo: Generating formally proven low-level parsers with EverParse
Speaker: Aseem Rastogi, Principal Researcher, Microsoft Research India DARPA and MITRE estimate that 80 percent of software security vulnerabilities have incorrect input validation as their root cause. In such scenarios, attackers provide malformed input, which,…
Video
Research talk: Privacy in machine learning research at Microsoft
Speaker: Melissa Chase, Principal Researcher, Microsoft Research Redmond Training modern machine learning models requires large amounts of data, and often that data may be private or confidential. The area of privacy-preserving machine learning looks at…
Video
Tutorial, Research talk, and Q&A: ElectionGuard: Enabling voters to verify election integrity
00:00 Tutorial: ElectionGuard: Enabling voters to verify election integrity Speaker: Josh Benaloh, Senior Principal Cryptographer, Microsoft Research Redmond This tutorial will describe Microsoft’s free, open-source ElectionGuard toolkit, which can be incorporated into new and existing…
Video
Demo: EverParse: Automatic generation of formally verified secure parsers for cloud integrity
Speaker: Tahina Ramananandro, Principal Research Software Development Engineer, Microsoft Research Redmond DARPA and MITRE estimate that 80 percent of software security vulnerabilities have incorrect input validation as their root cause. In such scenarios, attackers provide…
Video
Research talks: Software supply chain security
The software development process has an extensive list of dependencies for building software, to include build inputs such as source code, open-source software (OSS), software development kits (SDKs), compilers, linkers, and other build tools. Securing…
Video
Panel: Data sharing in financial services: Unlocking new value with privacy-enhancing technologies
The financial services industry is on the verge of a foundational transformation, shifting from a set of discrete and self-contained functions to an intelligent set of services that embed within the experiences, business processes, and marketplaces…
Video
Research talk: Towards bridging between legal and technical approaches to data protection
Speaker: Kobbi Nissim, Professor, Georgetown University As computer systems become integrated into almost every aspect of society and are increasingly making decisions of legal significance, the need to bridge diverging (and sometimes conflicting) technical and…
Publication