| 2019 | FC | Is Solidity Solid Enough? | Silvia Crafa, Matteo Di Pirro, Elena Zucca |
| 2015 | ESOP | Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. | Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo |
| 2015 | OOPSLA | The chemical approach to typestate-oriented programming. | Silvia Crafa, Luca Padovani |
| 2014 | APLAS | Hereditary History-Preserving Bisimilarity: Logics and Automata. | Paolo Baldan, Silvia Crafa |
| 2014 | ECOOP | Semantics of (Resilient) X10. | Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu |
| 2012 | FOSSACS | Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2011 | CONCUR | A Spectrum of Behavioral Relations over LTSs on Probability Distributions. | Silvia Crafa, Francesco Ranzato |
| 2011 | ICALP | Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. | Silvia Crafa, Francesco Ranzato |
| 2010 | CONCUR | A Logic for True Concurrency. | Paolo Baldan, Silvia Crafa |
| 2007 | CONCUR | Compositional Event Structure Semantics for the Internal | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2006 | CCS | P-congruences as non-interference for the pi-calculus. | Silvia Crafa, Sabina Rossi |
| 2004 | CONCUR | Type Based Discretionary Access Control. | Michele Bugliesi, Dario Colazzo, Silvia Crafa |
| 2003 | ICALP | Secrecy in Untrusted Networks. | Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone |
| 2001 | CONCUR | Reasoning about Security in Mobile Ambients. | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
| 2000 | CONCUR | Typed Mobile Objects. | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |