| 2024 | Differential Privacy for Distributed Traffic Monitoring in Smart Cities (Full Version) Gelderie, M., Luff, M. and Brodschelm, L. This is an extended version with full proofs. Link Datei |
| 2024 | Impact and Performance of Randomized Test-Generation using Prolog Gelderie, M., Luff, M., Peltzer, M. (2024). In: Bowles, J., Søndergaard, H. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2024. Lecture Notes in Computer Science, vol 14919. Springer, Cham. https://doi.org/10.1007/978-3-031-71294-4_10 Datei |
| 2024 | Is attacking more fun than defending? — Observations from Developing and Evaluating Practical Game Based Learning Barth, V.; Wanner, T.; Gelderie, M.; Schüle, J. Procedia Computer Science, Volume 246, 2024, Pages 3148-3157, ISSN 1877-0509, Link |
| 2024 | On the Privacy Afforded by Opaque Identifiers in Traffic Monitoring Gelderie, M. |
| 2024 | On the Privacy Afforded by Opaque Identifiers in Traffic Monitoring (Extended Version) Gelderie, M. Extended version with full proofs. A short version of this paper was be published in the Proceedings of the 21st International Conference on Security and Cryptography - SECRYPT; ISBN 978-989-758-709-2; ISSN 2184-7711, SciTePress, pages 798-803. DOI: 10.5220/0012833200003767 Datei |
| 2024 | Using ILP to Learn AppArmor Policies Brodschelm L. and Gelderie, M. In Proceedings of the 10th International Conference on Information Systems Security and Privacy (ICISSP 2024), pages 766-773. Link Datei |
| 2022 | All Work and No Play – Game-Based vs. Text-Based Learning in IT-Security Marcus Gelderie, Tamara Wanner; In: Uskov, V.L., Howlett, R.J., Jain, L.C. (eds) Smart Education and e-Learning - Smart Pedagogy. SEEL-22 2022. Smart Innovation, Systems and Technologies, vol 305. Springer, Singapore. Link Datei |
| 2022 | Application Sandboxing for Linux Desktops: A User-friendly Approach Lukas Brodschelm, Marcus Gelderie; SECRYPT 2022: 317-324 Link Datei |
| 2022 | Seccomp Filters from Fuzzing Marcus Gelderie, Valentin Barth, Maximilian Luff, Julian Birami; SECRYPT 2022: 507-512 Link Datei |
| 2017 | Classifying recognizable infinitary trace languages using word automata Namit Chaturvedi, Marcus Gelderie; Inf. Comput. 256: 23-34 (2017) |
| 2014 | Classifying Recognizable Infinitary Trace Languages Using Word Automata Namit Chaturvedi, Marcus Gelderie; MFCS (1) 2014: 171-182 |
| 2014 | Weak ω-Regular Trace Languages Namit Chaturvedi, Marcus Gelderie; CoRR abs/1402.3199 (2014) |
| 2013 | Strategy Composition in Compositional Games Marcus Gelderie; ICALP (2) 2013: 263-274 |
| 2012 | Strategy Machines and Their Complexity Marcus Gelderie; MFCS 2012: 431-442 |
| 2011 | Classifying Regular Languages via Cascade Products of Automata Marcus Gelderie; Informatiktage 2011: 19-22 |
| 2011 | Classifying Regular Languages via Cascade Products of Automata Marcus Gelderie; LATA 2011: 286-297 |
| 2011 | Memory Reduction via Delayed Simulation Marcus Gelderie, Michael Holtmann; iWIGP 2011: 46-60 Link |
