Publications Test

Master's Thesis

• 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.