helm/mowgli/home/xml/people/trusted-logic/bolignano.xml

   1 <?xml version="1.0" encoding="iso-8859-1"?>
   2
   3 <!DOCTYPE person SYSTEM "../person.dtd">
   4
   5 <person>
   6  <name>Dominique</name>
   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  <curriculum>
  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>
  42  </curriculum>
  43 </person>