Search the dblp DataBase
Jean-Louis Lanet :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jean-Louis Lanet , Antoine Requet Formal Proof of Smart Card Applets Correctness. [Citation Graph (0, 0)][DBLP ] CARDIS, 1998, pp:85-97 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Jean-Louis Lanet Are Smart Cards the Ideal Domain for Applying Formal Methods? [Citation Graph (0, 0)][DBLP ] ZB, 2000, pp:363-373 [Conf ] 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 ] 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 ] Automatic detection of fault attack and countermeasures. [Citation Graph (, )][DBLP ] JACK - A Tool for Validation of Security and Behaviour of Java Applications. [Citation Graph (, )][DBLP ] Increasing smart card dependability. [Citation Graph (, )][DBLP ] Search in 0.013secs, Finished in 0.014secs