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