Login / Signup
Analysis of DTLS Implementations Using Protocol State Fuzzing.
Paul Fiterau-Brostean
Bengt Jonsson
Robert Merget
Joeri de Ruiter
Konstantinos Sagonas
Juraj Somorovsky
Published in:
USENIX Security Symposium (2020)
Keyphrases
</>
data analysis
statistical analysis
real time
machine learning
bayesian networks
multiscale
search algorithm
state space
low cost
lightweight
quantitative analysis
formal analysis