Towards Automating Safety and Security Co-Analysis with Patterns

Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam

39th International Conference on Computer Safety, Reliability and Security (SafeComp),

September 2020 · Lisbon, Portugal