Search for persons
X
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
2
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Pr..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
3
CoqCryptoLine: A Verified Model Checker with Certified Resu..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
4
Correction to: CoqCryptoLine: A Verified Model Checker with..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5
Certified Verification for Algebraic Abstraction:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
6
MpBP: verifying robustness of neural networks with multi-pa..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vecto..:
, In:
?
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
9
Verifying Arithmetic in Cryptographic C Programs:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
10
Signed Cryptographic Program Verification with Typed Crypto..:
, In:
?
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering ,
11