Sergio Maffeis Martín Abadi Cédric Fournet Andrew D. Gordon Code-Carrying Authorization. 563-579 2008 ESORICS http://dx.doi.org/10.1007/978-3-540-88313-5_36 conf/esorics/2008 db/conf/esorics/esorics2008.html#MaffeisAFG08