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  <e-mail>mowgli@trusted-logic.fr</e-mail>
  12  <curriculum>
  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>
  43  </curriculum>
  44 </person>