 |
Scientific Events |
Cassis International Workshop
Nice (France), March 8-11, 2005
Alexandre Frey and Eric Vétillard, invited speakers (session 1:
“Research trends in smart devices”): “Trusted Frameworks: from devices
to applications”.
Intech'Sophia Seminar
Sophia Antipolis (France), June 5, 2003
In
the context of the seminar named "Security on the Internet: is it
possible?" Vincent Prunet participated in a panel discussion on "NGSCB
(Next Generation Secure Computing Base): What infrastructure(s) for
better security on the Internet?"
See also: http://www-sop.inria.fr/intech/secure/index.htm
2002 IEEE Symposium on Security and Privacy
Oakland, CA (USA), May 12-15, 2002
Dominique Bolignano is a member of the Program Committee.
Dominique Bolignano, Chairman and CEO of Trusted Logic, is a member of
the IFIP WG 1.7, dedicated to the Theoretical Foundations of
Security Analysis and Design.
CARDIS '02
San Jose, CA (USA), November 20-22, 2002
Xavier Leroy is a member of the Program Committee.
2002 IEEE Symposium on Security and Privacy
Oakland, CA (USA), May 12-15, 2002
Dominique Bolignano is a member of the Program Committee.
ESOP 2002
Grenoble (France), April 6-14, 2002
Daniel Le Métayer was Chairman of the European Symposium on Programming.
UNU/IIST 10th Anniversary Colloquium
Lisbon (Portugal), March 18-21, 2002
Dominique Bolignano, invited speaker: "Some decisive uses of formal methods in security".
JSLC 2001
Grenoble (France), November 6-8, 2001
Daniel Le Métayer, invited speaker: "TL-FIT, a computer-aided
environment for products design and evaluation in the scope of Common
Criteria".
NordSec 2001
Copenhagen (DK), November 1-2, 2001
Dominique Bolignano, invited speaker: "New challenges in smart card security".
CAV'01
Paris, July 18-22, 2001
The 13th Conference on Computer Aided Verification is sponsored by Trusted Logic.
Xavier Leroy, invited speaker: "Java bytecode verification: an overview".
ESOP'2001 in ETAPS 2001
Genova (Italy), April 2-6, 2001
Daniel Le Métayer is a member of the Program Committee.
28th Annual ACM SIGPLAN - SIGACT
London, January 17-19, 2001
Symposium on Principles of Programming Languages (POPL' 01) is sponsored by Trusted Logic.
MEDEA
München (Germany), October 11-13, 2000
Conference on Embedded Systems Design.
Claire Loiseaux presents "Formal methods and security evaluation methodology applied to embedded software".
ASE'00
Grenoble (France), September 11-15, 2000
Renaud Marlet is Program Comittee member, Program Co-chairman of the doctoral symposium and presents:
"A DSL Approach to Improve Productivity and Safety in Device Drivers
Development", with L. Réveillère, F. Mérillon, C. Consel and G. Muller ;
"A Declarative Approach for Designing and Developing Adaptive Components" with P. Boinot, G. Muller and C. Consel (from IRISA).
Also,
at SIGOPS EW'00 - September 17-20, 2000 - Kolding (Denmark) - "Towards
Robust OSes for Appliances: A New Approach Based On Domain-Specific
Languages", with G. Muller, C. Consel, L. Porto Barreto, F. Mérillon
and L. Réveillère (from IRISA).
MOVEP'2k
Nantes (France), June 19-23, 2000
Dominique Bolignano, invited speaker on "Security for Distributed Systems".
Limerick (Ireland), June 4-11, 2000 - ICSE 2000
Daniel Le Métayer is a member of the Technical Program Committee.
AFADL'2000
Grenoble (France), January 26-28, 2000
Dominique Bolignano, invited speaker: "Méthodes Formelles et Sécurité Informatique".
Back to the top
