Kevin Falzon

According to our database1, Kevin Falzon
  • authored at least 7 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
On the Use of Migration to Stop Illicit Channels.
PhD thesis, 2017

2016
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015
Dynamically Provisioning Isolation in Hierarchical Architectures.
Proceedings of the Information Security - 18th International Conference, 2015

2013
How Useful Are Existing Monitoring Languages for Securing Android Apps?
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.
Proceedings of the Runtime Verification - 4th International Conference, 2013

2012
Combining Testing and Runtime Verification Techniques.
Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

Delta-Oriented Monitor Specification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012


  Loading...