Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking

Stefan Marksteiner, Mikael Sjödin, Marjan Sirjani

Security verification of communication protocols in industrial and safety-critical systems is challenging because implementations are often proprietary, accessible only as black bo…