- Proof-producing resolution of indirect jumps in the binary intermediate representation BIR. Adrian Westerberg. 2021.
- Validating Side Channel models in RISC-V using Model-Based Testing. Victor Vitek. 2021.
- OpenMZ: a C implementation of the MultiZone API. Henrik Karlsson. 2020.
- Alternating Control Flow Graph Reconstruction by Combining Constant Propagation and Strided Intervals with Directed Symbolic Execution. Thomas Peterson. 2019.
- Experiments on automation of formal verification of devices at the binary level. Thomas Lacroix. 2019.
- Provably Sound and Secure Automatic Proving and Generation of Verification Conditions. Didrik Lundberg. 2018.