A formal specification for casanova, a language for computer games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Michele Bugliesi; Mohamed Abbadi; Enrico Steffinlongo (EICS, 2012)

Writing Real-Time .Net Games in Casanova. - Giuseppe Maggiore; Pieter Spronck; Renzo Orsini; Michele Bugliesi; Enrico Steffinlongo; Mohamed Abbadi (ICEC, 2012)

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. - Stefano Calzavara; Michele Bugliesi; Silvia Crafa; Enrico Steffinlongo (ESOP, 2015)

Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems. - Stefano Calzavara; Alvise Rabitti; Enrico Steffinlongo; Michele Bugliesi (CSF, 2016)

DAPA: Degradation-Aware Privacy Analysis of Android Apps. - Gianluca Barbon; Agostino Cortesi; Pietro Ferrara 001; Enrico Steffinlongo (STM, 2016)

Efficient security analysis of administrative access control policies. - Enrico Steffinlongo (2017)

SMT-based refutation of spurious bug reports in the clang static analyzer. - Mikhail Y. R. Gadelha; Enrico Steffinlongo; Lucas C. Cordeiro; Bernd Fischer 002; Denis A. Nicole (ICSE (Companion Volume), 2019)

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space. - Mikhail Y. R. Gadelha; Felipe R. Monteiro; Enrico Steffinlongo; Lucas C. Cordeiro; Denis A. Nicole (CoRR, 2019)

Towards a Homomorphic Machine Learning Big Data Pipeline for the Financial Services Sector. - Oliver Masters; Hamish Hunt; Enrico Steffinlongo; Jack L. H. Crawford; Flávio Bergamaschi (IACR Cryptol. ePrint Arch., 2019)

Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption. - Hamish Hunt; Jack L. H. Crawford; Oliver Masters; Enrico Steffinlongo; Flávio Bergamaschi (IACR Cryptol. ePrint Arch., 2020)