Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

3 Results
authFullName_s : Virgile Prevosto
Image document

An efficient VCGen-based modular verification of relational properties

Lionel Blatter , Nikolai Kosmatov , Virgile Prevosto , Pascale Le Gall
ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Oct 2022, Rhodes, Greece. pp.498-516, ⟨10.1007/978-3-031-19849-6_28⟩
Conference papers cea-04119217v1
Image document

Certified verification of relational properties

Lionel Blatter , Nikolai Kosmatov , Virgile Prevosto , Pascale Le Gall
iFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩
Conference papers cea-03714381v1
Image document

Verifying redundant-check based countermeasures: a case study

Thibault Martin , Nikolai Kosmatov , Virgile Prevosto
SAC' 2022 - The 37th ACM Symposium on Applied Computing, Apr 2022, Brno (virtual event), Czech Republic. pp.1849-1852, ⟨10.1145/3477314.3507341⟩
Conference papers cea-03714409v1