Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

1 Résultat
authFullName_s : Joseph A. Akinyele

Certified Synthesis of Efficient Batch Verifiers

Joseph A. Akinyele , Gilles Barthe , Benjamin Grégoire , Benedikt Schmidt , Pierre-Yves Strub et al.
CSF 2014 - IEEE 27th Computer Security Foundations Symposium, Jul 2014, Vienna, Austria. pp.153 - 165, ⟨10.1109/CSF.2014.19⟩
Conference papers hal-01094565v1