Ensuring the Integrity of Agent-Based Computations by Short Proofs

Secure Data Collection with Updates

Electronic Commerce Research - Special issue on agents in electronic commerce

(How) can mobile agents do secure electronic transactions on untrusted hosts? A survey of the security issues and the current solutions

ACM Transactions on Internet Technology (TOIT)

Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming

Protecting General Flexible Itineraries of Mobile Agents

ICISC '01 Proceedings of the 4th International Conference Seoul on Information Security and Cryptology

Extending tamper-proof hardware security to untrusted execution environments

CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5

Succinct NP Proofs from an Extractability Assumption

CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms

An improved execution integrity solution for mobile agents

ACISP'05 Proceedings of the 10th Australasian conference on Information Security and Privacy

Delegation for bounded space

Proceedings of the forty-fifth annual ACM symposium on Theory of computing