Juggling Formal Methods and SecurityBarbara Fila, Hugo Jonker, Sasa Radomirovič · First published 2026Open the Tome
Graphical Models for SecurityGeorge Cybenko, David Pym, Barbara Fila · First published 2019Open the Tome
