28 citations · 178 across the 46 of their papers we have counts for
1 paper · 2 filters
Maria Spichkova
This paper presents an Isabelle/HOL+Isar set of theories which allows to specify crypto-based components and to verify their composition properties wrt. cryptographic aspects. We i…