28 citations · 71 across the 10 of their papers we have counts for
1 paper · 1 filter
Roberto Metere, Changyu Dong
Aiming for strong security assurance, recently there has been an increasing interest in formal verification of cryptographic constructions. This paper presents a mechanised formal…