Kevin Falzon

According to our database, Kevin Falzon authored at least 7 papers between 2012 and 2017.

Collaborative distances:

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

2017

On the Use of Migration to Stop Illicit Channels.

Kevin Falzon

PhD thesis, 2017

2016

Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.

Kevin Falzon, Eric Bodden

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015

Dynamically Provisioning Isolation in Hierarchical Architectures.

Kevin Falzon, Eric Bodden

Proceedings of the Information Security - 18th International Conference, 2015

2013

How Useful Are Existing Monitoring Languages for Securing Android Apps?

Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Distributed Finite-State Runtime Monitoring with Aggregated Events.

Kevin Falzon, Eric Bodden, Rahul Purandare

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Combining Testing and Runtime Verification Techniques.

Kevin Falzon, Gordon J. Pace

Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

Delta-Oriented Monitor Specification.

Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012