Chris Novakovic

Probabilistic Point-to-Point Information Leakage

Tom Chothia, David Parker, Yusuke Kawamoto, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.

BrowserAudit: automated testing of browser security features

Sergio Maffeis, Chris Novakovic, Charlie Hothersall-Thomas, 2015, ISSTA.

Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems

David Parker, Chris Novakovic, D. Parker, 2019, ESORICS.

An Offline Capture The Flag-Style Virtual Machine and an Assessment of Its Value for Cybersecurity Education

Tom Chothia, Chris Novakovic, Tom Chothia, 2015 .

Computing and estimating information leakage with a quantitative point-to-point information flow model

Christopher Novakovic, Chris Novakovic, 2015 .

Calculating Quantitative Integrity and Secrecy for Imperative Programs

Rajiv Ranjan Singh, Tom Chothia, Chris Novakovic, 2015, Int. J. Secur. Softw. Eng..

Automatically Calculating Quantitative Integrity Measures for Imperative Programs

Rajiv Ranjan Singh, Tom Chothia, Chris Novakovic, 2014, DPM/SETOP/QASA.