author : J. Desharnais

Short works

• Secure self-certified code for Java. 2003. (In Formal Aspects of Security )