selected publications

• academic article

  • A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System.  The Computer Journal.  61:1109-1122. 2018
  • Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study.  arXiv (Cornell University).  2014

• chapter

  • A Formal Approach to Automatic Testing of Security Policies Specified in XACML.  Lecture notes in computer science. 367-374. 2015

• conference paper

  • On Modeling and Testing Security Properties of Vehicular Networks.  . 42-50. 2014