Login / Signup
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Mads Dam
Andreas Lundblad
Published in:
CoRR (2010)
Keyphrases
</>
java bytecode
database
java virtual machine