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 ACM 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
- 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
- TSNSCHED: Automated Schedule Generation for Time Sensitive Networking Details PDF BIB
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 192–213, 2019. Springer. Details BIB
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols pages 192–213, 2019. Details DOI BIB
- BLE Injection-Free Attack: A Novel Attack On Bluetooth LowEnergy Devices Journal of Ambient Intelligence and Humanized Computing, ():, 2019. Details BIB
- ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
- Formal Security Verification of Industry 4.0 Applications In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pages 1043–1050, 2019. IEEE. Details DOI BIB
- Logical and Semantic Frameworks with Applications Theor. Comput. Sci., 781():1–2, 2019. Details URL DOI BIB
- On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
- Resource-Bounded Intruders in Denial of Service Attacks In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pages 382–396, 2019. IEEE. Details DOI BIB
- Subexponentials in non-commutative linear logic Mathematical Structures in Computer Science, 29(8):1217–1249, 2019. Details URL DOI BIB
- Symbolic Timed Trace Equivalence In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 89–111, 2019. Springer. Details DOI BIB
- Towards Computer-Aided Software Requirements Process In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., pages 75–78, 2019. IEEE. Details BIB
- TSNsched: Automated Schedule Generation for Time Sensitive Networking In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pages 69–77, 2019. Details DOI BIB
- Verification of Ada Programs with AdaHorn Ada User Journal, 40(2):103-108, 2019. Details BIB
- Verification of Ada Programs with AdaHorn Ada User Journal, ():, 2019. Details BIB
- A Logical Framework with Commutative and Non-commutative Subexponentials In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pages 228–245, 2018. Details URL DOI BIB
- Effect-dependent transformations for concurrent programs Sci. Comput. Program., 155():27–51, 2018. Details URL DOI BIB
- Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, 2018. 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
- Proof-Relevant Logical Relations for Name Generation Accepted to Logical Methods in Computer Science, ():, 2018. Details BIB
- Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. In "Workshop on Foundations of Computer Security", 2018. Details BIB
- Subexponentials in non-commutative linear logic Mathematical Structures in Computer Science, ():, 2018. Details URL DOI BIB
- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pages 406–422, 2017. Details URL DOI BIB
- A rewriting framework and logic for activities subject to regulations Mathematical Structures in Computer Science, 27(3):332–375, 2017. Details URL DOI BIB
- Analysis of design strategies for unmanned aerial vehicles using co-simulation Design Autom. for Emb. Sys., 21(3-4):157–172, 2017. Details URL DOI BIB
- On subexponentials, focusing and modalities in concurrent systems Theor. Comput. Sci., 693():35–58, 2017. 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
- Time, computational complexity, and probability in the analysis of distance-bounding protocols Journal of Computer Security, 25(6):585–630, 2017. Details URL DOI BIB