Publications

Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study

AuthID
P-00N-HYD

Author(s)

Braga, A

Document Type

Proceedings Paper

Year published

2017

Published

in 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) in Proceedings International Symposium on Software Reliability Engineering, ISSN: 1071-9458

Volume: 2017-October, Pages: 170-181 (12)

Conference

28Th Ieee International Symposium on Software Reliability Engineering, Date: OCT 23-26, 2017, Location: Toulouse, FRANCE, Sponsors: IEEE, IEEE Comp Soc, CNRS, LAAS, IEEE Reliabil Soc, CNRS, Univ Toulouse III Paul Sabatier, Ceatech List, Nokia Bell Labs, Groupement Rech, Gelnie Programmat Logicel, INSA Toulouse

Indexing