Eva Rose, Ph.D.
I am currently teaching as an adjunct professor at New York University
My research interests include: Program analysis, security and privacy guarantees, mobile systems.
- Eva Rose: Lightweight Bytecode Verification. Journal of
Automated Reasoning 31(3-4): 303-334 (2003).
The basic idea of this paper is included in J2ME and the JSR 202 proposal.
- Eva Rose, Kristoffer H. Rose: Java Access Protection through
Concurrency and Computation: Practice and Experience 13(13):
- Eva Rose: Linear-time Hierarchies for a Functional Language
Science of Computer Programming 32(1-3):
Vérification de Code d'Octet de la Machine Virtuelle
Java. Formalisation et Implantation. Ph.D. thesis,
Université Paris VII, 2002. Submitted version (in English)
available as Adobe PDF and gzip'd PostScript. Defended September
27, 2002, at ENS Cachan; defense slides available as Adobe PDF (in French).