Amir Herzberg Haya Shulman Amitabh Saxena Bruno Crispo Towards a Theory of White-Box Security. 342-352 2009 SEC http://dx.doi.org/10.1007/978-3-642-01244-0_30 conf/sec/2009 db/conf/sec/sec2009.html#HerzbergSSC09