Chris Novakovic
Chris Novakovic
Department of Computing, Imperial College London
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
Leakwatch: Estimating information leakage from java programs
T Chothia, Y Kawamoto, C Novakovic
European Symposium on Research in Computer Security, 219-236, 2014
452014
A tool for estimating information leakage
T Chothia, Y Kawamoto, C Novakovic
International Conference on Computer Aided Verification, 690-695, 2013
372013
Probabilistic point-to-point information leakage
T Chothia, Y Kawamoto, C Novakovic, D Parker
2013 IEEE 26th Computer Security Foundations Symposium, 193-205, 2013
312013
An offline capture the flag-style virtual machine and an assessment of its value for cybersecurity education
T Chothia, C Novakovic
2015 {USENIX} Summit on Gaming, Games, and Gamification in Security …, 2015
272015
BrowserAudit: automated testing of browser security features
C Hothersall-Thomas, S Maffeis, C Novakovic
Proceedings of the 2015 international symposium on software testing and …, 2015
112015
The unbearable lightness of monitoring: Direct monitoring in BitTorrent
T Chothia, M Cova, C Novakovic, CG Toro
International conference on security and privacy in communication systems …, 2012
112012
Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course
T Chothia, C Novakovic, AI Radu, RJ Thomas
Transactions on Edutainment XV, 141-172, 2019
32019
LeakWatch
T Chothia, Y Kawamoto, C Novakovic
3
Software Adaptation for an Unmanned Undersea Vehicle
A Pfeffer, C Wu, G Fry, K Lu, S Marotta, M Reposa, Y Shi, TKS Kumar, ...
IEEE Software 36 (2), 91-96, 2019
12019
Automatically calculating quantitative integrity measures for imperative programs
T Chothia, C Novakovic, RR Singh
Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2014
12014
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems
C Novakovic, D Parker
European Symposium on Research in Computer Security, 319-337, 2019
2019
Calculating Quantitative Integrity and Secrecy for Imperative Programs
T Chothia, C Novakovic, RR Singh
International Journal of Secure Software Engineering (IJSSE) 6 (2), 23-46, 2015
2015
Confidence Interval of Estimated Min-Entropy Leakage
T Chothia, Y Kawamoto, C Novakovic
2013
User Manual for leakiEst v. 1.4–a Tool for Estimating Information Leakage
T Chothia, Y Kawamoto, C Novakovic
統計的手法によるプログラムの定量的情報流解析
T Chothia, Y Kawamoto, C Novakovic
AN OFFLINE CAPTURE THE FLAG-STYLE VIRTUAL MACHINE FOR CYBER SECURITY EDUCATION
T Chothia, C Novakovic
The system can't perform the operation now. Try again later.
Articles 1–16