Chris Novakovic

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 3

Top Topics

Qualitative And Quantitative

Information Leakage

International Competition

Top Venues

Int. J. Secur. Softw. Eng.

Publications

Avi Pfeffer, Curt Wu, Gerald Fry, Kenny Lu, Steve Marotta, Michael Reposa, Yuan Shi, T. K. Satish Kumar, Craig A. Knoblock, David Parker, Irfan Muhammad, Chris Novakovic
Software Adaptation for an Unmanned Undersea Vehicle. IEEE Softw. 36 (2) (2019)
Chris Novakovic, David Parker
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. ESORICS (1) (2019)
Tom Chothia, Chris Novakovic, Andreea-Ina Radu, Richard J. Thomas
Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course. Trans. Edutainment 15 (2019)
Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic
BrowserAudit: automated testing of browser security features. ISSTA (2015)
Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh
Calculating Quantitative Integrity and Secrecy for Imperative Programs. Int. J. Secur. Softw. Eng. 6 (2) (2015)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic
LeakWatch: Estimating Information Leakage from Java Programs. ESORICS (2) (2014)
Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh
Automatically Calculating Quantitative Integrity Measures for Imperative Programs. DPM/SETOP/QASA (2014)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic
A Tool for Estimating Information Leakage. CAV (2013)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker
Probabilistic Point-to-Point Information Leakage. CSF (2013)
Tom Chothia, Marco Cova, Chris Novakovic, Camilo González Toro
The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent. SecureComm (2012)