Radboud University
iCIS

Automata Wiki

  • Home
  • Please contribute!

Benchmarks

  • Overview
  • Benchmark structure
  • Modelling frameworks
  • Evaluation criteria
  • Downloads

Software

  • Scripts

People

  • Contributors

Further reading and links

  • Learning/testing tools
  • Other repositories
  • Bibliography
    print · login   
Home » Tag » Security

List of benchmarks tagged "Security"

See the page Tag/ for all defined tags. Tag.Security

  • Bankcard-AartsEtAl2013
  • DTLS-Fiterau-BrosteanEtAl2020
  • Edentifier2-ChaluparEtAl2014
  • IEC60870-5-104
  • SSH-Fiterau-BrosteanEtAl2017
  • TLS-Janssen2021
  • TLS-RuiterEtAl2015