Wasefire is an open-source framework that facilitates writing secure firmware code, which is executed by a WebAssembly (WASM) virtual machine. This design supports the two primary objectives of the framework:
Wasefire is in its early stages, and we are looking forward to hearing from the community about which features and use cases are interesting so that we can build the most useful framework to develop secure firmware.
Julien Cretin is currently working at Google Switzerland in the security, privacy, and abuse prevention research team. He has a background in programming languages, type systems, formal methods, and program verification from his PhD and his work on the TrustInSoft C/C++ static analyzer.
Jean-Michel Picod currently working at Google Switzerland in the Security, Privacy and Abuse prevention Research team. He holds an engineering degree in computer systems, networks and security and focuses on hardware security research (side-channel, fault-injection, embedded firmware).