David Cock

9 papers and 278 indexed citations i.

David Cock has authored 9 papers that have received a total of 278 indexed citations. This includes 6 papers in Artificial Intelligence, 5 papers in Computer Networks and Communications and 4 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (6 papers), Distributed systems and fault tolerance (4 papers) and Advanced Malware Detection Techniques (3 papers). David Cock is often cited by papers focused on Security and Verification in Computing (6 papers), Distributed systems and fault tolerance (4 papers) and Advanced Malware Detection Techniques (3 papers) and collaborates with scholars based in Switzerland, Australia and Canada. David Cock's co-authors include Gernot Heiser, Timothy Roscoe, Qian Ge, Kaan Kara and Rafal Kolanski and has published in prestigious journals such as Communications of the ACM, ACM Transactions on Embedded Computing Systems and Journal of Cryptographic Engineering