E. Rose

Towards Secure Bytecode Verification on a Java Card

Eva Rose, E. Rose, 1998 .

Linear Time Hierarchies for a Functional Language Machine Model

Eva Rose, E. Rose, 1996, ESOP.

Lightweight Bytecode Verification

Eva Rose, E. Rose, 2004, Journal of Automated Reasoning.

Vérification de code d'octet de la machine virtuelle Java : formalisation et implantation

Eva Rose, E. Rose, 2002 .