The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. - Pierre Bieber; Jacques Cazin; A. El Marouani; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (Java Card Workshop, 2000)