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