Joachim van den Berg

Publication Activity (10 Years)

Years Active: 1998-2012
Publications (10 Years): 0

Top Topics

Video Sequences

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Andrey Sidorenko, Joachim van den Berg, Remko Foekema, Michiel Grashuis, Jaap de Vos
Bellcore attack in practice. IACR Cryptol. ePrint Arch. 2012 (2012)
Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg
Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST (2002)
Erik Poll, Joachim van den Berg, Bart Jacobs
Formal specification of the JavaCard API in JML: the APDU class. Comput. Networks 36 (4) (2001)
Joachim van den Berg, Bart Jacobs
The LOOP Compiler for Java and JML. TACAS (2001)
Marieke Huisman, Bart Jacobs, Joachim van den Berg
A case study in class library verification: Java's vector class. Int. J. Softw. Tools Technol. Transf. 3 (3) (2001)
Erik Poll, Joachim van den Berg, Bart Jacobs
Specification of the JavaCard API in JML. CARDIS (2000)
Joachim van den Berg, Bart Jacobs, Erik Poll
Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop (2000)
Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT (1999)
Marieke Huisman, Bart Jacobs, Joachim van den Berg
A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops (1999)
Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum
Reasoning about Java Classes (Preliminary Report). OOPSLA (1998)