Secure Multi-agent Planning via Sharemind. - Radek Bumbálek; Michal Stolba; Antonín Komenda (ICAART (2), 2020)