Typed Mobile Objects. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (CONCUR, 2000)

Reasoning about Security in Mobile Ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (CONCUR, 2001)

Subtyping and Matching for Mobile Objects. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (ICTCS, 2001)

Boxed Ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (TACS, 2001)

An overview of Boxed Ambients. - Giuseppe Castagna; Michele Bugliesi; Silvia Crafa (TOSCA, 2001)

A Survey of Name-Passing Calculi and Crypto-Primitives. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa; Riccardo Focardi; Vladimiro Sassone (FOSAD, 2002)

Communication Interference in Mobile Boxed Ambients. - Michele Bugliesi; Silvia Crafa; Massimo Merro; Vladimiro Sassone (FSTTCS, 2002)

Information Flow Security for Boxed Ambients. - Silvia Crafa; Michele Bugliesi; Giuseppe Castagna (F-WAN@ICALP, 2002)

Typed interpretations of extensible objects. - Viviana Bono; Michele Bugliesi; Silvia Crafa (ACM Trans. Comput. Log., 2002)

Secrecy in Untrusted Networks. - Michele Bugliesi; Silvia Crafa; Amela Prelic; Vladimiro Sassone (ICALP, 2003)

Type Based Discretionary Access Control. - Michele Bugliesi; Dario Colazzo; Silvia Crafa (CONCUR, 2004)

Access control for mobile agents: The calculus of boxed ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (ACM Trans. Program. Lang. Syst., 2004)

A Theory of Noninterference for the pi-Calculus. - Silvia Crafa; Sabina Rossi (TGC, 2005)

Communication and mobility control in boxed ambients. - Michele Bugliesi; Silvia Crafa; Massimo Merro; Vladimiro Sassone (Inf. Comput., 2005)

P-congruences as non-interference for the pi-calculus. - Silvia Crafa; Sabina Rossi (FMSE, 2006)

Compositional Event Structure Semantics for the Internal pi -Calculus. - Silvia Crafa; Daniele Varacca; Nobuko Yoshida (CONCUR, 2007)

Controlling information release in the pi-calculus. - Silvia Crafa; Sabina Rossi (Inf. Comput., 2007)

PicNIc - Pi-calculus non-interference checker. - Silvia Crafa; Matteo Mio; Marino Miculan; Carla Piazza; Sabina Rossi (ACSD, 2008)

A type system for Discretionary Access Control. - Michele Bugliesi; Dario Colazzo; Silvia Crafa; Damiano Macedonio (Math. Struct. Comput. Sci., 2009)

A Spectrum of Behavioral Relations over LTSs on Probability Distributions. - Silvia Crafa; Francesco Ranzato (CONCUR, 2011)

Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. - Silvia Crafa; Francesco Ranzato (ICALP (2), 2011)

Saving Space in a Time Efficient Simulation Algorithm. - Silvia Crafa; Francesco Ranzato; Francesco Tapparo (Fundam. Informaticae, 2011)

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. - Silvia Crafa; Daniele Varacca; Nobuko Yoshida (FoSSaCS, 2012)

Behavioural Types for Actor Systems - Silvia Crafa (CoRR, 2012)

Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. - Silvia Crafa; Francesco Ranzato (Formal Methods Syst. Des., 2012)

Causality in concurrent systems - Silvia Crafa; Federica Russo (CoRR, 2013)

Hereditary History-Preserving Bisimilarity: Logics and Automata. - Paolo Baldan; Silvia Crafa (APLAS, 2014)

Semantics of (Resilient) X10. - Silvia Crafa; David Cunningham; Vijay A. Saraswat; Avraham Shinnar; Olivier Tardieu (ECOOP, 2014)

A Logic for True Concurrency. - Paolo Baldan; Silvia Crafa (J. ACM, 2014)

Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions. - Silvia Crafa; Francesco Ranzato (ACM Trans. Comput. Log., 2014)

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

Modelling the Evolution of Programming Languages. - Silvia Crafa (CoRR, 2015)

Actors vs Shared Memory: two models at work on Big Data application frameworks. - Silvia Crafa; Luca Tronchin (CoRR, 2015)

The role of concurrency in an evolutionary view of programming abstractions. - Silvia Crafa (J. Log. Algebraic Methods Program., 2015)

On the chemistry of typestate-oriented actors. - Silvia Crafa; Luca Padovani (CoRR, 2016)

A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory. - Ilaria Castellani; Silvia Crafa (Bull. EATCS, 2016)

The Chemical Approach to Typestate-Oriented Programming. - Silvia Crafa; Luca Padovani (ACM Trans. Program. Lang. Syst., 2017)

On the Reactive Nature of Financial Networks. - Silvia Crafa; Daniele Varacca (ICTCS, 2018)

Proof search in a context-sensitive logic for molecular biology. - Filippo Sestini; Silvia Crafa (J. Log. Comput., 2018)

Is Solidity Solid Enough? - Silvia Crafa; Matteo Di Pirro; Elena Zucca (Financial Cryptography Workshops, 2019)

Solidity 0.5: when typed does not mean type safe. - Silvia Crafa; Matteo Di Pirro (CoRR, 2019)

Pacta sunt servanda: legal contracts in Stipula. - Silvia Crafa; Cosimo Laneve; Giovanni Sartor (CoRR, 2021)

Programming Legal Contracts - A Beginners Guide to Stipula. - Silvia Crafa; Cosimo Laneve (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Liquidity Analysis in Resource-Aware Programming. - Silvia Crafa; Cosimo Laneve (FACS, 2022)

From Legal Contracts to Legal Calculi: the code-driven normativity. - Silvia Crafa (EXPRESS/SOS, 2022)

Moral Exercises for Human Oversight of Algorithmic Decision-Making. - Teresa Scantamburlo; Silvia Crafa; Giovanni Grandi (DP@AI*IA, 2023)

ALGOMOVE - A Move Embedding for Algorand. - Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Sabina Rossi; Alvise Spanò (Blockchain, 2023)

Pacta sunt servanda: Legal contracts in Stipula. - Silvia Crafa; Cosimo Laneve; Giovanni Sartor; Adele Veschetti (Sci. Comput. Program., 2023)

Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law. - Silvia Crafa (Digit. Soc., 2024)

Formal Verification in Solidity and Move: Insights from a Comparative Analysis. - Massimo Bartoletti; Silvia Crafa; Enrico Lipparini (FMBC, 2025)

Smart contract languages: A comparative analysis. - Massimo Bartoletti; Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Giacomo Dal Sasso; Roberto Pettinau; Andrea Pinna 002; Mattia Piras; Sabina Rossi; Stefano Salis; Alvise Spanò; Viacheslav Tkachenko; et al. (Future Gener. Comput. Syst., 2025)

Exploring Moral Exercises for Human Oversight of AI systems: Insights from Three Pilot Studies. - Silvia Crafa; Teresa Scantamburlo (CoRR, 2025)