selected publications academic article What the heck is this application doing? – A security-by-contract architecture for pervasive services. Computers & Security. 28:566-577. 2009 conference paper A Security-by-Contract Architecture for Pervasive Services. . 2007 Usage Control Reference Monitor Architecture. . 2007