Filter your results
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
|
|
sorted by
|
|
An efficient VCGen-based modular verification of relational propertiesISoLA 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
|
||
|
Certified verification of relational propertiesiFM 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
|
||
|
Verifying redundant-check based countermeasures: a case studySAC' 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
|