Search for persons
X
?
Computer Aided Verification; Lecture Notes in Computer Science ,
1
Correction to: CoqCryptoLine: A Verified Model Checker with..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
CoqCryptoLine: A Verified Model Checker with Certified Resu..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
4
Certified Verification for Algebraic Abstraction:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vecto..:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
6