Preface
A Syntactic Approach to Foundational Proof-Carrying Code*
A Trustworthy Proof Checker
Heap-Bounded Assembly Language
Lightweight Bytecode Verification
Trust and Partial Typing in Open Systems of Mobile Agents
Author Index to Volume 31
Subject Index to Volume 31
Contents to Volume 31