X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Ftrusted-logic%2Fbolignano.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Ftrusted-logic%2Fbolignano.xml;h=0000000000000000000000000000000000000000;hp=7b0d92c7d6e348541bdb0cfe679bd9c5857f5cf2;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff 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 index 7b0d92c7d..000000000 --- a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml +++ /dev/null @@ -1,44 +0,0 @@ - - - - - - Dominique - Bolignano - Chairman and Chief Executive Officer of Trusted Logic - Part-time Full Professor at the Université Paris-Dauphine - - mowgli@trusted-logic.fr - -

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, ...)

- -