Vincent Cheval. Curriculum Vitae. Research
|
|
|
- Dominick Fowler
- 10 years ago
- Views:
Transcription
1 Vincent Cheval School of Computing University of Kent Canterbury, CT2 7NF, UK +44 (0) (0) homepage: vc218/web Nationality : French 2015 Present Curriculum Vitae Lecturer, School of Computing, University of Kent, Canterbury,UK Postdoctoral fellow, Laboratoire lorrain de recherche en informatique et ses applications, Nancy, FR Postdoctoral fellow, University of Birmingham, Birmingham, UK PhD student, Laboratoire Spécification et Vérification (LSV), ENS Cachan & CNRS, Cachan, FR. Automatic verification of cryptographic protocols: privacy-type properties Co-advisors Hubert Comon-Lundh and Stéphanie Delaune PhD defence: December 3th, Normalien, École Normale Supérieure de Cachan, Cachan. 2009: Master in computer science, Master Parisien de Recherche en Informatique, with distinction 2007: Licence in computer science, with high distinction Student in preparatory school, Lycée Henri Wallon, Valenciennes. Topics Tools Research Automatic verification of cryptographic protocols applications: certificate management, RFID protocols, electronic voting, secure s, cloud computing, etc. equivalence properties: anonymity, privacy, unlinkability, strong secrecy, accountability, etc. Participation to the development of three tools. APTE: Sole developer of APTE (Ocaml language, around lines), the first tool that can decide the trace equivalence between protocols possibly nondeterministic, containing possible else branches, and for a bounded number of sessions. Url of the tool: ProVerif: Participation to the development of an extension of ProVerif (Ocam language) allowing ProVerif to prove more observational equivalences. Url of the tool: Adecs: Sole developer of Adecs (Ocaml language, around 6000 lines), a tool that can decide the symbolic equivalence between two constraint systems. Url of the tool:
2 Publications International journals with review committee [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 International conferences with review committee [C1] [C2] [C3] [C4] [C5] [C6] [C7] [C8] [C9] 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 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 Other publications [A1] [A2] 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 2009.
![International conferences with review committee [C1] [C2] [C3] [C4] [C5] [C6] [C7] [C8] [C9] Myrto Arapinis, Vincent Cheval, and Stéphanie Delaune.](/docs-images/57/6699308/images/page_2.jpg "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.")
3 [A3] 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) Report [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 & visits 2014 One-year post-doctoral stay at Laboratoire lorrain de recherche en informatique et ses applications (France), in the team CASSIS headed by Michaël Rusinowitch One-year post-doctoral stay at University of Birmingham (UK), in the team of Mark Ryan Several stay in LORIA (Nancy, France) in the team CASSIS to collaborate with Véronique Cortier Stay of three months from September to December 2011 at École Normale Supérieure de Paris under the supervision of Bruno Blanchet and several visits at INRIA Paris- Rocquencourt in 2012 to collaborate with Bruno Blanchet Stay of three months from april to june in the laboratory AIST of Tokyo, Japon, during the internship of my master degree. Teaching Lectures at École Normale Supérieure de Cachan 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) January April 2014 Supervision of student PhD students Jiangshan Yu, Improving Public Key Certification Systems with co-advisor Mark Ryan Dissemination 2013 Discovery of a new attack on the protocols of the electronic passport. Article in Journal du CNRS, September-October 2013, number 274, page 9, Boxed text in Pour la Science, special number on Big-bang numérique, November 2013, number 433, page 77
![Report [R1] [R2] [R3] Vincent Cheval, Stéphanie Delaune, and Hubert Comon-Lundh. A procedure for deciding symbolic equivalence between sets of constraint systems.](/docs-images/57/6699308/images/page_3.jpg "In: Information and Computation (2015). Submitted. Rohit Chadha, Vincent Cheval, and Ştefan Ciobâcă. Automated verification of equivalence properties of cryptographic protocols. 2014.")
4 September 6th April 11th April 5th April 2nd March 19th February 22th February 5th October 30th Talks and seminars Several talks for working groups at LSV and University of Birmingham. Year 2014 Conference TGC 2014, Roma, Italy - Tests for establishing security properties Conference TACAS 2014, Grenoble, France - APTE: an Algorithm for Proving Trace Equivalence Workshop HotSpot 2014, Grenoble, France - Timing attacks: symbolic framework and proof techniques Seminar LORIA, Nancy, France DTKI, a new formalised PKI with no trusted parties Year 2013 Conference POST 2013, Rome, Paris - Proving more observational equivalences with ProVerif Seminar INRIA Paris-Rocquencourt, Paris, France - Automatic tools to prove privacytype properties Second Workshop on Formal Methods And Tools for Security (FMATS2), Cambridge, UK - 5 min talk : Tools for proving equivalence. Year 2012 ANR project meeting ProSe, Paris, France - Verifying privacy-type properties in a modular way. July 26th Seminar School of Computer Science, University of Birmingham, Birmingham, UK - Proving more observational equivalences with ProVerif. June 25th November 11th October 18th October 13th September 5th June 27th December 10th July 19th June 18th Conference CSF 2012, Harvard University, Cambridge MA, USA - Verifying privacytype properties in a modular way. Year 2011 Seminar LORIA, Nancy, France - Decision procedure for trace equivalence. Conference CCS 2011, Chicago, IL, USA - Decision procedure for trace equivalence. Seminar LIENS, Paris, France - Decision procedure for trace equivalence. Workshop SecCo 2011, Aachen, Germany - Decision procedure for trace equivalence. Conference CSF 2011, Vaux de Cernay, France - 5 min talk : Decision procedure for trace equivalence. Year 2010 General meeting of project ANR AVOTE, Cachan, France - A decision procedure for proving trace equivalence (Work in progress) Conference IJCAR, Edimbourg, Scotland - A decision procedure for proving symbolic equivalence. Workshop SeCret 2010, Valence, Spain - A decision procedure for proving symbolic equivalence.
5 Workshops and conferences Program committees 5th Workshop on Formal Methods for Security, Tunis, Tunisia, June 23rd, rd CryptoForma workshop, Royal Holloway University of London, September 12th, 2013 Conference organization Member of the organization committee of the 24th IEEE Computer Security Foundations Symposium (CSF 11) (90 attendees), June 2011 Article reviews Papers for the following workshops and conferences: 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 Papers for the following journals: Journal of Automated Reasoning, Journal of Symbolic Computation, Journal of Computer Security Administrative tasks 2013 Organiser of the Security Seminar in the School of Computer Science, University of Birmingham 2012 Development of the database and web API for the human ressources in the Laboratoire Spécification et Vérification. Programming skills Basic Intermediate Advanced python PHP, html, java, FStar Ocaml, C, C++, L A TEX Languages French Mothertongue English Advanced Conversationally fluent
Laboratoire d Informatique de Paris Nord, Institut Galilée, Université. 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse, France.
Domenico Ruoppolo CV Personal Information First Name Domenico. Last Name Ruoppolo. Date of Birth December 16th, 1985. Place of Birth Naples, Italy. Nationality Italian. Location Address Office B311. Contacts
Curriculum Vitae EDUCATION. Research Interests. Mahsa Shirmohammadi
Mahsa Shirmohammadi Curriculum Vitae 13bis Gustave Charpentier L Hay Les Roses 94240, France +33 (0)1456 05512 [email protected] www.ulb.ac.be/di/verif/mshirmoh/ Nationality : Iranian 2010
How to prove security of communication protocols?
1/37 Introduction on security protocols Modeling Verification Towards cryptographic guarantees How to prove security of communication protocols? Véronique Cortier, LORIA - CNRS, Nancy Colloquium Morgenstern,
The University of Birmingham School of Computer Science. Research Student Monitoring Group Report 2
The University of Birmingham School of Computer Science Research Student Monitoring Group Report 2 Name of student: Loretta Mancini Name of supervisor and other members of thesis group: Eike Ritter, Jon
Electronic Voting Protocol Analysis with the Inductive Method
Electronic Voting Protocol Analysis with the Inductive Method Introduction E-voting use is spreading quickly in the EU and elsewhere Sensitive, need for formal guarantees Inductive Method: protocol verification
How To Understand The Theory Of Network Routing In A Computer Program
Curriculum Vitae Dr. Enrico Bartolini Department of Science and Methods for Engineering (DISMI) University of Modena and Reggio Emilia Via Amendola 2, Pad. Morselli, 42122, Reggio Emilia, Italy Email:
Ph.D., Particle Physics Theory Thesis title: FCNC Processes of B and K Mesons from Lattice QCD University of Edinburgh October 1995 July1999
Curriculum Vitae Date of Birth: 8 th April 1971 Nationality: Place of Birth: Work Address: Taiwanese Taipei City Institute for Physics National Chiao-Tung University Hsinchu 300 Taiwan Work Telephone:
Le vote électronique : un défi pour la vérification formelle
Le vote électronique : un défi pour la vérification formelle Steve Kremer Loria, Inria Nancy 1 / 17 Electronic voting Elections are a security-sensitive process which is the cornerstone of modern democracy
Anca Nitulescu. PhD Student. Personal information. Occupational field. PhD in cryptography
Anca Nitulescu PhD Student Personal information Address: Ecole Normale Supérieure, DI Paris, France Email: [email protected] Occupational field Cryptography: Provable Security for Protocols I have
Optimised Realistic Test Input Generation
Optimised Realistic Test Input Generation Mustafa Bozkurt and Mark Harman {m.bozkurt,m.harman}@cs.ucl.ac.uk CREST Centre, Department of Computer Science, University College London. Malet Place, London
Thomas Jeanjean. 2008 Associate Professor of Accounting, HEC School of Management
Thomas Jeanjean D ETAILS HEC School of Management 1 rue de la Libération 78351 Jouy-en-Josas CEDEX FRANCE Email: [email protected] Office tel: +33 1 39 67 72 86 French citizenship Married, three children
MODELLING, AUTHORING AND PUBLISHING THE DOCUMENT ANALYSIS LEARNING OBJECT
MODELLING, AUTHORING AND PUBLISHING THE DOCUMENT ANALYSIS LEARNING OBJECT Alexandre Flament ([email protected]) Emmanuelle Villiot-Leclercq ([email protected]) Laboratoire CLIPS,
Curriculum Vitae. Claude Barral. 1984 1988 Baccalaureat (E-level) : Mathematics and Technologies Lycée polyvalent Antonin Artaud, Marseille, France
Curriculum Vitae Address n o 6 La Bastide Samat 13119 Saint Savournin, France Phone: +33.4.42.32.36.92 Mobile Phone: +33.6.86.83.19.55 Email: [email protected] Homepage: http://www.linkedin.com/in/cbarral
1999 2004 Diploma (5-year degree), School of Applied Mathematics and Physics, NTUA (Greece) Major: Computer Science and Applied Mathematics.
Curriculum Vitae Vassilis Zikas Postdoctoral Researcher, UCLA University of California, Los Angeles Los Angeles, CA 90095-1596 +1 (424) 781-7942 [email protected] www.cs.ucla.edu/~vzikas Education 2006
CURRICULUM VITAE. Roberta Dessí
CURRICULUM VITAE Roberta Dessí August 2012 Address IDEI, Toulouse School of Economics, Manufacture des Tabacs, Aile Jean-Jacques Laffont, 21 Allée de Brienne, 31000 Toulouse France. Telephone +33-(0)5
1 Profile of Qualifications
Curriculum Master s Degree Program General Management Double Degree ESC Troyes JKU Linz Attention: Please note that this is only a translation of the German version Curriculum Master s Degree Program General
Marcin Witkowski Adam Mickiewicz University Homepage: http://www.staff.amu.edu.pl/ mw/
Marcin Witkowski Adam Mickiewicz University Homepage: http://www.staff.amu.edu.pl/ mw/ +48 696 339 308 mw at amu.edu.pl Office B4-4 ul.umultowska 87 61-614 Poznań Personal Information Date of Birth November
The Eighth International Conference INCOSE_IL 2015. Formal Methods Security Tools in the Service of Cyber Security
The Eighth International Conference INCOSE_IL 2015 כלים ובדיקות Formal Methods Security Tools in the Service of Cyber Security Dr. Michael J. May Kinneret College on the Sea of Galilee 1 כלים ובדיקות /
EIT ICT Labs MASTER SCHOOL DSS Programme Specialisations
EIT ICT Labs MASTER SCHOOL DSS Programme Specialisations DSS EIT ICT Labs Master Programme Distributed System and Services (Cloud Computing) The programme in Distributed Systems and Services focuses on
DR AYŞE KÜÇÜKYILMAZ. Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK
DR AYŞE KÜÇÜKYILMAZ Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK http://home.ku.edu.tr/~akucukyilmaz [email protected]
Cyber Security in the University of Oxford: Collaborating without Conforming?
Cyber Security in the University of Oxford: Collaborating without Conforming? Andrew Martin June 2013 Workshop on Addressing R&D Challenges in Cybersecurity: Innovation and Collaboration Strategy Cybersecurity
Constraint Programming. Master Parisien de Recherche en Informatique
Constraint Programming Master Parisien de Recherche en Informatique 2008/2009 François Fages et Sylvain Soliman Project team Contraintes INRIA Paris-Rocquencourt http://contraintes.inria.fr/ fages [email protected]
Fanny Dos Reis. Visiting Assistant Professor, Texas A&M University. September 2006 - May 2008
Fanny Dos Reis Positions Held Visiting Assistant Professor, Texas A&M University. September 2006 - May 2008 Visiting Assistant Professor, University of Lille 1, France. September 2004 - August 2006 Visiting
Emmanuel Comte Curriculum Vitae
CONTACT INFORMATION Institutional address Email address Website Emmanuel Comte Curriculum Vitae Max Weber Programme, European University Institute, Via delle Fontanelle, 19, 50014 San Domenico di Fiesole
How To Write A Network Protocol For A Cell Phone Network
CURRICULUM VITAE OF BOUDOUR Ghalem LIG - Grenoble Institute of Technology 681, rue de la passerelle Domaine universitaire - BP 72-38402 Grenoble Phone: +33 6 25 61 69 43 E-mail: [email protected]
Inductive Analysis of Security Protocols in Isabelle/HOL with Applications to Electronic Voting
Inductive Analysis of Security Protocols in Isabelle/HOL with Applications to Electronic Voting Denis Butin 1 / 37 2 / 37 Introduction Network communication sensitive: banking, private correspondence,
Séjours dans des centres de recherche
Juin 2009 Olivier Gossner email: [email protected] www: http://ogossner.free.fr/ Paris School of Economics 48 Boulevard Jourdan 75014 Paris, France Formation Habilitation à diriger les recherches, 2004 Ph.D.
PROFESSIONAL INTERESTS WORK EXPERIENCE GINÉS DÓLERA TORMO CURRICULUM VITAE OCTOBER 2014
Ginés Dólera Tormo Phone: +49 176 90775273 E-mail: [email protected] Date of birth: 21 July, 1985 Nationality: Spanish Address: Dossenheimer Landsrtrasse 100 D-69121 Heidelberg, Germany PROFESSIONAL INTERESTS
Curriculum Vitae. Positions
Curriculum Vitae Luca Castelli Aleardi Professional address : ULB, O8.114, CP 212, Bvd. du Triomphe, 1050 Bruxelles, Belgium Personal address : 52, rue du Couédic, 75014 Paris Tél. : +33 (0)6 63 66 01
Curriculum Vitae of. Vicky G. Papadopoulou
Curriculum Vitae of Vicky G. Papadopoulou Personal Information Full Name: Vicky G. Papadopoulou Home Address: Odysseos 23, Strovolos, PO Box 2040, Nicosia, Cyprus Phones: Office: +357 22 713046 Email:
Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters Geoffroy Vallée, Renaud
Europass Curriculum Vitae
Europass Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Custódio, Jorge Filipe Telephone(s) +351 919687707 Email(s) Personal website(s) Nationality(-ies) Rua Francisco Pereira
Why Cryptosystems Fail. By Ahmed HajYasien
Why Cryptosystems Fail By Ahmed HajYasien CS755 Introduction and Motivation Cryptography was originally a preserve of governments; military and diplomatic organisations used it to keep messages secret.
CURRICULUM VITAE. Sonali Sen Gupta
CURRICULUM VITAE Sonali Sen Gupta Department of Economics, Management School, Lancaster University, Lancaster LA1 4YX. Tel: 01524594012, Email: [email protected]. Personal Webpage: http://www.lancaster.ac.uk/staff/sengupts/
SKEMA PhD. > PhD in Strategy, Programme & Project Management
PhD SKEMA PhD > PhD in Strategy, Programme & Project Management 2 Vision - Ambition Knowledge makes the difference A school for leadership with campuses worldwide to train the decision makers of the knowledge
Master of Arts (French Studies) M.A. (French Studies)
Master of Arts (French Studies) M.A. (French Studies) Objectives The program aims producing M.A. graduates who: - have a good knowledge of the French political system, economy, society and culture and
Curriculum vitae. July 2007 present Professor of Mathematics (W3), Technische
Peter Bank Institut für Mathematik, Sekr. MA 7-1 Straße des 17. Juni 136 10623 Berlin Germany Tel.: +49 (30) 314-22816 Fax.: +49 (30) 314-24413 e-mail: [email protected] URL: www.math.tu-berlin.de/
Argumentación en Agentes Inteligentes: Teoría y Aplicaciones Prof. Carlos Iván Chesñevar
Argumentation in Intelligent Agents: Theory and Applications Carlos Iván Chesñevar [email protected] http://cs.uns.edu.ar/~cic cic Part 5 - Outline Main research projects in argumentation Main conferences
Smart Secure Devices & Embedded Operating Systems
Smart Secure Devices & Embedded Operating Systems Contact: [email protected] Team: XLIM/DMI/SSD Limoges/FRANCE Technology involved ibutton USB token Contactless Prices of these objects: less than
Europass Curriculum Vitae
Europass Curriculum Vitae Personal information First name(s) / Surname(s) Address(es) Av. República Argentina, 71 E-28500 Madrid (Spain) Telephone(s) (34) 914521100 Fax(es) (34) 914521110 E-mail(s) [email protected]
Min Si. Argonne National Laboratory Mathematics and Computer Science Division
Min Si Contact Information Address 9700 South Cass Avenue, Bldg. 240, Lemont, IL 60439, USA Office +1 630-252-4249 Mobile +1 630-880-4388 E-mail [email protected] Homepage http://www.mcs.anl.gov/~minsi/ Current
Formation à l ED STIC ED STIC Doctoral education. Hanna Klaudel
Formation à l ED STIC ED STIC Doctoral education Hanna Klaudel Texte de référence / Text of low L arrêté de 7 août 2006 : «Les écoles doctorales proposent aux doctorants les formations utiles à leur projet
Girne American University Foundation English School Curriculum Vitae
Girne American University Foundation English School Curriculum Vitae I. PERSONAL INFORMATION Name and Surname Hatice Asvaroğlu Date of Birth & Place 03.03.1964 Nationality Marital Status Home Address Phone
Energy efficiency in HPC :
Energy efficiency in HPC : A new trend? A software approach to save power but still increase the number or the size of scientific studies! 19 Novembre 2012 The EDF Group in brief A GLOBAL LEADER IN ELECTRICITY
Programming the Flowoid NetFlow v9 Exporter on Android
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Programming the Flowoid NetFlow v9 Exporter on Android Julien Vaubourg N 7003 April 2013 THÈME? apport technique ISSN 0249-0803 Programming
CURRICULUM VITÆ. Education. Latest update : August 2015. Sanjay Ramassamy Graduate student at Brown University.
CURRICULUM VITÆ Latest update : August 2015 Sanjay Ramassamy Graduate student at Brown University. Address : Sanjay Ramassamy Box 1917 151 Thayer Street Providence, RI 02912 USA Webpage : http://www.normalesup.org/~ramassamy/
Juan (Jenn) Du. Homepage: www4.ncsu.edu/ jdu/ Co-advisors: Dr. Xiaohui (Helen) Gu and Dr. Douglas Reeves
Juan (Jenn) Du CONTACT INFORMATION Juan (Jenn) Du Cell: (919) 645-7772 1015 Katie Ln E-mail: [email protected] Cary, NC 27519 Homepage: www4.ncsu.edu/ jdu/ RESEARCH INTERESTS EDUCATION My general research
Curriculum Vitae. 1 Person Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German
Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University
INRIA, Evaluation of Theme Sym A
INRIA, Evaluation of Theme Sym A Project-team SECSI Nov. 13-14, 2006 Project-team title : SECurity of Information Systems (SECSI) Scientific leader : Jean Goubault-Larrecq Research center : Futurs Common
DIRECTOR : Professor Alain AYACHE
DIRECTOR : Professor Alain AYACHE VICE - DIRECTOR : Philippe BERGER www.enseeiht.fr n7@ enseeiht.fr 2012- TOULOUSE Capital of the Midi-Pyrénées region 2nd French academic city : 100 000 students in universities
LEXICAL OF LANDSCAPE EUROPEAN DOCTORAL STUDIES (IN THE PROCESS OF VALIDATION)
LEXICAL OF LANDSCAPE EUROPEAN DOCTORAL STUDIES (IN THE PROCESS OF VALIDATION) FEBRUARY 2009 P. DONADIEU AND C. SANTINI, WITH THE COLLABORATION OF C. CHOMARAT-RUIZ AND MICHAËL POQUET The examples have been
Curriculum Vitae. Personal Details. Education. Qualifications. Professor Andrew Mountford. Nationality
Page 1 of 5 Curriculum Vitae Personal Details Name: Nationality Address Email Webpage Professor Andrew Mountford UK Department of Economics Royal Holloway, University of London Egham, TW20 0EX, UK A.Mountford
Relations entre XLIM Université de Limoges et ISG-SCC Royal Holloway, University of London
Relations entre XLIM Université de Limoges et ISG-SCC Royal Holloway, University of London Damien Sauveron [email protected] http://damien.sauveron.free.fr/ GT SeFSI 3 octobre 2006 Le Campus du Royal
Dr. STYLIANI KLEANTHOUS LOIZOU CURRICULUM VITAE
Dr. STYLIANI KLEANTHOUS LOIZOU CURRICULUM VITAE Personal Details Name: Date of Birth: 21/06/1981 Nationality: Cypriot Marital Status: Married E-Mail: [email protected] or [email protected]
M. Lamine BA Post-doc fellow
M. Lamine BA Post-doc fellow 212 rue de Tolbiac 75013 Paris, France H (+33) 6-66-80-75-60 B [email protected] Í http://perso.telecom-paristech.fr/ ba Personal data January 4, 1984 Dakar,
STUDY BUSINESS IN PARIS! EXPAND YOUR HORIZONS!
STUDY BUSINESS IN PARIS! EXPAND YOUR HORIZONS! 5 GOOD REASONS TO CHOOSE ISC PARIS ACADEMIC EXCELLENCE Effective teaching methods and high academic standards. LEARNING THROUGH EXPERIENCE One of the best
Security/Privacy Models for "Internet of things": What should be studied from RFID schemes? Daisuke Moriyama and Shin ichiro Matsuo NICT, Japan
Security/Privacy Models for "Internet of things": What should be studied from RFID schemes? Daisuke Moriyama and Shin ichiro Matsuo NICT, Japan 1 Internet of Things (IoT) CASAGRAS defined that: A global
Detailed CV. 2009 2012 Ph.D. degree, Télécom Bretagne, Brest, France. Evolutionary Computation, Combinatorial Optimization, Human-Computer Interaction
Sahbi BEN ISMAIL Ph.D. Student and Teaching Assistant in Computer Science 55 Rue de Béniguet, La Trinité 29280 Plouzané, France H +33 (0)6 70 38 31 71 T +33 (0)2 29 00 11 40 u +33 (0)2 29 00 10 30 B [email protected]
Curriculum Vitae. Géraldine Heilporn
Curriculum Vitae Géraldine Heilporn Géraldine HEILPORN Email: [email protected] Web: http://homepages.ulb.ac.be/ gheilpor/ Citizenship: Belgian. Permanent resident of Canada since May, 2008 Education
Curriculum Vitae et Studiorum Dossier n. 48773. Cinzia Di Giusto
Curriculum Vitae et Studiorum Dossier n. 48773 Cinzia Di Giusto December 31, 2010 Personal Information: Date of birth: Nationality: Di Giusto, Cinzia Oct 17, 1979 in Udine, Italy Italian Home address:
A Secure Model for Medical Data Sharing
International Journal of Database Theory and Application 45 A Secure Model for Medical Data Sharing Wong Kok Seng 1,1,Myung Ho Kim 1, Rosli Besar 2, Fazly Salleh 2 1 Department of Computer, Soongsil University,
Information Security Basic Concepts
Information Security Basic Concepts 1 What is security in general Security is about protecting assets from damage or harm Focuses on all types of assets Example: your body, possessions, the environment,
Curriculum Vitæ. David Pichardie. 29D avenue du Bois Labbé 35000 Rennes France. [email protected]. http://www.irisa.fr/celtique/pichardie/
Curriculum Vitæ David Pichardie Personal Details Nationality French Date of Birth 30 April 1977 Familial Position Home Address Office Address Married 29D avenue du Bois Labbé 35000 Rennes France IRISA,
Section des Unités de recherche. Evaluation report. Research unit : Troubles du comportement alimentaire de l adolescent. University Paris 11
Section des Unités de recherche Evaluation report Research unit : Troubles du comportement alimentaire de l adolescent University Paris 11 Mars 2009 Section des Unités de recherche Rapport d'évaluation
DR AYŞE KÜÇÜKYILMAZ. Yeditepe University Department of Computer Engineering Kayışdağı Caddesi 34755 Istanbul Turkey
DR AYŞE KÜÇÜKYILMAZ Yeditepe University Department of Computer Engineering Kayışdağı Caddesi 34755 Istanbul Turkey http://cse.yeditepe.edu.tr/~akucukyilmaz [email protected] QUALIFICATIONS
CURRICULUM VITAE SPENCER BACKMAN
CURRICULUM VITAE SPENCER BACKMAN Address: Department of Computer Science University of Rome La Sapienza Viale Regina Elena 295 Palazzine F complesso ex Regina Elena 00161 Rome, Italy Email addresses: [email protected]
Master s Degree in INTERNATIONAL MARKETING & SALES MANAGEMENT Official Master s Degree European Higher Education Area
Master s Degree in INTERNATIONAL MARKETING & SALES MANAGEMENT Official Master s Degree European Higher Education Area 2 Why study at IQS? IQS is a Higher Education Center founded by the Society of Jesus,
Curriculum Vitae Emmanuel Comte
Curriculum Vitae Emmanuel Comte PERSONAL INFORMATION Institutional address Email address Website Max Weber Programme, European University Institute, Via delle Fontanelle, 19, 50014 San Domenico di Fiesole
THOURAYA TRIKI PERSONAL DETAILS. Address: E-mail: [email protected] Date of Birth: April 9 th, 1976 Citizenships: Tunisian, Canadian
THOURAYA TRIKI PERSONAL DETAILS Address: E-mail: [email protected] Date of Birth: April 9 th, 1976 Citizenships: Tunisian, Canadian PROFESSIONAL EXPERIENCE January 2010- Present: Senior Research Economist,
Information Security at ETH Zurich Institute of Information Security at ETH Zurich Zurich Information Security and Privacy Center
Information Security at ETH Zurich Institute of Information Security at ETH Zurich Zurich Information Security and Privacy Center Department of Computer Science Introduction Our society is undergoing a
SOPHIE MOINAS IAE TOULOUSE. Université Toulouse 1 Capitole. CRM, Toulouse School of Economics, IDEI
SOPHIE MOINAS IAE TOULOUSE Université Toulouse 1 Capitole CRM, Toulouse School of Economics, IDEI Contact Manufacture des Tabacs MF311 Université Toulouse 1 Capitole 21 allées de Brienne 31000 TOULOUSE,
Curriculum Vitae. Professor Paul Lescot
Curriculum Vitae Professor Paul Lescot LMRS, CNRS UMR 6085 UFR des Sciences et Techniques Université de Rouen Avenue de l Université BP12 76801 Saint-Etienne du Rouvray FRANCE Phone (+33) (0)2 32 95 52
Standardization of Components, Products and Processes with Data Mining
B. Agard and A. Kusiak, Standardization of Components, Products and Processes with Data Mining, International Conference on Production Research Americas 2004, Santiago, Chile, August 1-4, 2004. Standardization
Welcome to: M2R Informatique & MoSIG Master of ScienceSep. in Informatics 18, 2009 Joseph 1 / 1Fou
Welcome to: M2R Informatique & MoSIG Master of Science in Informatics Joseph Fourier University of Grenoble & Grenoble INP UFR IMAG http://www-ufrima.imag.fr & ENSIMAG http://ensimag.grenoble-inp.fr Sep.
CURRICULUM VITAE. Igor V. Maslov. 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304. Web: http://www.columbia.edu/~ivm3/
CURRICULUM VITAE 1 Igor V. Maslov Contact information 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304 Tokyo 151-0073 E-mail: [email protected] Japan Web: http://www.columbia.edu/~ivm3/ Education
Curriculum Vitae of Paola Boito
Curriculum Vitae of Paola Boito Personal information Born on 1 st August 1978 in Asolo (TV), Italy. Italian citizenship. E-mail: [email protected] [email protected] Homepage: http://www.mathcs.emory.edu/~boito
Antonino Freno. Curriculum Vitae. Phone (office): Office: +33 (0)3 59 35 87 27. [email protected]; http://researchers.lille.inria.fr/~freno/.
Antonino Freno Curriculum Vitae Personal Information First name: Antonino Family name: Freno Date of birth: July 1, 1980 Place of birth: Reggio Calabria (RC) Italy Citizenship: Italian Phone (office):
Dr. Waleed A. Alrodhan (Biographical Sketch)
Dr. Waleed A. Alrodhan (Biographical Sketch) Waleed was born in the Kingdom of Saudi Arabia in 1981. He has received his B.Sc. degree in Computer Sciences from King Saud University (2002), his M.Sc. degree
Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5. Victoria Kostina
Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5 Victoria Kostina Department of Electrical Engineering www.caltech.edu/~vkostina California Institute of Technology, CA 91125 [email protected]
Laurea Degree (M.Sc. equivalent) in Computer Science 25 July 2002
ANNA LISA FERRARA CURRICULUM VITAE CONTACT INFORMATION Department of Computer Science University of Bristol Merchant Ventures Building Woodland Road Bristol BS8 1UB United Kingdom E-mail: [email protected]
MATTEO RIONDATO Curriculum vitae
MATTEO RIONDATO Curriculum vitae 100 Avenue of the Americas, 16 th Fl. New York, NY 10013, USA +1 646 292 6641 [email protected] http://matteo.rionda.to EDUCATION Ph.D. Computer Science, Brown University,
Call for applications
Call for applications PLEASE READ CAREFULLY BEFORE COMPLETING THE APPLICATION FORM FOR A BY THE CREDIT AGRICOLE S.A/FRENCH MINISTRY OF FOREIGN AND EUROPEAN AFFAIRS. The French Ministry of Foreign and European
CURRICULUM VITAE Stéphane VILLENEUVE
CURRICULUM VITAE Stéphane VILLENEUVE Born 25 February 1971 Married, Two children CRM-IDEI Université des Sciences Sociales Manufacture des Tabacs 21 allée de Brienne 31000 TOULOUSE Tél: 33 (0)5-61-63-57-27
12/06/2014. Kim Bartlett, Director of Admissions Laurens Verkade, Graduate Admissions Specialist. ARUCC, 15 juin 2014
Kim Bartlett, Director of Admissions Laurens Verkade, Graduate Admissions Specialist ARUCC, 15 juin 2014 1 The Maghreb is isolated from the rest of Africa by the Sahara desert main influences come from
Curriculum Vitae. Personal data. Work Experience
Curriculum Vitae Personal data Family name Ricci First name Claudio Date of birth 23/02/1983 Place of birth Rome (IT) Homepage www.claudioricci.eu Mail address [email protected] Address Dept.