Marc Schoolderman

According to our database, Marc Schoolderman authored at least 8 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Low-Level Reachability Analysis Based on Formal Logic.

Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran

Proceedings of the Tests and Proofs - 17th International Conference, 2023

2022

Reachability Logic for Low-Level Programs.

Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran

CoRR, 2022

2021

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

2020

Efficient Verification of Optimized Code: Correct High-speed Curve25519.

Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen

CoRR, 2020

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

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

2017

Verifying Branch-Free Assembly Code in Why3.

Marc Schoolderman

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

2014

ECAlogic: hardware-parametric energy-consumption analysis of algorithms.

Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014