Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? - Yehia Abd Alrahman; Marina Andric; Alessandro Beggiato; Alberto Lluch-Lafuente (WRLA, 2014)

Many-to-Many Information Flow Policies. - Paolo Baldan; Alessandro Beggiato; Alberto Lluch-Lafuente (COORDINATION, 2017)

Multilevel transitive and intransitive non-interference, causally. - Paolo Baldan; Alessandro Beggiato (Theor. Comput. Sci., 2018)