Video
27 September 2021 - 15h00
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles) (HDR)
by Sylvain Boulmé from Verimag
Abstract: See abstract, jury details, and pdf on http://www-verimag.imag.fr/~boulme/hdr.html
Slides of the Presentation.
