Formal Methods and Model-based Security Testing

For this session of DIGILIENCE 2019 we invite submission on the following sub-themes: security modelling

• model learning from security perspective
• security functional testing
• model-based fuzzing
• risk- and threat-oriented testing
• security test patterns

The organization of this session is led by Professor Jüri Vain.