Jean-Louis Lanet

2006
16		Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Springer 2006
15	EE	Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174
2005
14		Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Springer 2005
2004
13	EE	Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Case Study in JML-Based Software Validation. ASE 2004: 294-297
12		Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet: Enforcing High-Level Security Properties for Applets. CARDIS 2004: 1-16
2003
11	EE	Lilian Burdy, Antoine Requet, Jean-Louis Lanet: Java Applet Correctness: A Developer-Oriented Approach. FME 2003: 422-439
2002
10	EE	Ludovic Casset, Jean-Louis Lanet: Increasing smart card dependability. ACM SIGOPS European Workshop 2002: 209-212
9		Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets: Extended Version. Journal of Computer Security 10(4): 369-398 (2002)
2000
8	EE	Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets. ESORICS 2000: 1-16
7	EE	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. Java Card Workshop 2000: 25-37
6	EE	Jean-Louis Lanet: Are Smart Cards the Ideal Domain for Applying Formal Methods? ZB 2000: 363-373
5	EE	Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet: Electronic Purse Applet Certification: extended abstract. Electr. Notes Theor. Comput. Sci. 32: (2000)
1999
4		Ludovic Casset, Jean-Louis Lanet: How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops 1999: 104-105
3	EE	Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle: FACADE: A Typed Intermediate Language Dedicated to Smart Cards. ESEC / SIGSOFT FSE 1999: 476-493
1998
2		Jean-Louis Lanet, Antoine Requet: Formal Proof of Smart Card Applets Correctness. CARDIS 1998: 85-97
1996
1		Jean-Louis Lanet: A Load Balancing Task Allocation Scheme in a Hard Real Time System. Euro-Par, Vol. II 1996: 640-643

Coauthor Index

1	Gilles Barthe	[12] [14] [15] [16]
2	Pierre Bieber	[5] [7] [8] [9]
3	Lydie du Bousquet	[13]
4	Lilian Burdy	[11] [12] [14] [15]
5	Ludovic Casset	[4] [10]
6	Jacques Cazin	[5] [7] [8] [9]
7	Julien Charles	[15]
8	Pierre Girard	[5] [7] [8] [9]
9	Benjamin Grégoire	[15] [16]
10	Gilles Grimaud	[3]
11	Marieke Huisman	[12] [14] [15] [16]
12	Yves Ledru	[13]
13	A. El Marouani	[7]
14	Olivier Maury	[13]
15	Traian Muntean	[14]
16	Catherine Oriat	[13]
17	Mariela Pavlova	[12] [15]
18	Antoine Requet	[2] [11] [15]
19	Jean-Jacques Vandewalle	[3]
20	Virginie Wiels	[5] [7] [8] [9]
21	Guy Zanon	[5] [7] [8] [9]

Colors in the list of coauthors