A Prolog-based Approach to Self-Evaluated, Declarative and Zero-Knowledge Verifiable Policies. - Martin Farkas; Balázs Ádám Toldi; Bertalan Zoltán Péter; Imre Kocsis (MASCOTS, 2024)

Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies. - Bertalan Zoltán Péter; Zsófia Ádám; Zoltán Micskei; Imre Kocsis (Acta Cybern., 2025)