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 Security-by-Contract-with-Trust for Mobile Devices. 75-91. 2010 A Security-by-Contract Architecture for Pervasive Services. . 2007