Selected talks of Bart Jacobs

2013

• Computer Security. An interdisciplinary Field, Invited presentation at the research day of the Nijmegen School of Management, 5 June 2013, Nijmegen
  [Slides]
• IRMA Math, Invited lecture on national Kaleidoscoop meeting form mathematics students in NL, 17 May 2013, Nijmegen
  [Slides]
• Towards Practical Attribute-Based Identity Management: the IRMA Trajectory, Invited Keynote at: Policies & Research in Identity Management (IdMan 2013), 8-9 April 2013, Royal Holloway.
  [Slides] [IRMA webpage]
• Cyber Security and Privacy, as part of the panel discussion Building The Digital Fortress: A Toolkit For Cyber Security, chaired by Sophie in 't Veld, Brussels, 23/1/2013.
  [YouTube video of the whole panel discussion]

2012

• Cyber Security, Security conference SURFcert, SURFibo, Deventer, 10 feb. 2012
  [Slides]

2011

• Attribute-based Authentication, Govcert Symposium 2011, Rotterdam, 16 nov. 2011.
  [Slides]
• Cryptografie: ontwikkelingen en valkuilen bij gebruik, lecture given by Eric Verheul, on an adaptation of the signing set-up used by Certificate Authorities.
  [Slides]
• Introduction to Coalgebra, five lecture series at 16th Estonian Winter School in Computer Science EWSCS 2011, Estonia, 28/2 - 4/3, 2011.
  [Slides][EWSCS website]

2010

• Privacy and Security Issues in e-ticketing, Invited talk at Workshop on Foundations of Security and Privacy FCS-PrivMod 2010, Edinburgh, 14-15 July 2010.
  [Slides]

2009

• Road Pricing Architectures, SURFnet and SURFibo two-day security conference, The Hage, 4-5 feb. 2010.
  A poll was held at the conference, where the audience (about 130 people) could express their preference for particular architectures and approaches. The outcome of the poll has been added (later) in the margin of the last slide with the questions.
  [Slides]

2009

• Security and Privacy Issues in Embedded Systems, Bits and Chips Embedded Systems Symposium, Evoluon, Eindhoven, 12 nov. 2009.
  [Slides]
• Security and Privacy Issues in Electricity Metering (with Marko van Eekelen), Govcert Symposium, Rotterdam, 6-7 okt. 2009.
  [Slides]
• Keeping our Surveillance Society Non-Totalitarian (in dutch), Fox-IT 10 year celebration, Maarssen, 3/9/2009
  [Slides] [Accompanying paper]
  
• EPD, privacy en security (in dutch), Symposium Elektronisch Zorg Dossier (EZD), Vianen, 25/3/2009
  [Slides]
  
• Computers, Privacy and Data Protection, Brussels, 16-17/1/2009.
  [Slides]
  

2008

• Privacy en identity management (in dutch), TNT Post business-seminar, Kasteel Wittenburg, Wassenaar, 10/12/08.
  [Slides]
  
• Geheim!, Parallelle Werelden bijeenkomst van NWO EW, Muziekgebouw aan 't IJ, Amsterdam, 8/12/08.
  [Slides]
  
• Privacy-friendly Electronic Traffic Pricing via Commits
  Formal Aspects in Security and Trust (FAST2008), Malaga, Spain, 9-10/10/08.
  [Slides]
  
• Practical Issues in Electronic Voting
  Invited lecture at Fosad 2008 summer school, Bertinori, Italy.
  [Slides]
  
• Smart Cards in Public Transport: the Mifare Classic Case
  Talk given at various occasions.
  [Slides]
  
• Reactief en Proactief Gebruik van Informatie
  Talk at a meeting about privacy and information in criminal law of the student association N.C.S.V. Dr. Nico Muller on 19/2/08.
  [Slides]
  

2007

• Voting in the Netherlands Revisited
  Talk oa. at the information security conference of the Platform voor InformatieBeveiliging, Bussum, 10/10/07.
  [Slides]
  
• Informatica. De jongste telg.
  Talk at the 50th anniversary of the Science Faculty at Nijmegen, 8/10/07.
  [Slides (in Dutch)]
  
• Wie beheert mijn dossier? Centraal versus de-centraal gegevenbeheer
  One day symposium Hoe belangrijk is privacy?, Amsterdam, 1 june. 2007.
  [Slides (in Dutch)]
  

2006

• A Security Review of the Biometric Passport
  Govcert.nl symposium at The Hague, 14-15 sept. 2006.
  [Slides]
  
• Structuring Computations
  Invited talk at Types 2006, Nottingham, 18 april 2006.
  [Slides]
  
• Identity Management bij de overheid (in Dutch)
  ICT kenniscongres 2006, 10 april 2006.
  [Slides]
  
• Privacy voor persoonlijke veiligheid (in Dutch)
  Expertmeeting College Bescherming Persoonsgegevens (Data Protection Authority) on Burger Service Nummer, The Hague, 30 jan. 2006.
  [Slides]

2005

• A Security Review of the Biometric Passport (together with Ronny Wichers Schreur)
  LaQuSo symposium at Eindhoven, 24 nov. 2005. Earlier versions of this talk were delivered at Safe-NL day at Nijmegen, 25 june 2005, and computer security colloquium at Standford University 15 june 2005,
  [Slides]
  A minor update, with fewer technical details, and a bit about identity management was delivered at Tilburg Institute for Law, Technology, and Society (TILT), Tilburg, 15 feb. 2006.
  [Slides]
• Select before you Collect
  Govcert Symposium, The Hague, 9 sept. 2005,
  [Slides]

2004

• Security through Openness
  Symposium of the Open Standard Open Source Programme (OSOSS), Rotterdam, 4 nov. 2004.
  [Slides]
• Counting Votes with Formal Methods
  10th International Conference on Algebraic Methodology And Software Technology (AMAST'2004), 16 july 2004.
  [Slides]
  [The Java + JML open source files of the ``KOA'' project mentioned in this talk are available via OSOSS]
• Is remote voting far from reliabl?
  Congres Nederlandse Vereniging voor Burgerzaken, Noordwijkerhout, 22 april 2004.
  [Slides]
• Trace Semantics for Coalgebras
  Coalgebraic Methods in Computer Science (CMCS) 2004, Barcelona, 27-29 march 2004.
  [Paper]
• Relating two Approaches to Coinductive Solution of Recurisve Equations
  Coalgebraic Methods in Computer Science (CMCS) 2004, Barcelona, 27-29 march 2004.
  [Paper]
• Computer Security Basics
  UCI Beveiligingssymposium De Zwakste Schakel, Nijmegen, 23 march 2004.
• Java Program Verification at Nijmegen
  Language and Inference Technology (LIT) seminar, Univ. of Amsterdam 20 feb. 2004.

Selected, earlier talks

• FMOODS 2003, Paris, 19-21 nov. 2003.
  Title: Java's Integral Types in PVS
  
• IFIP Working Group 1.3 meeting in Menorca (Spain), 3 june 2003.
  Title: Java Program Verification Challenges
  (See also the associated Technical report.)
• (in Dutch) Docentendag bij negende facultaire lustrum, 28 nov. 2002.
  Title: Wie ben jij, en wat ga jij daar doen?
• Seminar talk, Kiel, 24 may 2002.
  Title: Java Program Verification for Smart Cards
• IPA Springdays on security, April 18-20 2001, Heeze, the Netherlands.
  Title: Verification of Cryptographic Protocols
• Workshop on Structure Preserving Relations, March 12-14, 2001, ETL Osaka, Japan
  Title: Assertional and Behavioural Refinement in Coalgebraic Specification
• Java Card Workshop, Cannes, 14 september 2000.
  Title: Formal Specification and Verification of JavaCard's Application Identifier Class
• Ifip WG1.3 Meeting, Stanford, June 2000.
  Title: Specification and Verification of the JavaCard API.
• CMCS'00 (Coalgebraic Methods in Computer Science) at Berlin (Germany), march, 2000.
  Title: Towards a Duality Result in Coalgebraic Modal Logic.
• LUATCS'99 (Logic, Universal Algebra, Theoretical Computer Science) at Johannesburg (South Africa), dec. 1999.
  Title: Exercises in Coalgebraic Specification.
• IPA Fall days on: Component-based Software development, at Dordrecht (The Netherlands), nov. 99. Title: Specification and Verification for Classes and Components.
• IFIP WG 1.3 (Foundations of System Specification) at Bonas (France), 13-14 sept. 99.
  Workshop on Categorical Models of Concurrency, Dresden 14-16 okt. 99.
  Title: Coalgebras and Temporal Logic.