Bart Jacobs - Publications#

• http://www.cs.ru.nl/~bart/PAPERS/index.html
• http://scholar.google.nl/citations?hl=en&user=c2b9xloAAAAJ
  

• F. Garcia and B. Jacobs (2011). Privacy-friendly energy-metering via homomorphic encryption. J. Cuellar, J. Lopez, G. Barthe, and A. Pretschner, editors, Security and Trust Management, Springer LNCS 6710, 226–238.
  
• C. Heunen and B. Jacobs (2010). Quantum logic in dagger kernel categories. Order, 27(2):177–212.
  
• F. Garcia, G. de Koning Gans, R. Muijrers, P. van Rossum, R. Verdult, R. Wichers Schreur, and B.Jacobs (2008). Dismantling MIFARE Classic. In S. Jajodia and J. Lopez, editors, Computer Security - ESORICS 2008, Springer LNCS 5283, 97–114.
  
• I. Hasuo, B. Jacobs, and A. Sokolova (2007). Generic trace theory via coinduction. Logical Methods in Comp. Sci., 3(4:11).
  
• J.-H. Hoepman and B. Jacobs (2007). Increased security through open source. Communications of the ACM, 50(1):79–83.
  
• B. Jacobs (2006). A bialgebraic review of deterministic automata, regular expressions and languages. In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Springer LNCS 4060, 375–404.
  
• J.-H. Hoepman, E. Hubbers, B. Jacobs, M. Oostdijk, and R. Wichers Schreur (2006). Crossing borders: Security and privacy issues of the European e-Passport. In Advances in Information and Computer Security, Springer LNCS 4266, 152–167.
  
• B. Jacobs (2001). Many-sorted coalgebraic modal logic: a model-theoretic study. RAIRO-Theor. Inform. and Appl., 35(1):31–59.
  
• B. Jacobs and E. Poll (2001). A logic for the Java Modeling Language JML. In H. Hussmann, editor, Fundamental Approaches to Software Engineering (FASE), Springer LNCS 2029, 284–299.
  
• B. Jacobs. Categorical Logic and Type Theory. North Holland, Amsterdam, 1999.