@inproceedings {usenix20,
  author = {Paul Fiterau-Brostean and Bengt Jonsson and Robert Merget and Joeri de Ruiter and Konstantinos Sagonas and Juraj Somorovsky},
  title = {Analysis of {DTLS} Implementations Using Protocol State Fuzzing},
  booktitle = {29th {USENIX} Security Symposium ({USENIX} Security 20)},
  year = {2020},
  isbn = {978-1-939133-17-5},
  pages = {2523--2540},
  publisher = {{USENIX} Association},
}