Boris Köpf

27 papers and 592 indexed citations i.

Boris Köpf has authored 27 papers that have received a total of 592 indexed citations. This includes 26 papers in Artificial Intelligence, 9 papers in Signal Processing and 7 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (18 papers), Advanced Malware Detection Techniques (9 papers) and Cryptographic Implementations and Security (7 papers). Boris Köpf is often cited by papers focused on Security and Verification in Computing (18 papers), Advanced Malware Detection Techniques (9 papers) and Cryptographic Implementations and Security (7 papers) and collaborates with scholars based in Spain, Germany and United Kingdom. Boris Köpf's co-authors include Jan Reineke, Gilles Barthe, Santiago Zanella-Béguelin, Goran Doychev and Marco Guarnieri and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and IEEE Micro