Search the dblp DataBase

Publications of Author

1. Jean-Louis Lanet, Antoine Requet
   Formal Proof of Smart Card Applets Correctness. [Citation Graph (0, 0)][DBLP]
   CARDIS, 1998, pp:85-97 [Conf]
   
2. Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
   Enforcing High-Level Security Properties for Applets. [Citation Graph (0, 0)][DBLP]
   CARDIS, 2004, pp:1-16 [Conf]
   
3. Ludovic Casset, Jean-Louis Lanet
   How to Formally Specify the Java Bytecode Semantivs Using the B Method. [Citation Graph (0, 0)][DBLP]
   ECOOP Workshops, 1999, pp:104-105 [Conf]
   
4. Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle
   FACADE: A Typed Intermediate Language Dedicated to Smart Cards. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 1999, pp:476-493 [Conf]
   
5. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
   Checking Secure Interactions of Smart Card Applets. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2000, pp:1-16 [Conf]
   
6. Jean-Louis Lanet
   A Load Balancing Task Allocation Scheme in a Hard Real Time System. [Citation Graph (0, 0)][DBLP]
   Euro-Par, Vol. II, 1996, pp:640-643 [Conf]
   
7. Lilian Burdy, Antoine Requet, Jean-Louis Lanet
   Java Applet Correctness: A Developer-Oriented Approach. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:422-439 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   Java Card Workshop, 2000, pp:25-37 [Conf]
   
9. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
   Case Study in JML-Based Software Validation. [Citation Graph (0, 0)][DBLP]
   ASE, 2004, pp:294-297 [Conf]
   
10. Jean-Louis Lanet
    Are Smart Cards the Ideal Domain for Applying Formal Methods? [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:363-373 [Conf]
    
11. Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
    Electronic Purse Applet Certification: extended abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
    
12. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
    Checking Secure Interactions of Smart Card Applets: Extended Version. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2002, v:10, n:4, pp:369-398 [Journal]
    
13. 
    Automatic detection of fault attack and countermeasures. [Citation Graph (, )][DBLP]
    
    
14. 
    JACK - A Tool for Validation of Security and Behaviour of Java Applications. [Citation Graph (, )][DBLP]
    
    
15. 
    Increasing smart card dependability. [Citation Graph (, )][DBLP]