A portable virtual machine target for proof-carrying code

DOI10.1016/J.SCICO.2004.09.001zbMath1101.68444OpenAlexW4213208775MaRDI QIDQ2566229

Deepak Chandra, Andreas Gal, Michael Franz, Christian W. Probst, Ning Wang, Fermín Reig, Vivek Haldar

Publication date: 22 September 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.09.001

zbMATH Keywords

Proof-carrying codeVirtual machinesDynamic (just-in-time) compilationSafe mobile code

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

This page was built for publication: A portable virtual machine target for proof-carrying code