@inproceedings{inc-acc-wits06,
author = {E.~Albert and P.~Arenas and G.~Puebla},
booktitle = {Sixth Workshop on Issues in the Theory of Security},
month = {March},
npages = {16},
title = {Incremental {C}ertificates and {C}heckers for {A}bstraction-{C}arrying {C}ode},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2006}
}