Chris Novakovic

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course.
Trans. Edutainment, 2019

Software Adaptation for an Unmanned Undersea Vehicle.
IEEE Softw., 2019

Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.
Proceedings of the Computer Security - ESORICS 2019, 2019

2015
Computing and estimating information leakage with a quantitative point-to-point information flow model.
PhD thesis, 2015

Calculating Quantitative Integrity and Secrecy for Imperative Programs.
Int. J. Secur. Softw. Eng., 2015

BrowserAudit: automated testing of browser security features.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014
Automatically Calculating Quantitative Integrity Measures for Imperative Programs.
Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

LeakWatch: Estimating Information Leakage from Java Programs.
Proceedings of the Computer Security - ESORICS 2014, 2014

2013
Probabilistic Point-to-Point Information Leakage.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

A Tool for Estimating Information Leakage.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent.
Proceedings of the Security and Privacy in Communication Networks, 2012


  Loading...