Paul Fiterau-Brostean

According to our database, Paul Fiterau-Brostean authored at least 11 papers between 2014 and 2024.

Collaborative distances:

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

2024

Scalable Tree-based Register Automata Learning.

Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations.

Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2022

DTLS-Fuzzer: A DTLS Protocol State Fuzzer.

Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.

Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2020

Analysis of DTLS Implementations Using Protocol State Fuzzing.

Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky

Proceedings of the 29th USENIX Security Symposium, 2020

2018

Model Learning as a Satisfiability Modulo Theories Problem.

Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager

Proceedings of the Language and Automata Theory and Applications, 2018

2017

Model learning and model checking of SSH implementations.

Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Learning-Based Testing the Sliding Window Behavior of TCP Implementations.

Paul Fiterau-Brostean, Falk Howar

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Combining Model Learning and Model Checking to Analyze TCP Implementations.

Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Learning Register Automata with Fresh Value Generation.

Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Learning Fragments of the TCP Network Protocol.

Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager

Proceedings of the Formal Methods for Industrial Critical Systems, 2014