Julien Cretin

We want differential fuzzing of the interpreter with wasm3, wasmtime, and/or the reference interpreter. We can probably use wasm-smith to generate modules, just calling the first (or all) exported functions...

Things to look into: - https://mozilla.github.io/cargo-vet/ - https://slsa.dev/

We probably want to zeroize in the following cases: - When an applet is uninstalled, its static resources including its modules in flash should be zeroized. - When an applet...

It should be possible for a board implementation to setup hardware protection such that the scheduler runs in unprivileged mode while the board stays privileged. This means that when the...

The support for AssemblyScript is currently very weak. Only the [low-level WebAssembly interface](https://github.com/google/wasefire/blob/main/examples/assemblyscript/api.ts) is there (generated from the applet API description). There is also support in `xtask` to build and...

This is not clear if useful, but dumping the idea for tracking purposes. Some applets could be identified as plugins (needs special permission). In that case, they overwrite the behavior...

It's not clear if needed, but dumping the idea in case a use-case comes up. Currently, the interpreter doesn't constrain the size of a memory and its growth more than...

We could detect when an applet is not doing any API call for too long. This could be interpreted as a hanged task (e.g. live-lock) and take some action (log,...

What could we provide to simplify testing and fuzzing of applets? Ideas: - Prefer tooling that works at WebAssembly level since it will benefit all languages. - Some forms of...

### Simon game The [Simon](https://en.wikipedia.org/wiki/Simon_(game)) game shows a LED pattern to be reproduced with buttons. To make it portable, the mapping between LEDs and buttons is done before playing the...