I agree that this site is using cookies. You can find further informations here.
X
Fiterau-Brostean, Paul
9  results:
Search for persons X
?
1

Monitor-based Testing of Network Protocol Implementations U..:

, In: Proceedings of the 19th International Conference on Availability, Reliability and Security,
Asadian, Hooman ; Fiterau-Brostean, Paul ; Jonsson, Bengt. - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Scalable Tree-based Register Automata Learning:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Dierl, Simon ; Fiterau-Brostean, Paul ; Howar, Falk... - p. 87-108 , 2024
Link: https://doi.org/10.1007/..
 
?
3

DTLS-Fuzzer: A DTLS Protocol State Fuzzer:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),
Fiterau-Brostean, Paul ; Jonsson, Bengt ; Sagonas, Konstantinos. - p. 456-458 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Applying Symbolic Execution to Test Implementations of a Ne..:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),
Asadian, Hooman ; Fiterau-Brostean, Paul ; Jonsson, Bengt. - p. 70-81 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Model learning and model checking of SSH implementations:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,
Fiterău-Broştean, Paul ; Lenaerts, Toon ; Poll, Erik... - p. 142-151 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

Scalable Tree-based Register Automata Learning:

Dierl, Simon ; Fiterau-Brostean, Paul ; Howar, Falk...
http://arxiv.org/abs/2401.14324.  , 2024
Link: http://arxiv.org/abs/240..
 
?
7

Analysis of DTLS Implementations Using Protocol State Fuzzi..:

Fiterau-Brostean, Paul ; Jonsson, Bengt ; Merget, Robert...
Proceedings of the 29th USENIX Security Symposium, p. 2523-2540.  , 2020
Link: http://urn.kb.se/resolve..
 
?
8

Replication material for the ICST 2022 paper: Applying symb..:

Hooman Asadian ; Paul Fiterau-Brostean ; Bengt Jonsson.
doi:10.5281/zenodo.5929866.  , 2022
Link: https://zenodo.org/recor..
 
?
9

Artifact for the Paper 'Automata-Based Automated Detection ..:

Paul Fiterău-Broştean ; Bengt Jonsson ; Konstantinos Sagonas.
doi:10.5281/zenodo.7129239.  , 2022
Link: https://zenodo.org/recor..
 
1-9