All Stories

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

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

    Simon Schneider, Nicolas Diaz Ferreyra, Ákos Milánkovich

  2. We developed a security certification scheme for Multi-party Open Software and Services.

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

    Ákos Milánkovich