Publications
- A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design SN Computer Science, 5(5):, May 2024. Details DOI BIB
- A Toolchain for Synthesizing and Validating Safety Architectures SN Computer Science, 4(4):335, April 2023. Details DOI BIB
- Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, March 2023. IEEE. Details DOI BIB
- Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns Transactions on Cyber-Physical Systems, 7(1):, February 2023. Details DOI BIB
- Automating Vehicle SOA Threat Analysis using a Model-Based Methodology In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), pages 180-191, February 2023. SciTePress. Details DOI BIB
- SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP 2023), pages 264–275, 2023. SciTePress. Details DOI BIB
- A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 36–47, February 2022. SCITEPRESS. Details DOI BIB
- A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control In IEEE Vehicular Networking Conference (VNC), pages 1-8, December 2020. IEEE. Details DOI BIB
- Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) In 36th International Conference on Logic Programming (ICLP), Rende, Italy, September 2020. Details BIB
- Towards Automating Safety and Security Co-Analysis with Patterns In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, September 2020. Details BIB
- On the accuracy of formal verification of selective defenses for TDoS attacks J. Log. Algebr. Meth. Program., 94():45–67, 2018. Details URL DOI BIB
- Slow TCAM Exhaustion DDoS Attack In ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, pages 17–31, 2017. Details URL DOI BIB