Kevin Falzon

Kevin Falzon

Contact

My email is: name . surname @ crisp-da.de (no spaces)

Publications

2016

Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels, with Eric Bodden, in the 5th International Conference on Principles of Security and Trust (POST 2016) (Frank Piessens and Luca Viganò), pages 116-138, Volume 9635 of Lecture Notes in Computer Science, Springer International Publishing, 2016. (PDF) (Bibtex)

2015

Dynamically Provisioning Isolation in Hierarchical Architectures, with Eric Bodden, in the 18th Information Security Conference (ISC 2015) (Javier Lopez and Chris J. Mitchell), pages 83-101, Volume 9290 of Lecture Notes in Computer Science, Springer International Publishing, 2015. (PDF) (Bibtex) (Slides) (won best student paper award)

2013

Distributed Finite-State Runtime Monitoring with Aggregated Events, with Eric Bodden and Rahul Purandare, in Runtime Verification (Axel Legay, Saddek Bensalem, eds.), pages 94-111, Volume 8174 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013. (PDF) (Bibtex)

How useful are existing monitoring languages for securing Android apps?, with Steven Arzt, Andreas Follner, Siegfried Rasthofer, Eric Bodden and Volker Stolz, in 6. Arbeitstagung Programmiersprachen (ATPS 2013), GI Lecture Notes in Informatics, Gesellschaft für Informatik, 2013.

2012

Combining Testing and Runtime Verification Techniques, with Gordon Pace, in the Proceedings of 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES'12), Germany, LNCS, 2012. (PDF)

Delta-oriented Monitor Specification, with Eric Bodden, Ka I Pun and Volker Stolz, In 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Springer, 2012. (PDF) (Bibtex)

2011

Combining Runtime Verification and Testing, Master's thesis, University of Malta, 2011. (PDF) (Bibtex)