Browsing by Author "Scandariato, Riccardo"
Now showing 1 - 5 of 5
- Results Per Page
- Sort Options
Publication A lingua franca for security by design
Proceedings paper2018, Proceedings - 2018 IEEE Cybersecurity Development Conference, SecDev 2018, 30/09/2018Publication A model for provably secure software design
Proceedings paper2017, Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering - FormaliSE, 20/05/2017, p.3-9Publication Contextualisation of data flow diagrams for security analysis
Publication Design notations for secure software: a systematic literature review
Journal article2017, Software and Systems Modeling, (16) 3, p.809-831Publication Towards automated security design flaw detection
Proceedings paper2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 11/11/2019