Stjepan Picek (2017), Evolutionary Computation and Cryptology, In GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion p.1066-1093, Association for Computing Machinery (ACM).

Sicco Verwer, Christian A. Hammerschmidt (2017), flexfringe: A Passive Automaton Learning Package, L. O'Conner (Eds.), In 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017 p.638-642.

Daco Harkes, Eelco Visser (2017), IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition, Peter Müller (Eds.), In 31st European Conference on Object-Oecoopriented Programming, ECOOP 2017 p.1-29.

Daco C. Harkes, Eelco Visser (2017), IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact), In Dagstuhl Artifacts Series Volume 3 p.1:1-1:2.

Thijs Veugen, Jeroen Doumen, Zekeriya Erkin, Nino Pellegrino, Sicco Verwer, Jos Weber (2017), Improved privacy of dynamic group services, In Eurasip Journal on Information Security Volume 2017 p.1-9.

Robbert Krebbers, Amin Timany, Lars Birkedal (2017), Interactive proofs in higher-order concurrent separation logic, In POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages p.205-217, Association for Computing Machinery (ACM).

Mark Luchs, Christian Doerr (2017), Last Line of Defense: A Novel IDS Approach Against Advanced Threats in Industrial Control Systems, M. Polychronakis, M. Meier (Eds.), In Detection of Intrusions and Malware, and Vulnerability Assessment DIMVA 2017 p.141-160, Springer.

Nino Pellegrino, Qin Lin, Christian Hammerschmidt, Sicco Verwer (2017), Learning behavioral fingerprints from Netflows using Timed Automata, P. Chemouil, E. Monteiro, M. Charalambides, E. Madeira, P. Simoes, S. Secci, L.P. Gaspary, C.R.P. dos Santos (Eds.), In 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) p.308-316.

Sicco Verwer, Yingqian Zhang (2017), Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization, D. Salvagnin, M. Lombardi (Eds.), In Integration of AI and OR Techniques in Constraint Programming p.94-103, Springer.

Christian A. Hammerschmidt, Sebastian Garcia, Sicco Verwer, Radu State (2017), Reliable Machine Learning for Networking: Key Issues and Approaches, In 2017 IEEE 42nd conference on Local Computer Networks, LCN 2017 p.167-170.