Jacobs

Professor of Software Security and Correctness Digital Security (DS) Group, Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands.

 

 

 

My book Introduction to Coalgebra. Towards Mathematics of States and Observations is now available from Cambridge Univ. Press.

 

 

 

 

Personal website: https://www.cs.ru.nl/B.Jacobs/

Publications

 

Books

 

B. Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141, North Holland, Elsevier, 1999.

Please contact Elsevier or Amazon for information on how to order this book

 

E. Dommering, B. Jacobs, K. Spaink and D. van Weelden, Wie is U?, The Next Ten Years, Deel 5, Nijgh & Van Ditmar/XS4ALL, Amsterdam, 2010.

 

B. Jacobs, Introduction to Coalgebra. Towards Mathematics of States and Observations. Cambridge Univ. Press, 2016.

An earlier draft version is freely available, so that you can get an impression.

 

B. Jacobs, De Menselijke Maat in ICT, 2007. Free online book, in Dutch.

 

 

Papers

 

B. Jacobs. Quantum effect logic in cognition. Journ. Math. Psychology, 2017, published online.

 

K. Cho, B. Jacobs, Disintegration and Bayesian Inversion, Both Abstractly and Concretely, manuscript, 2017.

 

B. Jacobs, Hyper Normalisation and Conditioning for Discrete Probability Distributions. Logical Methods in Computer Science 13(3:17), 2017.

 

B. Jacobs, A Channel-Based Perspective on Conjugate Priors.

 

E. Verheul and B.Jacobs, Polymorphic Encryption and Pseudonymisation in Identity Management and Medical Research. Nieuw Archief voor Wiskunde NAW, 5/18, nr. 3, 2017, p. 168-172.

 

G. Alpár, F. van den Broek, B. Hampiholi, B. Jacobs, W. Lueks, S. Ringers. IRMA: practical, decentralized and privacy-friendly identity management using smartphones. 10th Workshop on Hot Topics in Privacy Enhancing Technologies (HotPETs 2017), Minneapolis, USA, 2017.

 

B. Jacobs, F. Zanasi, A Formal Semantics of Influence in Bayesian Reasoning. In: K. Larsen, H. Bodlaender and J.-F. Raskin (eds), Mathematical Foundations of Computer Science (MFCS), LIPIcs 83, 2017.

 

K. Cho, B. Jacobs, The EfProb Library for Probabilistic Calculations. In: F. Bonchi and B. König (eds), CALCO 2017. LIPIcs 72, 25:1-7, 2017 (Calco Tools session).

 

B. Jacobs, From Probability Monads to Commutative Effectuses. To appear in: Journ. of Logical and Algebraic Methods in Programming (JLAMP 156)

 

B. Jacobs, A Recipe for State-and-Effect Triangles. Logical Methods in Computer Science, 13(2), 2017

 

 

2016

K. Cho, B. Jacobs, Disintegration via Likelihood Relations, manuscript, 2016.

 

B. Jacobs, F. Zanasi, A Formal Semantics of Influence in Bayesian Reasoning, manuscript, 2016.

 

B. Jacobs and J. Mandemaker and R. Furber, The Expectation Monad in Quantum Foundations. In: Information and Computation, 250, p. 87-114.

 

B. Jacobs, From Probability Monads to Commutative Effectuses. To appear in: Journ. of Logical and Algebraic Methods in Programming (JLAMP 156)

 

F. van den Broek, B. Hampiholi, B. Jacobs, Securely derived identity credentials on smart phones via self-enrolment. In: G. Barthe and E. Markatos and P. Samarati (eds.), 12th International Workshop on Security and Trust Management (STM 2016), Springer LNCS 9871, p.106-121, 2016

 

B. Jacobs, Hyper Normalisation and Conditioning for Discrete Probability Distributions.

 

F.D. Garcia, B. Jacobs, The Fall of a Tiny Star. In: P. Ryan and D. Naccache and J.-J. Quisquater (eds.), The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday, Springer LNCS 9100, p.69-87, 2016

 

W. Hino, H. Kobayashi, I. Hasuo and B. Jacobs. Healthiness from Duality. Logic in Computer Science (LICS) 2016.

 

E. Verheul, B. Jacobs, C. Meijer, M. Hildebrandt and J. de Ruiter, Polymorphic Encryption and Pseudonymisation for Personalised Healthcare, whitepaper, 2016.

 

B. Jacobs and Fabio Zanasi, A predicate/state transformer semantics for Bayesian learning. In: L. Birdedal (ed), Mathematical Foundations of Program Semantics (MFPS 2016), ENTCS 325, p.185-200, 2016.

 

B. Jacobs, Effectuses from Monads. In: L. Birdedal (ed), Mathematical Foundations of Program Semantics (MFPS 2016), ENTCS 325, p.169-183, 2016.

 

B. Jacobs and C. Löding (eds), Foundations of Software Science and Computation Structures (FoSSaCS 2016), Springer LNCS 9634, Berlin, 2016.

 

B. Jacobs, Affine Monads and Side-Effect-Freeness, In: I. Hasuo (ed.), Coalgebraic Methods in Computer Science (CMCS 2016), Springer LNCS 9608, p.53-72, 2016.

 

B. Jacobs and J. Mandemaker, Relating Operator Spaces via Adjunctions. In: J. Chubb, V. Harizanov, and A. Eskandarian (eds.), Logic and Algebraic Structures in Quantum Computing, Lect. Notes in Logic 45, Cambridge Univ. Press, p.123-150, 2016.

 

B. Jacobs, Select while you collect. Over de voorgestelde interceptiebevoegdheden voor inlichtingen- en veiligheidsdiensten, Nederlands Juristen Blad (NJB), afl. 4, p.256-261, 19 Jan. 2016 (in Dutch).

 

Opinion articles/columns/letters

P. van Koppen and B. Jacobs, Het Tapsysteem in Nederland en de Teeven-Tap, open letter to the Minister of Justice about phone tapping, 10 feb. 2015. [copy] [reaction of the minister] [TV item]

B. Jacobs, Aftercare for the Internet of Things. In: CSR Magazine 2, published by the Dutch Cyber Security Council, p.61-62, Jan. 2016.

 

 

 

Presentations

 

2017

 

Attribute-based Authentication and Signatures, Dcypher meeting, Utrecht, 4/10/2017.

 

Zorg voor Privacy!, RadboudUMC Grand Round, Nijmegen, 18 Sept. 2017.

 

Formal Semantics of Influence in Bayesian Reasoning, Mathematical Foundations of Computer Science (MFCS 2017), Aalborg, 21-25 Aug, 2017.

 

Disintegration, REPAS (REliable and Privacy-Aware Software systems) Workshop, Ljubljana, 13 june 2017.

 

A Note on Distances between Probabilistic and Quantum distributions, Mathematical Foundations of Program Semantics MFPS XXXIII, Ljubljana, 12-16 june, 2017.

 

Privacy and Politics, conference Legal Valley, Arnhem, 7 March 2017.

 

De publieke zaak in de digitale wereld (Public interests in the digital world), meeting of the Pirate Party of the Netherlands, Delft, 28 jan. 2017.

 

 

2016

Polymorphic Encryption and Pseudonymisation (PEP), version of sept. 2016.

 

Affine Monads and Side-Effect-Freeness, Coalgebraic Methods in Computer Science (CMCS), 2-3 April 2016, Eindhoven.

2015

eID-developments, PI.lab yearly meeting 2015, Utrecht, 11 dec. 2015.

 

Privacy-friendly Attribute-Based Authentication, NII Shonan meeting on: Logic and Verification Methods in Security and Privacy, Oct. 26-29, 2015, Shonan, Japan.

 

Identity is so overrated, Hogan Lovells Vrouwennetwerk, Amsterdam, 8 oct. 2015.

 

A Recipe for State and Effect Triangles, Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), Nijmegen, 24-26 June 2015.

 

Effectus Theory, and Beyond, Amsterdam Quantum Logic Workshop 2015 (link), 7-8 May, 2015.

 

Secure self-enrolment via token step-up. IRMA meeting, Surnet, Utrecht, 16 jan. 2015.

 

2014

Public and Private Roles in a National e-Identity Infrastructure, Privacy and Identity Lab (PIlab.nl) yearly event, Amsterdam, 12 dec. 2014.

 

Big Data, Small Data, and Digital Care, KPN, The Hague, 27 oct. 2014.

 

Attributes in Action: Next generation of Electronic Idenitity Management, Trusted Cyber Collaboration Workshop (TSCP), 24-26 Sept. 2014, Washington.

 

Quantum predicates and instruments, Mathematical Foundations of Programming Semantics (MFPS XXX), Cornell University, 12-15 June 2014.

 

Perspectives on Categorical Quantum Logic, Prakash Fest: a conference in honour of Prakash Panangaden, on the occasion of his 60th birthday, Oxford, 13-25 May 2014.

 

Lectures on Kadison Duality, Spring School on Quantum Structures in Physics and Computer Science, Mathematical Institute, Oxford, 19-22 May 2014.

 

Dijkstra Monads in Monadic Computation, Coalgebraic Methods in Computer Science (CMCS 2014). April 5-6, 2014, Grenoble.

 

2013

Measurable Spaces and their Effect Logic, Logic in Computer Science (LICS 2013). June 25-28, 2013, New Orleans, USA.

 

Coalgebra and Quantum computation, Invited presentation in the MFPC-LICS Special Session on Coalgebra, Mathematical Foundations of Programming Semantics (MFPS 2013), New Orleans, June 23-25, 2013.

 

On Block Structures in Quantum Computation, Mathematical Foundations of Programming Semantics (MFPS 2013), New Orleans, June 23-25, 2013.

 

Grand Changes brought about by Computer Technology, 8th International IFIP Summer School on Privacy and Identity Management for Emerging Services and Technologies 17-21 June, 2013 in Berg en Dal, the Netherlands.

 

Computer Security. An interdisciplinary Field, Invited presentation at the research day of the Nijmegen School of Management, 5 June 2013, Nijmegen

 

IRMA Math, Invited lecture on national Kaleidoscoop meeting form mathematics students in NL, 17 May 2013, Nijmegen

 

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.

 

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.

 

2012

Cyber Security, Security conference SURFcert, SURFibo, Deventer, 10 feb. 2012

2011

Attribute-based Authentication, Govcert Symposium 2011, Rotterdam, 16 nov. 2011.

 

Cryptografie: ontwikkelingen en valkuilen bij gebruik, lecture given by Eric Verheul, on an adaptation of the signing set-up used by Certificate Authorities.

 

Introduction to Coalgebra, five lecture series at 16th Estonian Winter School in Computer Science EWSCS 2011, Estonia, 28/2 - 4/3, 2011.

 

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.

 

2009

Road Pricing Architectures, SURFnet and SURFibo two-day security conference, The Hage, 4-5 feb. 2010.

 

Other

 

PC member of Workshop on Security and Privacy in Cloud Computing (SPCC'10), Brussels.

PC member of IFIP WG 11.6 working conference on Policies & Research in Identity Management (IDMAN10, IDMAN07).

PC member of International Conference on E-voting and Identity Vote-Id 2009.

PC member for the workshop on Biometrics and Electronic Signatures BIOSIG 2009.

PC member of Conference on Algebra and Coalgebra in Computer Science Calco 2009, Calco 2007.

PC member of Tilting perspectives on regulating technologies, 10 - 11 December 2008, Tilburg University, Tilburg, the Netherlands.

PC member of European Symposium on Research in Computer Security (ESORICS) 2010.

PC member of the International Workshop on Formal Aspects in Security and Trust (FAST 2009).

PC member of Workshop on Information and System Security (WISSEC 2006), 8-9/11/2006, Antwerpen, Belgium.

PC member of International Colloquium on Automata, Languages and Programming (ICALP 2004).

PC member of Theorem Proving in Higher Order Logics (TPHOLs04, TPHOLs03, TPHOLs02, TPHOLs01, TPHOLs00, and TPHOLs99)

PC member of the Workshops on Coalgebraic Methods in Computer Science CMCS'03, CMCS'02, CMCS'01, CMCS'00, CMCS'99 and CMCS'98 at ETAPS.

PC member of Algebraic Methods and Software Technology (AMAST2002)

PC member of Mathematics of Program Construction (MPC2002)

PC member of Category Theory and Computer Science (CTCS2004, CTCS2002)

Co-organiser (together with Erik de Vink) of the 2001 IPA Springdays on security (April 18-20, Heeze, the Netherlands).

PC member of Logic in Computer Science 2000 (LICS'00.)

PC member of Foundations of Software Science and Computation Structures (FOSSACS'01)

Co-organiser and PC-chair of FMOODS'02.

Co-organiser of the workshops FTfJP'99 and FTfJP'00 on Formal Techniques for Java Programs, at the European Conference on Object-Oriented Programming ECOOP'99 and ECOOP'00 together with Gary T. Leavens (Iowa, USA), Arnd Poetzsch-Heffter (Hagen, Germany), Peter Mueller (Hagen, Germany) and Bart Jacobs.

Co-organiser of Precise Modelling and Deduction for Object-oriented Software Development (PMD'01) at IJCAR

Guest editor of a special issues of Theoretical Computer Science, containing a selection of the papers from CMCS'98 (TCS volume 260, issue 1-2). Similarly for CMCS'99 (TCS volume 280, issue 1-2).