https://hal.laas.fr/hal-02931717
Contributor : Jérémie Guiochet <>
Submitted on : Monday, September 7, 2020 - 10:40:53 AM Last modification on : Wednesday, September 9, 2020 - 3:56:02 PM Long-term archiving on: : Wednesday, December 2, 2020 - 9:24:01 PM
Yuri Dantas, Antoaneta Kondeva, Vivek Nigam. Towards Automating Safety and Security Co-Analysis with Patterns. 39th International Conference on Computer Safety, reliability and Security (SAFECOMP), Position Paper, Sep 2020, Lisbon, Portugal. ⟨hal-02931717⟩