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