Paul Fiterau-Brostean

17 papers A* 2A 3B 1C 3Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
State Fuzzing DTLS 1.3 Implementations.
CSCN
Nanxi Chen, Paul Fiterau-Brostean, Konstantinos Sagonas
2024 J jnl
Completeness of FSM Test Suites Reconsidered.
CoRR
Frits W. Vaandrager, Paul Fiterau-Brostean, Ivo Melse
2024 B conf
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution.
ARES
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
2024 A conf
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs.
ISSTA
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024 — conf
Scalable Tree-based Register Automata Learning.
TACAS (2)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024 J jnl
Scalable Tree-based Register Automata Learning.
CoRR
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024 — conf
Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP.
CSCN
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
2023 A* conf
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations.
NDSS
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2022 A conf
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.
ICST
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
2022 A conf
DTLS-Fuzzer: A DTLS Protocol State Fuzzer.
ICST
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2020 A* conf
Analysis of DTLS Implementations Using Protocol State Fuzzing.
USENIX Security Symposium
Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky
2018 C conf
Model Learning as a Satisfiability Modulo Theories Problem.
LATA
Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager
2017 — conf
Learning-Based Testing the Sliding Window Behavior of TCP Implementations.
FMICS-AVoCS
Paul Fiterau-Brostean, Falk Howar
2017 — conf
Model learning and model checking of SSH implementations.
SPIN
Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg
2016 — conf
Combining Model Learning and Model Checking to Analyze TCP Implementations.
CAV (2)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
2015 C conf
Learning Register Automata with Fresh Value Generation.
ICTAC
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager
2014 C conf
Learning Fragments of the TCP Network Protocol.
FMICS
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager