1 <?xml version="1.0" encoding="iso-8859-1"?>
3 <!DOCTYPE person SYSTEM "../person.dtd">
7 <surname>Bolignano</surname>
8 <position>Chairman and Chief Executive Officer of Trusted Logic</position>
9 <position>Part-time Full Professor at the Université Paris-Dauphine</position>
10 <e-mail>Dominique.Bolignano@trusted-logic.fr</e-mail>
12 <p>Dominique Bolignano is Chairman and Chief Executive Officer of
13 Trusted Logic. He also teaches security and languages as a part-time
14 full professor (Professeur Associé) at the Université Paris-Dauphine.
15 From 1996 to 1999, Dominique Bolignano worked with Dyade, a joint
16 venture between Bull and INRIA (French National Research Institute
17 in Computer Science and Control), as Director, Responsible for
18 technology transfer in security, electronic commerce, and smart cards,
19 and Project Director in the following areas : formal verification of
20 electronic commerce protocols (and more generally cryptographic protocols),
21 evaluation or design of security architectures (mainly for secure
22 embedded systems, such as smart cards, payment terminals, GSM phones,
23 etc.), development of highly secure Java Virtual Machines (Bull Odyssey
24 JavaCard, payment terminals), formal methods for ITSEC and Common
25 Criteria security evaluations (participation to various security
26 evaluations including some on smart cards operating systems).
27 Before that, Dominique Bolignano was the head of a research group
28 in the Corporate Research Centre of Bull and he has acquired, from
29 1982 to 1996, a deep experience in industry software development and
30 formal verification systems (distributed systems, security protocols).
31 Dominique Bolignano takes part in the Java Card Forum. He also is a
32 Member of the newly created IFIP Working group on Foundations of Security
33 Analysis and Design. He has been an invited speaker at MFPS'98, CAV'99,
34 CARI'98, CIRM'98, JFMM'98, RTCS'96, Cartier'96, FemSys'97, and to many
35 security or formal methods symposia and presented invited tutorials at
36 Forte'98, Cartier'96, Forte'93. Dominique Bolignano also acted as a PhD
37 advisor, as a reviewer and evaluator for European Community programs.
38 He is a reviewer in several journals (Journal of Theoretical
39 Computer Science (TCS), TSI, ...) and has been a reviewer and/or
40 a member of the Program Committee in international
41 conferences (SESS'93, FME'96,VDM 91 et FORTE 92, SaS'94, ...)</p>