Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Erik Poll

Malicious Code on Java Card Smartcards: Attacks and Countermeasures

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

English

Specification of the Javacard API in JML

English