Sjaak Smetsers | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Herman Geuvers
7 publications
Marko van Eekelen
5 publications
Robbert Krebbers
4 publications
Marc Schoolderman
3 publications
Freek Wiedijk
2 publications
Léon Gondelman
2 publications
Freek Verbeek
2 publications
Jonathan Moerman
1 publication
Daniil Frumin
1 publication
Benoît Viguier
1 publication

research

∙ 12/17/2020

Efficient Verification of Optimized Code: Correct High-speed Curve25519

Code that is highly optimized poses a problem for program-level verifica...

0 Marc Schoolderman, et al. ∙

research

∙ 04/01/2019

A benchmark for C program verification

We present twenty-five C programs, as a benchmark for C program verifica...

0 Marko van Eekelen, et al. ∙

Success!

An error occurred