Pierre Bieber Jacques Cazin A. El Marouani Pierre Girard Jean-Louis Lanet Virginie Wiels Guy Zanon The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. 25-37 2000 conf/javacard/2000 Java Card Workshop http://link.springer.de/link/service/series/0558/bibs/2041/20410025.htm db/conf/javacard/javacard2000.html#BieberCMGLWZ00