All Stories

  1. Automatic Rule Checking for Microservices: Supporting Security Analysis with Explainability

    Article • ACM Transactions on Software Engineering and Methodology, October 2025, ACM (Association for Computing Machinery)

    Simon Schneider, Nicolas Diaz Ferreyra

  2. On the Understandability of Design-Level Security Practices in Infrastructure-as-Code Scripts and Deployment Architectures

    Article • ACM Transactions on Software Engineering and Methodology, December 2024, ACM (Association for Computing Machinery)

    Simon Schneider, Nicolas Diaz Ferreyra

  3. Security Rules to follow when building Microservice Applications

    Article • August 2022, ACM (Association for Computing Machinery)

    Nicolas Diaz Ferreyra, Simon Schneider