Traceability and Accountability by Construction. - Julius Wenzel; Maximilian A. Köhl; Sarah Sterz; Hanwei Zhang 001; Andreas Schmidt 003; Christof Fetzer; Holger Hermanns (ISoLA (4), 2024)

Invited Paper: Using Signed Formulas for Online Certification. - Julius Wenzel; Andreas Berg; Christof Fetzer (SSS, 2024)

VMCaaS - Virtual Monotonic Counters as a Service. - Gabriel Fernandez 001; Julius Wenzel; Christof Fetzer (UCC, 2024)