Software Manipulation with Annotations in Java. - Vincenzo Gervasi; Giacomo A. Galilei (Lipari Summer School, 2007)

Idea: Enforcing Consumer-Specified Security Properties for Modular Software. - Giacomo A. Galilei; Vincenzo Gervasi (ESSoS, 2010)