Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

• Authors:

• Gilles Barthe;Lilian Burdy;Marieke Huisman;Jean-Louis Lanet;Traian Muntean

• Affiliations:

• IMDEA Software, Madrid, Spain;INRIA Sophia Antipolis, Madrid, France;INRIA Sophia Antipolis, Madrid, France;Gemalto, Madrid, France;Ecole Supérieure D'Ingénieurs de Luminy - Case 925 - ESIL Parc Scientifique, Université de la Méditerranée, Marseille, France

• Venue:
• CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
• Year:
• 2004