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

This article implements an effective and scalable register automata (RA) learning algorithm that significantly reduces the number of membership queries required for inferring models by up to an order of magnitude and achieves this by combining a tree-based cost-efficient data structure with mechanisms for computing sho...

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