Mariusz H. Jakubowski Chit Wei Saw Ramarathnam Venkatesan Tamper-Tolerant Software: Modeling and Implementation. 125-139 2009 IWSEC http://dx.doi.org/10.1007/978-3-642-04846-3_9 conf/iwsec/2009 db/conf/iwsec/iwsec2009.html#JakubowskiSV09