Chris Novakovic

According to our database, Chris Novakovic authored at least 11 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course.

Tom Chothia, Chris Novakovic, Andreea-Ina Radu, Richard James Thomas

Trans. Edutainment, 2019

Software Adaptation for an Unmanned Undersea Vehicle.

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

IEEE Softw., 2019

Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.

Chris Novakovic, David Parker

Proceedings of the Computer Security - ESORICS 2019, 2019

2015

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

Christopher Novakovic

PhD thesis, 2015

Calculating Quantitative Integrity and Secrecy for Imperative Programs.

Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh

Int. J. Secur. Softw. Eng., 2015

BrowserAudit: automated testing of browser security features.

Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Automatically Calculating Quantitative Integrity Measures for Imperative Programs.

Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh

Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

LeakWatch: Estimating Information Leakage from Java Programs.

Tom Chothia, Yusuke Kawamoto, Chris Novakovic

Proceedings of the Computer Security - ESORICS 2014, 2014

2013

Probabilistic Point-to-Point Information Leakage.

Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

A Tool for Estimating Information Leakage.

Tom Chothia, Yusuke Kawamoto, Chris Novakovic

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent.

Tom Chothia, Marco Cova, Chris Novakovic, Camilo González Toro

Proceedings of the Security and Privacy in Communication Networks, 2012