ECAlogic: hardware-parametric energy-consumption analysis of algorithms. - Marc Schoolderman; Jascha Neutelings; Rody Kersten; Marko C. J. D. van Eekelen (FOAL, 2014)

Verifying Branch-Free Assembly Code in Why3. - Marc Schoolderman (VSTTE, 2017)

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? - Marc Schoolderman; Sjaak Smetsers; Marko C. J. D. van Eekelen (CSERC, 2019)

A benchmark for C program verification. - Marko C. J. D. van Eekelen; Daniil Frumin; Herman Geuvers; Léon Gondelman; Robbert Krebbers; Marc Schoolderman; Sjaak Smetsers; Freek Verbeek; Benoît Viguier; Freek Wiedijk (CoRR, 2019)

Efficient Verification of Optimized Code: Correct High-speed Curve25519. - Marc Schoolderman; Jonathan Moerman; Sjaak Smetsers; Marko C. J. D. van Eekelen (CoRR, 2020)

Efficient Verification of Optimized Code: Correct High-speed X25519. - Marc Schoolderman; Jonathan Moerman; Sjaak Smetsers; Marko C. J. D. van Eekelen (IACR Cryptol. ePrint Arch., 2021)

Reachability Logic for Low-Level Programs. - Nico Naus; Freek Verbeek; Marc Schoolderman; Binoy Ravindran (CoRR, 2022)

Low-Level Reachability Analysis Based on Formal Logic. - Nico Naus; Freek Verbeek; Marc Schoolderman; Binoy Ravindran (TAP, 2023)