P. Fiterau-Brostean

Source code and data relevant for the paper 'Model Learning and Model Checking of SSH Implementations'

Frits W. Vaandrager, Erik Poll, P. Fiterau-Brostean, 2018 .

Combining Model Learning and Model Checking to Analyze TCP Implementations

Frits W. Vaandrager, P. Fiterau-Brostean, Ramon Janssen, 2016, CAV.

Analysis of DTLS Implementations Using Protocol State Fuzzing

Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky, 2020, USENIX Security Symposium.

Source code and data relevant for the paper 'Model Learning as a Satisfiability Modulo Theories Problem'

Frits W. Vaandrager, P. Fiterau-Brostean, Rick Smetsers, 2017 .

Source code and data relevant for the paper 'Learning-Based Testing the Sliding Window Behavior of TCP Implementations'

Falk Howar, P. Fiterau-Brostean, 2017 .

Active Model Learning for the Analysis of Network Protocols

P. Fiterau-Brostean, 2018 .