3 papers
cs.SE2025
WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
Thomas Rooijakkers, Anne Nijsten, Cristian Daniele +3
Many business processes currently depend on web services, often using REST APIs for communication. REST APIs expose web service functionality through endpoints, allowing easy clien…
cs.CR2025
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
Michiel Marcus, Frank Westers, Anne Nijsten
In this work, we propose a class of equational theories for bounded binary circuits that have the finite variant property. These theories could serve as a building block to specify…
cs.IT2024
Knot Theory and Error-Correcting Codes
Altan B. Kilic, Anne Nijsten, Ruud Pellikaan +1
This paper builds a novel bridge between algebraic coding theory and mathematical knot theory, with applications in both directions. We give methods to construct error-correcting c…