Vincent Laporte

11 papers and 75 indexed citations i.

Vincent Laporte has authored 11 papers that have received a total of 75 indexed citations. This includes 11 papers in Artificial Intelligence, 6 papers in Signal Processing and 3 papers in Computer Networks and Communications. The topics of these papers are Security and Verification in Computing (8 papers), Advanced Malware Detection Techniques (6 papers) and Cryptographic Implementations and Security (6 papers). Vincent Laporte is often cited by papers focused on Security and Verification in Computing (8 papers), Advanced Malware Detection Techniques (6 papers) and Cryptographic Implementations and Security (6 papers) and collaborates with scholars based in France, Spain and The Netherlands. Vincent Laporte's co-authors include Gilles Barthe, Benjamin Grégoire, Sandrine Blazy, David Pichardie and Suresh Jagannathan and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Automated Reasoning.