Konstantinos Sagonas

◀ ▶ joint publications with Paul Fiterau-Brostean

> Home > Persons > Konstantinos Sagonas

Publications

2024
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DierlFHJST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DierlFHJST24
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. TACAS (2) 2024: 87-108
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14324
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. CoRR abs/2401.14324 (2024)
2023
[c106]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ndss/Fiterau-Brostean23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/Fiterau-Brostean23
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. NDSS 2023
2022
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AsadianFJS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AsadianFJS22
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas:
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. ICST 2022: 70-81
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/Fiterau-Brostean22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/Fiterau-Brostean22
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
DTLS-Fuzzer: A DTLS Protocol State Fuzzer. ICST 2022: 456-458
2020
[c97]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/Fiterau-Brostean20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/Fiterau-Brostean20
Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky:
Analysis of DTLS Implementations Using Protocol State Fuzzing. USENIX Security Symposium 2020: 2523-2540

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.