This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / mowgli / home / xml / people / trusted-logic / bolignano.xml

diff --git a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml b/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml
deleted file mode 100644 (file)
index 7b0d92c..0000000
--- a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml
+++ /dev/null
@@ -1,44 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-
-<!DOCTYPE person SYSTEM "../person.dtd">
-
-<person>
- <name>Dominique</name>
- <surname>Bolignano</surname>
- <position>Chairman and Chief Executive Officer of Trusted Logic</position>
- <position>Part-time Full Professor at the Université Paris-Dauphine</position>
- <!-- <e-mail>Dominique.Bolignano@trusted-logic.fr</e-mail> -->
- <e-mail>mowgli@trusted-logic.fr</e-mail>
- <curriculum>
-  <p>Dominique Bolignano is Chairman and Chief Executive Officer of
-     Trusted Logic. He also teaches security and languages as a part-time
-     full professor (Professeur Associé) at the Université Paris-Dauphine.
-     From 1996 to 1999,  Dominique Bolignano worked with Dyade, a joint
-     venture between Bull and INRIA (French National Research Institute
-     in Computer Science and Control), as Director, Responsible for
-     technology transfer in security, electronic commerce, and smart cards,
-     and Project Director in the following areas : formal verification of
-     electronic commerce protocols (and more generally cryptographic protocols),
-     evaluation or design of security architectures  (mainly for secure
-     embedded systems, such as smart cards, payment terminals, GSM phones,
-     etc.), development of highly secure Java Virtual Machines (Bull Odyssey
-     JavaCard, payment terminals), formal methods for ITSEC and Common
-     Criteria security evaluations (participation to various security
-     evaluations including some on smart cards operating systems).
-     Before that, Dominique Bolignano was the head of a research group
-     in the Corporate Research Centre of Bull and he has acquired, from
-     1982 to 1996, a deep experience in industry software development and
-     formal verification systems (distributed systems, security protocols).
-     Dominique Bolignano takes part in the Java Card Forum. He also is a
-     Member of the newly created IFIP Working group on Foundations of Security
-     Analysis and Design. He has been an invited speaker at MFPS'98, CAV'99,
-     CARI'98, CIRM'98, JFMM'98, RTCS'96, Cartier'96, FemSys'97, and to many
-     security or formal methods symposia and presented invited tutorials at
-     Forte'98, Cartier'96, Forte'93. Dominique Bolignano also acted as a PhD
-     advisor, as a reviewer and evaluator for European Community programs.
-     He is a reviewer in several journals (Journal of Theoretical
-     Computer Science (TCS), TSI, ...) and has been a reviewer and/or
-     a member of the Program Committee in international
-     conferences (SESS'93, FME'96,VDM 91 et FORTE 92, SaS'94, ...)</p>
- </curriculum>
-</person>