Marc Schoolderman

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 8

Top Topics

Software Engineers

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
Low-Level Reachability Analysis Based on Formal Logic. TAP (2023)
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
Reachability Logic for Low-Level Programs. CoRR (2022)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed X25519. IACR Cryptol. ePrint Arch. 2021 (2021)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code - Correct High-Speed X25519. NFM (2021)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed Curve25519. CoRR (2020)
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
A benchmark for C program verification. CoRR (2019)
Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? CSERC (2019)
Marc Schoolderman
Verifying Branch-Free Assembly Code in Why3. VSTTE (2017)
Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen
ECAlogic: hardware-parametric energy-consumption analysis of algorithms. FOAL (2014)