Marcus Gelderie

According to our database, Marcus Gelderie authored at least 13 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

On the Privacy Afforded by Opaque Identifiers in Traffic Monitoring.

Marcus Gelderie

Proceedings of the 21st International Conference on Security and Cryptography, 2024

Impact and Performance of Randomized Test-Generation Using Prolog.

Marcus Gelderie, Maximilian Luff, Maximilian Peltzer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

Differential Privacy for Distributed Traffic Monitoring in Smart Cities.

Marcus Gelderie, Maximilian Luff, Lukas Brodschelm

Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024

Using ILP to Learn AppArmor Policies.

Lukas Brodschelm, Marcus Gelderie

Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024

2022

Seccomp Filters from Fuzzing.

Marcus Gelderie, Valentin Barth, Maximilian Luff, Julian Birami

Proceedings of the 19th International Conference on Security and Cryptography, 2022

Application Sandboxing for Linux Desktops: A User-friendly Approach.

Lukas Brodschelm, Marcus Gelderie

Proceedings of the 19th International Conference on Security and Cryptography, 2022

2017

Classifying recognizable infinitary trace languages using word automata.

Namit Chaturvedi, Marcus Gelderie

Inf. Comput., 2017

2014

Strategy machines: representation and complexity of strategies in infinite games.

Marcus Gelderie

PhD thesis, 2014

Weak $ω$-Regular Trace Languages.

Namit Chaturvedi, Marcus Gelderie

CoRR, 2014

2013

Strategy Composition in Compositional Games.

Marcus Gelderie

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

Strategy Machines and Their Complexity.

Marcus Gelderie

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2011

Memory Reduction via Delayed Simulation

Marcus Gelderie, Michael Holtmann

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

Classifying Regular Languages via Cascade Products of Automata.

Marcus Gelderie

Proceedings of the Language and Automata Theory and Applications, 2011