Security, privacy, and cryptography
Tool
Fuzzy Encryption Library
The Fuzzy Vault Library will provide functionality to generate and recover user secrets based on passphrases. Recovery of a secret can be done through partial input of the original passphrase as long as it meets…
Tool
Verified DICE for STM32H7 Microcontrollers
This repository contains a Verified Boot implementation for the STM32H7 devices (specifically STM32H753ZI, STM32H743ZI) for the paper. The implementation contains DICE* code generated from the dice-star repository and implements the Hardware Abstraction Interface. The cmake…
Video
Research for Industries (RFI) Lecture Series: Andreas Haeberlen
Privacy-Preserving Federated Analytics at Scale Andreas Haeberlen is an Associate Professor at the University of Pennsylvania. His research interests include distributed systems, networking, security, and privacy. He’s recently been working on secure network providence, accountable…
Project
CyberBattleSim
CyberBattleSim is an experimentation research platform to investigate the interaction of automated agents operating in a simulated abstract enterprise network environment. The simulation provides a high-level abstraction of computer networks and cyber security concepts. Its…
Tool
CyberBattleSim
CyberBattleSim is an experimentation research platform to investigate the interaction of automated agents operating in a simulated abstract enterprise network environment. The simulation provides a high-level abstraction of computer networks and cyber security concepts. Its…
Video
Stateful REST API Fuzzing with RESTler – FuzzCon EU
Marina Polishchuk is passionate about systematically testing complex software. She is currently working at Microsoft Research on the problem of how to find security and reliability bugs in cloud services through fuzzing their REST APIs.…
