Author

Konstantinos Sagonas

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Open access 2026

PSF: A Generic and Extensible Framework for Protocol State Fuzzing

. In recent years, protocol state fuzzing has emerged as an eﬀective technique to analyze and test network protocol implementations, uncovering numerous security vulnerabilities, bugs, and non-conformance issues in them. This paper presents ProtocolState-Fuzzer ( PSF ), an open source, generic, modular, and extensible...

Konstantinos Sagonas, Thanos Typaldos · International Conference on... · 0 citations

Open access Aug 2026

SLλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${SL}^{\lambda }$$\end{document}: A Scalable Algorithm for Register

Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite state machine models, such as Mealy machines or deterministic finite automata. For...

Simon Dierl, P. Fiterău-Broştean, F. Howar et al. · Journal of automated reasoni... · 0 citations