Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes.
|
|
- Jean-Luc Barbeau
- il y a 8 ans
- Total affichages :
Transcription
1 Vincent Cheval School of Computing University of Kent Canterbury, CT2 7NF, UK +44 (0) (0) homepage: vc218/web Nationalité : Française 2015 Present Curriculum Vitae Lecturer, School of Computing, University of Kent, Canterbury,UK Post-doctorant, Laboratoire lorrain de recherche en informatique et ses applications, Nancy, FR Post-doctorant, University of Birmingham, Birmingham, UK Doctorant, Laboratoire Spécification et Vérification (LSV), ENS Cachan & CNRS, Cachan, FR. Automatic verification of cryptographic protocols: privacy-type properties Co-encadré par Hubert Comon-Lundh et Stéphanie Delaune Soutenue le 3 décembre 2012, mention très honorable Normalien, École Normale Supérieure de Cachan, Cachan. 2009: Master en informatique, Master Parisien de Recherche en Informatique, mention bien 2007: Licence en informatique, mention très bien Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes. Thématiques Outils Activités de recherche Vérification automatique de protocoles cryptographiques applications: gestion de certificats, protocoles RFID, vote électronique, s sécurisés, etc. propriétés d équivalence: anonymat, respect de la vie privée, non-traçabilité, secret fort, etc. Participation aux développement de trois outils. APTE: Unique développeur de APTE (langage Ocaml, environ lignes), le premier outil qui peut décider l équivalence de trace entre protocoles potentiellement non-déterministe, contenant potentiellement des branches else, et pour un nombre borné de sessions. Url de l outil : fr/apte/
2 ProVerif: Participation au développement d une extension de ProVerif (langage Ocaml) qui permet à ProVerif de prouver plus d équivalences observationelles. Url de l outil: bblanche/proverif/ Adecs: Unique développer de Adecs (langage Ocaml, environ 6000 lignes), un outil qui peut décider de l équivalence symbolique entre deux systèmes de contraintes. Url de l outil : Publications Revues internationales avec comité de lecture [J1] Vincent Cheval, Véronique Cortier, and Stéphanie Delaune. Deciding equivalence-based properties using constraint solving. In: Theoretical Computer Science 492 (June 2013), pages Conférences internationales avec comité de lecture [C1] [C2] [C3] [C4] [C5] [C6] [C7] Myrto Arapinis, Vincent Cheval, and Stéphanie Delaune. Composing security protocols: from confidentiality to privacy. In: Proceedings of the 4th International Conference on Principles of Security and Trust (POST 15). Lecture Notes in Computer Science. To appear. Springer Berlin Heidelberg, Vincent Cheval and Véronique Cortier. Timing attacks: symbolic framework and proof techniques. In: Proceedings of the 4th International Conference on Principles of Security and Trust (POST 15). Lecture Notes in Computer Science. To appear. Springer Berlin Heidelberg, Vincent Cheval. APTE: an Algorithm for Proving Trace Equivalence. In: Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 14). Lecture Notes in Computer Science. Springer Berlin Heidelberg, Vincent Cheval, Stéphanie Delaune, and Mark Ryan. Tests for establishing security properties. In: Revised Selected Papers of the 9th International Symposium on Trustworthy Global Computing (TGC 14). Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2014, pages Vincent Cheval and Bruno Blanchet. Proving More Observational Equivalences with ProVerif. In: Proceedings of the 2nd International Conference on Principles of Security and Trust (POST 13). Volume Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013, pages Vincent Cheval, Véronique Cortier, and Antoine Plet. Lengths may break privacy or how to check for equivalences with length. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV 13). Volume Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013, pages Myrto Arapinis, Vincent Cheval, and Stéphanie Delaune. Verifying privacy-type properties in a modular way. In: Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 12). IEEE Computer Society Press, 2012, pages
3 [C8] [C9] Vincent Cheval, Hubert Comon-Lundh, and Stéphanie Delaune. Trace Equivalence Decision: Negative Tests and Non-determinism. In: Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS 11). ACM Press, 2011, pages Vincent Cheval, Hubert Comon-Lundh, and Stéphanie Delaune. Automating security analysis: symbolic equivalence of constraint systems. In: Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 10). Volume Lecture Notes in Artificial Intelligence. Springer-Verlag, 2010, pages Autres publications [A1] [A2] [A3] Vincent Cheval. Automatic verification of cryptographic protocols: privacy-type properties. Thèse de doctorat. Laboratoire Spécification et Vérification, ENS Cachan, France, December Vincent Cheval. Algorithme de décision de l équivalence symbolique de systèmes de contraintes. Rapport de Master. Master Parisien de Recherche en Informatique, Paris, France, September Vincent Cheval, Hubert Comon-Lundh, and Stéphanie Delaune. A decision procedure for proving observational equivalence. In: Preliminary Proceedings of the 7th International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo 09) Rapports [R1] [R2] [R3] Vincent Cheval, Stéphanie Delaune, and Hubert Comon-Lundh. A procedure for deciding symbolic equivalence between sets of constraint systems. In: Information and Computation (2015). Submitted. Rohit Chadha, Vincent Cheval, and Ştefan Ciobâcă. Automated verification of equivalence properties of cryptographic protocols Vincent Cheval, Mark Ryan, and Jiangshan Yu. DTKI: Distributed transparent key infrastructure Collaborations & visites 2014 Une année post-doctorale au Laboratoire lorrain de recherche en informatique et ses applications (France), dans l équipe CASSIS de Michaël Rusinowitch Une année post-doctorale à l University of Birmingham (UK), dans l équipe de Mark Ryan Plusieurs séjours courts au LORIA (Nancy, France) dans l équipe CASSIS en collaboration avec Véronique Cortier Séjour de trois mois de septembre à décembre 2011 à École Normale Supérieure de Paris sous la direction de Bruno Blanchet et plusieurs visites à INRIA Paris- Rocquencourt en 2012 pour collaborer avec Bruno Blanchet Séjour de trois mois de avril à juin dans le laboratoire AIST de Tokyo, Japon, durant mon stage de master. Enseignement Cours et travaux pratiques à École Normale Supérieure de Cachan.
4 Cours de programmation pour la préparation à l agrégation. (64H) 2010 Programmation en JAVA (16H) 2010 TP programmation - Dpt. électronique électrotechnique automatique (16H) Projet programmation - Licence 3 Dpt. informatique(32h) Encadrement d étudiants Janvier Avril 2014 Étudiant en thèse Jiangshan Yu, Improving Public Key Certification Systems (co-encadré avec Mark Ryan Diffusion de l information scientifique 2013 Découverte d une nouvelle attaque sur les protocoles du passeport électronique. Article dans le Journal du CNRS, Septembre-Octobre 2013, numéro 274, page 9, Encadré dans Pour la Science, numéro spécial sur le Big-bang numérique, Novembre 2013, numéro 433, page 77 Exposés et séminaires Plusieurs exposés dans les groupes de travail au LSV et à l University of Birmingham. Année septembre Conférence TGC 2014, Roma, Italy - Tests for establishing security properties 11 avril Conférence TACAS 2014, Grenoble, France - APTE: an Algorithm for Proving Trace Equivalence 5 avril Workshop HotSpot 2014, Grenoble, France - Timing attacks: symbolic framework and proof techniques 2 avril Séminaire LORIA, Nancy, France DTKI, a new formalised PKI with no trusted parties Année mars Conférence POST 2013, Rome, Paris - Proving more observational equivalences with ProVerif 22 février Seminaire INRIA Paris-Rocquencourt, Paris, France - Automatic tools to prove privacy-type properties 5 février Second Workshop on Formal Methods And Tools for Security (FMATS2), Cambridge, UK - 5 min talk : Tools for proving equivalence. Année octobre ANR project meeting ProSe, Paris, France - Verifying privacy-type properties in a modular way. 26 juillet Seminaire School of Computer Science, University of Birmingham, Birmingham, UK - Proving more observational equivalences with ProVerif.
5 25 juin Conférence CSF 2012, Harvard University, Cambridge MA, USA - Verifying privacytype properties in a modular way. Année novembre Seminaire LORIA, Nancy, France - Decision procedure for trace equivalence. 18 octobre Conférence CCS 2011, Chicago, IL, USA - Decision procedure for trace equivalence. 13 octobre Seminaire LIENS, Paris, France - Decision procedure for trace equivalence. 5 septembre Workshop SecCo 2011, Aachen, Germany - Decision procedure for trace equivalence. 27 juin Conférence CSF 2011, Vaux de Cernay, France - 5 min talk : Decision procedure for trace equivalence. Année décembre Réunion générale du projet ANR AVOTE, Cachan, France - A decision procedure for proving trace equivalence (Work in progress) 19 juillet Conférence IJCAR, Edimbourg, Scotland - A decision procedure for proving symbolic equivalence. 18 juin Workshop SeCret 2010, Valence, Spain - A decision procedure for proving symbolic equivalence. Workshops et conférences Comités de programme 5th Workshop on Formal Methods for Security (FMS), Tunis, Tunisia, 23 juin, rd CryptoForma workshop, Royal Holloway University of London, 12 septembre, 2013 Organisation de conférence Membre du comité d organisation du 24th IEEE Computer Security Foundations Symposium (CSF 11) (90 participants), Juin 2011 Relecture d articles Rapports de lecture pour les conférences suivantes : CCS 2011, FOSSACS 2013, CSF 2013, CCS 2013, POST 2014,CCS 2014, CSF 2014, ESORICS 2014, FMS 2014, ICALP 2014, HotSpot 2014,STM 2014, POST 2015, AsiaCCS 2015 Rapports de lecture pour les journaux suivants : Journal of Automated Reasoning, Journal of Symbolic Computation, Journal of Computer Security Responsabilités administratives 2013 Organisateur du séminaire de sécurité à School of Computer Science, University of Birmingham 2012 Développement de la base de données et l API web pour les ressources humaines du Laboratoire Spécification et Vérification. Compétence en programmation Basique python
6 Intermédaire Avancée PHP, html, java, FStar Ocaml, C, C++, L A TEX Langue Français Langue maternelle Anglais Avancé Parle couramment
Curriculum Vitae 1 er février 2008
Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57
Plus en détailLes protocoles cryptographiques: sommes-nous bien protégés?
Les protocoles cryptographiques: sommes-nous bien protégés? Stéphanie Delaune LSV, CNRS & ENS Cachan, France Jeudi 26 Juin 2014 S. Delaune (LSV) Les protocoles cryptographiques 26 Juin 2014 1 / 28 Cryptographic
Plus en détailCURRICULUM VITAE. Informations Personnelles
CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba
Plus en détailUne méthode d apprentissage pour la composition de services web
Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,
Plus en détailAnnexe 8. Documents et URL de référence
Documents et URL de référence Normes et standards Normes ANSI ANSI X9.30:1-1997, Public Key Cryptography for the Financial Services Industry: Part 1: The Digital Signature Algorithm (DSA) (revision of
Plus en détailUniversité Abou-Bekr Belkaid Tlemcen Faculté des Sciences Economiques et de Gestion. BENBOUZIANE Mohamed
Université Abou-Bekr Belkaid Tlemcen Faculté des Sciences Economiques et de Gestion CV BENBOUZIANE Mohamed Nom : BENBOUZIANE Prénom : Mohamed Date et Lieu de Naissance : 04/ 12/ 1963 à Honaine Tlemcen-
Plus en détailCurriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard
Emmanuel Hebrard Adresse 5 Tuckey Street Cork, Ireland emmanuel.hebrard@gmail.com http ://4c.ucc.ie/ ehebrard/home.html Adresse Professionnelle Cork Constraint Computation Centre Cork, Ireland Telephone
Plus en détailOffre de thèse. Co-encadrant de thèse : HENRY Sébastien Coordonnées électroniques : Sébastien.Henry@univ-lyon1.fr Laboratoire : DISP (www.disp-lab.
Offre de thèse 1. Profil recherché Issu d une formation d ingénieur ou d un master, le candidat disposera idéalement des compétences dans les domaines suivants : Pilotage des systèmes de production. Systèmes
Plus en détailSécurisation du stockage de données sur le Cloud Michel Kheirallah
Sécurisation du stockage de données sur le Cloud Michel Kheirallah Introduction I Présentation du Cloud II Menaces III Exigences de sécurité IV Techniques de sécurisation 2 26/02/2015 Présentation du Cloud
Plus en détailJSPS Strasbourg Office http://jsps.u-strasbg.fr/
Japan Society for the Promotion of Science s International Programs JSPS Strasbourg Office http://jsps.u-strasbg.fr/ 1 Postdoctoral Fellowships For Post-doc research in Japan Long-Term Program Duration
Plus en détailMesure et modélisation de l énergie logicielle
Mesure et modélisation de l énergie logicielle Adel Noureddine, Romain Rouvoy, Lionel Seinturier Green Days @ Lille 29 novembre 2013 Plan Contexte! Problèmes et limitations! Mesure énergétique des logiciels
Plus en détailL INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009
1 L INRIA, institut français des STIC (en Île-de-France) 24 septembre 2009 Institut National de Recherche en Informatique et en Automatique 2 Institut dédié aux Sciences et Technologies de l Information
Plus en détailMaster (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)
Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/
Plus en détailSemestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016
Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation
Plus en détailEfficient Object Versioning for Object- Oriented Languages From Model to Language Integration
Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés
Plus en détailYoussef LYHYAOUI Ingénieur Java/J2EE, SOA, ESB, Web services 31 ans Statut : Indépendant SITUATION ACTUELLE
Youssef LYHYAOUI Ingénieur Java/J2EE, SOA, ESB, Web services 31 ans Statut : Indépendant Adresse Personnelle : 3, allée du Roussillon 91300 Massy Téléphone : (+33) 06 78 37 34 82 E-mail : youssef.lyhyaoui@spartup.com
Plus en détailListe de conférences et revues Thème Com A
Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont
Plus en détailCURRICULUM VITAE. Célibataire
CURRICULUM VITAE MOIZEAU Fabien Adresse domicile : 25 rue Saint-Rome 31000 Toulouse Tél :05-61-21-96-45 33 ans Célibataire Adresse professionnelle : GREMAQ, Université des sciences sociales Toulouse 1
Plus en détailPoursuivre ses études à l'université de Rouen Masters professionnels en Informatique et en Mathématiques. UFR Sciences et Techniques 20-03-2014 1/18
Poursuivre ses études à l'université de Rouen Masters professionnels en Informatique et en Mathématiques UFR Sciences et Techniques 20-03-2014 1/18 Masters pro GIL, SSI et AIMAF Taux d'insertion : 100
Plus en détailCURRICULUM VITAE Marianne Verdier Née le 9 mars 1980
CURRICULUM VITAE Marianne Verdier Née le 9 mars 1980 1. Cursus professionnel Septembre 2014 2012-2014 2009-2012 Professeur des Universités à l Université Paris 2 Panthéon Assas. Chercheur au CRED, Centre
Plus en détailDoctorant en Informatique au CReSTIC - SysCom EA 3804. 2010-2013 :Université de Reims Champagne-Ardenne, Reims France
MandicouBA Doctorant en Informatique au CReSTIC - SysCom EA 3804 Parcours universitaire 2010-2013 :Université de Reims Champagne-Ardenne, Reims France -2013 3 e année de thèse, Équipe SysCom EA 3004, Laboratoire
Plus en détail1997 Maîtrise d économétrie, Université des Sciences et Technologies de Lille 1.
Fany DECLERCK Chercheur IDEI Professeur des Universités IAE Toulouse School of Economics Université de Toulouse Adresse Université de Toulouse 1 Manufacture des Tabacs Aile Jean-Jacques LAFFONT - MF 311
Plus en détailBruno ASDOURIAN Lecteur en Sciences de la Communication et des Médias Université de Fribourg Suisse
Bruno ASDOURIAN Lecteur en Sciences de la Communication et des Médias Université de Fribourg Suisse Chercheur en Sciences de l Information et de la Communication Laboratoire IRSIC EA 4262 France Grand-Places
Plus en détailBologne à l EPFL. Réforme de Bologne Implications pour l EPFL. Prof. Dominique Bonvin, Doyen Bachelor-Master
Bologne à l EPFL Réforme de Bologne Implications pour l EPFL Prof. Dominique Bonvin, Doyen Bachelor-Master EPFL Quelques chiffres 6 600 Etudiants, 23% femmes, 38% étrangers, 109 nationalités 1 400 Doctorants
Plus en détailAction Concertée Incitative Jeunes Chercheurs
Action Concertée Incitative Jeunes Chercheurs Sécurité informatique, protocoles cryptographiques et détection d intrusions Jean Goubault-Larrecq LSV/CNRS UMR 8643 ENS de Cachan 18 mai 2001 2 3 PROPOSITION
Plus en détailProgramme européen de recherche en matière de sécurité. Services offerts par le PCN Retour sur le brokerage event SMIIG
Programme européen de recherche en matière de sécurité Services offerts par le PCN Retour sur le brokerage event SMIIG Françoise Simonet PCN Sécurité Le Consortium Français Point de Contact National: CEA
Plus en détailForthcoming Database
DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of
Plus en détailhttp://blog.khaledtannir.net
Algorithme de parallélisations des traitements Khaled TANNIR Doctorant CIFRE LARIS/ESTI http://blog.khaledtannir.net these@khaledtannir.net 2e SéRI 2010-2011 Jeudi 17 mars 2011 Présentation Doctorant CIFRE
Plus en détailFormation. Mastère Spécialisé en Sécurité des Systèmes Intégrés & Applications. Post-master s degree in Security of Integrated Systems & Applications
Formation Mastère Spécialisé en Sécurité des Systèmes Intégrés & Applications Post-master s degree in Security of Integrated Systems & Applications Développer ses talents Ce mastère prépare à un emploi
Plus en détailProtection de la vie privée basée sur des ontologies dans un système Android
Protection de la vie privée basée sur des ontologies dans un système Android Johann Vincent, Tom Dubin, Christine Porquet To cite this version: Johann Vincent, Tom Dubin, Christine Porquet. Protection
Plus en détailCompte- rendu réunion d orientation du 25 janvier 2012 Mr Ritter Les Etudes Supérieures hors de France
Compte- rendu réunion d orientation du 25 janvier 2012 Mr Ritter Les Etudes Supérieures hors de France Pour tout renseignement ou précision complémentaire, n hésitez pas à contacter Mr Ritter : pritter@lfjtokyo.org
Plus en détailOWASP Open Web Application Security Project. Jean-Marc Robert Génie logiciel et des TI
OWASP Open Web Application Security Project Jean-Marc Robert Génie logiciel et des TI A1: Injection Une faille d'injection, telle l'injection SQL, OS et LDAP, se produit quand une donnée non fiable est
Plus en détailMastère Spécialisé labellisé par la Conférence des Grandes Ecoles. Management Par Projets
Mastère Spécialisé labellisé par la Conférence des Grandes Ecoles Management Par Projets Objectifs Animer la vie en projets des entreprises performantes. Se préparer à l expertise en management par projets
Plus en détailConnaissance des secteurs e-commerce, bourse et assurance.
PATRICK WELFRINGER DÉVELOPPEUR WEB PLATEFORME ADOBE FLASH PROFIL GÉNÉRAL Expérience en architecture et développement de sites web multilingues avec Flash, d'applications internet riches avec Flex et Java,
Plus en détailExpériences des Universités européennes dans l enseignement de la Finance islamique. Zineb Bensaid, Senior Consultant ISFIN
Expériences des Universités européennes dans l enseignement de la Finance islamique Zineb Bensaid, Senior Consultant ISFIN 40 millions EUROPEENS sont musulmans (Ex Turquie) CROISSANCE de la finance islamique
Plus en détailLes métiers de la recherche
Les métiers de la recherche Réunion de rentrée 2013 Années 2, 3 et 4 Paul Gastin Dpt Info, ENS Cachan Paul.Gastin@lsv.ens-cachan.fr Disponible sur http://www.dptinfo.ens-cachan.fr/ 1/33 Devenir des élèves
Plus en détailThèmes de recherche. Projets en cours
Formation Michel Baroni Professeur, Département Finance Responsable Pédagogique des Mastères Spécialisés en Techniques Financières et Finance & Asset Management Habilitation à Diriger des Recherches, Université
Plus en détailManagement stratégique d affaires à l international
Master of Science labellisé par la Conférence des Grandes Ecoles Management stratégique d affaires à l international International Business Project Manager en partenariat avec l'idrac Objectifs Se préparer
Plus en détailED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013
ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche
Plus en détailCURRICULUM VITAE. CHAMP DE SPÉCIALISATION Économie financière. Économétrie financière. Économétrie.
CURRICULUM VITAE Nom: Bruno Feunou Citoyenneté: Canadien Langues: Bangam, Bandjoun, Français, Anglais Adresse: Duke University Department of Economics 213 Social Sciences Building Durham, NC 27708, US
Plus en détailNotice biographique Repères biographiques communs. Grade : Maître de conférences depuis septembre 2003. Ecole Abbé Grégoire du CNAM.
Nom : RIVAL Corps : Maître de conférences Equipe de recherche Notice biographique Repères biographiques communs Prénom : MADINA Grade : Maître de conférences depuis septembre 2003 Section : 06 Membre du
Plus en détailLaboratoire 4 Développement d un système intelligent
DÉPARTEMENT DE GÉNIE LOGICIEL ET DES TI LOG770 - SYSTÈMES INTELLIGENTS ÉTÉ 2012 Laboratoire 4 Développement d un système intelligent 1 Introduction Ce quatrième et dernier laboratoire porte sur le développement
Plus en détailDafoe Présentation de la plate-forme UIMA
Laboratoire d Informatique de l université Paris-Nord (UMR CNRS 7030) Institut Galilée - Université Paris-Nord 99, avenue Jean-Baptiste Clément 93430 Villetaneuse, France 11 juillet 2007 Plates-formes
Plus en détailPROGRAMME DE BOURSES D EXCELLENCE Bourses de Master 2 ou de Doctorat
Réservé au SCAC : Dossier reçu le : Dossier n : 2015/ Domaine : AMBASSADE DE FRANCE AU VIETNAM PROGRAMME DE BOURSES D EXCELLENCE Bourses de Master 2 ou de Doctorat DEMANDE DE BOURSE ANNÉE UNIVERSITAIRE
Plus en détail1. Situation actuelle... p. 1
Curriculum Vitae - page 1 / 7 Curriculum Vitae 1. Situation actuelle... p. 1 2. Formation et titres universitaires français... p. 2 Thèse de doctorat de l'institut National Polytechnique de Grenoble (INPG)...
Plus en détailFORMATION SUR «CRYPTOGRAPHIE APPLIQUEE
FORMATION SUR «CRYPTOGRAPHIE APPLIQUEE ET SECURITE DES TRANSACTIONS ELECTRONIQUES : STANDARDS, ALGORITHMES DE HACHAGE ET PKI» DU 22 AU 26 JUIN 2015 TUNIS (TUNISIE) CRYPTOGRAPHIE APPLIQUEE ET SECURITE DES
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailClouds/Big Data @ Inria. Frédéric Desprez Frederic.Desprez@inria.fr
Clouds/Big Data @ Inria Frédéric Desprez Frederic.Desprez@inria.fr May 20, 2013 Outline 1. Inria Strategy in Clouds 2. HPC, Clouds: Where within Inria? 3. Inria Large-Scale initiatives Introduction Cloud
Plus en détailCurriculum Vitae (version étendue)
Curriculum Vitae Docteur en Sciences Economiques (Université Paris 1 Panthéon-Sorbonne) Qualifié Maître de Conférences par le Conseil National des Universités (Section 5) Né le 4 Janvier 1980 à Paris Nationalité
Plus en détailBONJOURGRID : VERSION ORIENTÉE DONNÉE & MAPREDUCE SÉCURISÉ
Laboratoire LaTICE Univ. de Tunis INRIA LYON Avalon Team Laboratoire d Informatique de Paris Nord (LIPN) BONJOURGRID : VERSION ORIENTÉE DONNÉE & MAPREDUCE SÉCURISÉ Heithem Abbes Heithem Abbes Rencontres
Plus en détailC U R R I C U L U M V I T A E
C U R R I C U L U M V I T A E Nom : Prénom : IDOUGHI Djilali Adresse Personnelle: Cité des 792 Logts Bt L N 690 Sidi-Ahmed, Bejaia, Algérie. Adresse professionnelle : Université A. Mira, de Béjaïa Département
Plus en détailMastère Spécialisé labellisé par la Conférence des Grandes Ecoles. Management Par Projets
Mastère Spécialisé labellisé par la Conférence des Grandes Ecoles Management Par Projets Objectifs Animer la vie en projets des entreprises performantes. Se préparer à l expertise en management par projets
Plus en détailCOORDONNÉES PROFESSIONNELLES PARCOURS PROFESSIONNEL FORMATION
Naomi Yamaguchi Maîtresse de Conférences Université Sorbonne Nouvelle Paris 3 Laboratoire de Phonétique et Phonologie (UMR 7018) http://naomi.yamaguchi.free.fr/ http://lpp.in2p3.fr/axes-de-recherche-592
Plus en détailPlan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal
Plan de cours ADM 992C Page 1 École des sciences de la gestion Département de management et technologie Université du Québec à Montréal ADM-992C LES TECHNOLOGIES D'AIDE À LA PRISE DE DÉCISION DANS LES
Plus en détailLe Master Mathématiques et Applications
Le Master Mathématiques et Applications Franck BOYER franck.boyer@univ-amu.fr Institut de Mathématiques de Marseille Aix-Marseille Université Marseille, 20 Mai 2014 1/ 16 Structure générale Vue d ensemble
Plus en détailCurriculum Vitae. Karel HEURTEFEUX. Education
Address CNRS, Verimag - Laboratory / Synchrone Team 2, Avenue de Vignate, 38610 Gières, France Tel. : +33 (0)4 56 52 03 86 Curriculum Vitae Karel HEURTEFEUX Born 10.21.1982 French karel.heurtefeux@imag.fr
Plus en détail2013-2015 Attachée Temporaire d Enseignement et de Recherche Institut d Administration des Entreprises Université de Toulouse 1 Capitole.
Adresse personnelle : NEGRE Emmanuelle 5 rue Rivals 31000 Toulouse Née le 25/06/1987, 27 ans FRANCE 06.76.79.01.31 emmanuelle.negre@ iae-toulouse.fr Fonctions 2013-2015 Attachée Temporaire d Enseignement
Plus en détailModule de confiance de plate-forme. Attaque; réparation; vérification
Module de confiance de plate-forme [Trusted Platform Module (TPM)] Attaque; réparation; vérification Mark D. Ryan HP Labs, Bristol, UK (invité) University of Birmingham, UK Liqun Chen HP Labs, Bristol,
Plus en détailCURRICULUM VITAE ENRICA FLORIS
CURRICULUM VITAE ENRICA FLORIS Personal Data Date of birth: July 13th, 1985 Place of birth: Cagliari - ITALIA Citizenship: Italian e-mail: e.floris@imperial.ac.uk webpage: wwwf.imperial.ac.uk/ efloris/.
Plus en détailInfrastructure à Clé Publique (PKI Public Key Infrastructure)
Infrastructure à Clé Publique (PKI Public Key Infrastructure) Didier DONSEZ Université Joseph Fourier IMA IMAG/LSR/ADELE Didier.Donsez@imag.fr 2 Rappel sur la certification Besion de confiance sur ce que
Plus en détailEnvironnement logiciel basé sur les modèles pour la conception collaborative de produit
Environnement logiciel basé sur les modèles pour la conception collaborative de produit Mehdi Iraqi-Houssaini Laboratoire LSIS-INSM 2 cours des Arts et Métiers 13100 Aix-en-Provence, France RÉSUMÉ. Le
Plus en détailModèle multi-agents de prise de décision éthique
Équipe Modèles, Agents, Décision Laboratoire GREYC CNRS UMR 6072 Université de Caen Basse-Normandie ENSICAEN Boulevard du Maréchal Juin CS 14 032, 14 032 Caen Cedex 5 Tel. : +33 (0)2 31 56 74 84 Fax :
Plus en détailFrank LASCK. Courriel : f.lasch@montpellier-bs.com Fonction : Professeur. Biographie
Frank LASCK Courriel : f.lasch@montpellier-bs.com Fonction : Professeur Biographie Frank Lasch, professeur en entrepreneuriat, a rejoint le Groupe Sup de Co Montpellier Business School en septembre 2003
Plus en détailCommentWatcher. plateforme Web open-source pour analyser les discussions sur des forums en ligne. Marian-Andrei RIZOIU
CommentWatcher plateforme Web open-source pour analyser les discussions sur des forums en ligne Marian-Andrei RIZOIU 2ème octobre 2013 BLEND 2013 Lyon, France Contexte Laboratoire ERIC Université Lumière
Plus en détailINGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE
INGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE Igor Rosenberg 30 ans DEA «Image-Vision» de l Université de Nice Sophia-Antipolis POSTES PRECEDENTS MMA: Développement Web/Grails sur démonstrateur
Plus en détailJuin 2006 Obtention des deux concours de l enseignement : CAPES d anglais (64 ème ) et agrégation d anglais.
CV Céline SABIRON 1. Parcours universitaire Formations et diplômes Sept. 2007 Sept. 2011 Allocataire-monitrice dans le département d anglais de la Sorbonne Paris IV de 2007 à 2010, puis demi-ater de 2010
Plus en détailARDUIN Pierre-Emmanuel
ARDUIN Pierre-Emmanuel Maître de conférences pierre-emmanuel.arduin@dauphine.fr Tél : +33(0)1.44.05.48.19 Bureau : A 702 Site web : Site web Poste actuel et responsabilités à Dauphine Responsable d'un
Plus en détailCurriculum Vitae. 38 100 Grenoble
Curriculum Vitae Nom : Mariane Mangin-Brinet née 11 juillet 1973 1 enfant Téléphone: +33-(0)4-76-28-40-46 (L.P.S.C.) Email : mariane@lpsc.in2p3.fr Adresse professionnelle: LPSC - 53, avenue des Martyrs
Plus en détailIDENTITÉ DE L ÉTUDIANT / APPLICANT INFORMATION
vice Direction des Partenariats Internationaux Pôle Mobilités Prrogrramme de bourrses Intterrnattiionalles en Mastterr (MIEM) Intterrnattiionall Mastterr Schollarrshiip Prrogrramme Sorrbonne Parriis Ciitté
Plus en détailSécurité des systèmes d'informations et communicants dans le médical
Sécurité des systèmes d'informations et communicants dans le médical Dr Alain MERLE Responsable Programme Sécurité et Défense CEA-LETI Alain.merle@cea.fr Le Leti en quelques chiffres Institut du CEA, fondé
Plus en détail«Rénovation des curricula de l enseignement supérieur - Kazakhstan»
ESHA «Création de 4 Ecoles Supérieures Hôtelières d'application» R323_esha_FT_FF_sup_kaza_fr R323 : Fiche technique «formation des enseignants du supérieur» «Rénovation des curricula de l enseignement
Plus en détailSMU MEDITERRANEAN. SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002)
SMU SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002) MEDITERRANEAN institute OF TECHNOLOGY The Unique English-Speaking Engineering School in Tunisia 'Masters in Systems
Plus en détailI. COORDONNÉES PERSONNELLES / PERSONAL DATA
DOSSIER DE CANDIDATUREAPPLICATION FORM 2012 Please tick the admission session of your choice FévrierFebruary SeptembreSeptember MASTER OF ART (Mention the subject) MASTER OF SCIENCE (Mention the subject)
Plus en détailCurriculum Vitae. Informations générales
Sandy CAMPART Maître de conférences de sciences économiques Membre permanent du CREM (UMR CNRS 6211) Directeur délégué à la formation continue de l IUP Banque Assurance de Caen Responsable de la licence
Plus en détailPour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur
Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur ARROWS Structures de données avec pointeurs sûres : une approche déclarative de leur spécification
Plus en détailAn EU COFUND project 2014 2018
An EU COFUND project 2014 2018 Part of the Marie Curie programme Contributing to their TRAINING Encouraging their MOBILITY To support people who chose research as professional CAREER WHRI-ACADEMY is a
Plus en détailLes risques liés à la signature numérique. Pascal Seeger Expert en cybercriminalité
Les risques liés à la signature numérique Pascal Seeger Expert en cybercriminalité Présentation Pascal Seeger, expert en cybercriminalité Practeo SA, Lausanne Partenariat avec Swisscom SA, Zurich Kyos
Plus en détailDu 03 au 07 Février 2014 Tunis (Tunisie)
FORMATION SUR LA «CRYPTOGRAPHIE APPLIQUEE ET SECURITE DES TRANSACTIONS ELECTRONIQUES» POUR LES OPERATEURS ET REGULATEURS DE TELECOMMUNICATION Du 03 au 07 Février 2014 Tunis (Tunisie) CRYPTOGRAPHIE ET SECURITE
Plus en détailAlimenter un entrepôt de données par des données issues de services web. Une approche médiation pour le prototype DaWeS
Alimenter un entrepôt de données par des données issues de services web. Une approche médiation pour le prototype DaWeS John Samuel LIMOS (Laboratoire d Informatique, de Modélisation et d Optimisation
Plus en détailNotice biographique Repères biographiques communs
Nom : ANDREU Corps : Maître de conférences Equipe de recherche Notice biographique Repères biographiques communs Prénom : DAVID Grade : MCF - HDR Section : 61 Equipe DEMAR INRIA - LIRMM (UM2/CNRS) Equipe
Plus en détailIntroduction au Wi-Fi sécurisé
Introduction au Wi-Fi sécurisé 1 2 Introduction au Wi-Fi sécurisé Réunion VRRROUM 17/06/05 Marc Vesin 3 Réseaux sans-fil : rappels WLAN : wireless LAN, réseau local radioélectrique IEEE : organisme de
Plus en détailUNILINK ENTERPRISE PARTNERSHIP SCHEME IN TUNISIA
UNILINK TOWARDS A SUSTAINABLE UNIVERSITY- ENTERPRISE PARTNERSHIP SCHEME IN TUNISIA VERS UN PLAN DURABLE DE PARTENARIAT UNIVERSITÉ-ENTREPRISE EN TUNISIE VISITE D ÉTUDES LE 20 AU 22 MAI 2009 Mercredi, le
Plus en détailCURRICULUM VITAE PARCOURS PROFESSIONNEL
CURRICULUM VITAE Adresses professionnelles : Institut d Administration des Entreprises de l Université de Toulon Campus de La Garde - Bâtiment Z - Av. de l Université - BP 20132 83957 La Garde Cedex Tél
Plus en détailwww.ambbn.com 04/05/2011 Amundi Liquidity A creative market introduction Date
www.ambbn.com 04/05/2011 Amundi Liquidity A creative market introduction Date 1 Notre cible : les Trésoriers d entreprise 2 Notre dilemne : à la fois leader et challenger! 3 Un marché trusté par les plus
Plus en détailAudition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI. Guillaume Lozenguez.
Audition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI Guillaume Lozenguez Chercheur post-doctorant, École Normale Supérieure de Lyon, CNRS Doctorat en cotutelle
Plus en détailLes Protocoles de sécurité dans les réseaux WiFi. Ihsane MOUTAIB & Lamia ELOFIR FM05
Les Protocoles de sécurité dans les réseaux WiFi Ihsane MOUTAIB & Lamia ELOFIR FM05 PLAN Introduction Notions de sécurité Types d attaques Les solutions standards Les solutions temporaires La solution
Plus en détailSCHOLARSHIP ANSTO FRENCH EMBASSY (SAFE) PROGRAM 2015-2 APPLICATION FORM
SCHOLARSHIP ANSTO FRENCH EMBASSY (SAFE) PROGRAM 2015-2 APPLICATION FORM APPLICATION FORM / FORMULAIRE DE CANDIDATURE Note: If there is insufficient space to answer a question, please attach additional
Plus en détailLycée International - English Section
1 Lycée International - English Section 2 Présentation Généralités Une des 6 sections internationales du Lycée (avec la section allemande, espagnole, italienne, polonaise et russe) Environ 420 élèves Un
Plus en détailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
Plus en détailLe projet PALETTE et les CoPs L exemple de la CoP eprep
Pedagogically sustained Adaptive LEarning Through the exploitation of Tacit and Explicit knowledge Le projet PALETTE et les CoPs L exemple de la CoP eprep Nathalie VAN DE WIELE, directrice d eprep, partenaire
Plus en détailCurriculum Vitae détaillé
Curriculum Vitae détaillé Situation personnelle Nom Patronymique : HURLIN Prénom : Christophe Date et lieu de naissance : né le 06 mars 1973 à Montluçon (03) Adresse personnelle : 4bis Avenue Jean Zay
Plus en détailRapport semestriel d activité -coordonnateur Programme SETIN - Edition 2006 http://www-anr-ci.cea.fr
Rapport semestriel d activité -coordonnateur Programme SETIN - Edition 2006 http://www-anr-ci.cea.fr Rappel : le coordonnateur doit fournir un rapport partenaire et un rapport coordonnateur. 1 Identification
Plus en détailTél.: +1 (418) 656-2337 Tél. : +1 (418) 522-2318 Fax : +1 (418) 656-7412 Email: Michel.Roland@ecn.ulaval.ca. Économie mathématique.
Michel ROLAND Adresse au bureau Québec, QC G1V 0A6, Canada Adresse à domicile 3017 De la Seine Québec, QC G1W 1H8, Canada Tél.: +1 (418) 656-2337 Tél. : +1 (418) 522-2318 Fax : +1 (418) 656-7412 Email:
Plus en détailRapport de certification PP/0308. Profil de protection «Cryptographic Module for CSP Signing Operations with Backup» Version 0.28
PREMIER MINISTRE Secrétariat général de la défense nationale Direction centrale de la sécurité des systèmes d'information Profil de protection «Cryptographic Module for CSP Signing Operations with Backup»
Plus en détailProgrammation Web. Madalina Croitoru IUT Montpellier
Programmation Web Madalina Croitoru IUT Montpellier Organisation du cours 4 semaines 4 ½ h / semaine: 2heures cours 3 ½ heures TP Notation: continue interrogation cours + rendu à la fin de chaque séance
Plus en détailLaboratoire d informatique Gaspard-Monge UMR 8049. Journée Labex Bézout- ANSES
Laboratoire d informatique Gaspard-Monge UMR 8049 Journée Labex Bézout- ANSES Présentation du laboratoire 150 membres, 71 chercheurs et enseignants-chercheurs, 60 doctorants 4 tutelles : CNRS, École des
Plus en détailAtelier Sécurité / OSSIR
Atelier Sécurité / OSSIR Présentation Produits eeye SecureIIS Retina elorrain@eeye.com & broussel@eeye.com Sommaire Page 2 Qui sommes nous? SecureIIS Protection Web Retina Scanner de Sécurité Questions
Plus en détailMASTER ECONOMIE APPLIQUEE
Le Master Economie Appliquée est destiné à des étudiants ayant reçu une formation universitaire solide en économie, statistiques, mathématiques et économétrie. Ce Master propose un cursus sur deux années
Plus en détailCall for submission 3rd Bordeaux Workshop in International Economics and Finance. organized by LAREFI - Bordeaux University
Call for submission 3rd Bordeaux Workshop in International Economics and Finance organized by LAREFI - Bordeaux University Alternative Platforms and Organization of Trading Activities Friday, december
Plus en détailDéveloppements algorithmiques au LIAMA et àamap en vue de l'analyse d'une scène forestière
Développements algorithmiques au LIAMA et àamap en vue de l'analyse d'une scène forestière Principaux contributeurs: Zhang Xiaopeng (CASIA-NLPR-LIAMA Coordinateur Groupe Image) Li HongJun (CASIA-NLPR-LIAMA
Plus en détail