Secure Self-certified Code for Java. - Mourad Debbabi; Josée Desharnais; M. Fourati; E. Menif; Frédéric Painchaud; Nadia Tawbi (FASec, 2002)