The SCEAS System
Navigation Menu

Search the dblp DataBase


Jean-Louis Lanet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.019secs, Finished in 0.020secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002