Silvia Crafa

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 16

Top Topics

Oriented Programming

Molecular Biology

Legal Knowledge

Probability Distribution

Top Venues

J. Log. Algebraic Methods Program.

Financial Cryptography Workshops

Publications

Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
Smart Contract Languages: a comparative analysis. CoRR (2024)
Silvia Crafa
Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law. Digit. Soc. 3 (2) (2024)
Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò
ALGOMOVE - A Move Embedding for Algorand. Blockchain (2023)
Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti
. Sci. Comput. Program. 225 (2023)
Teresa Scantamburlo, Silvia Crafa, Giovanni Grandi
Moral Exercises for Human Oversight of Algorithmic Decision-Making. DP@AI*IA (2023)
Silvia Crafa, Cosimo Laneve
Programming Legal Contracts - A Beginners Guide to Stipula. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Silvia Crafa
From Legal Contracts to Legal Calculi: the code-driven normativity. EXPRESS/SOS (2022)
Silvia Crafa, Cosimo Laneve
Liquidity Analysis in Resource-Aware Programming. FACS (2022)
Silvia Crafa, Cosimo Laneve, Giovanni Sartor
Pacta sunt servanda: legal contracts in Stipula. CoRR (2021)
Silvia Crafa, Matteo Di Pirro
Solidity 0.5: when typed does not mean type safe. CoRR (2019)
Silvia Crafa, Matteo Di Pirro, Elena Zucca
Is Solidity Solid Enough? Financial Cryptography Workshops (2019)
Filippo Sestini, Silvia Crafa
Proof search in a context-sensitive logic for molecular biology. J. Log. Comput. 28 (7) (2018)
Silvia Crafa, Daniele Varacca
On the Reactive Nature of Financial Networks. ICTCS (2018)
Silvia Crafa, Luca Padovani
The Chemical Approach to Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Silvia Crafa, Luca Padovani
On the chemistry of typestate-oriented actors. CoRR (2016)
Ilaria Castellani, Silvia Crafa
A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory. Bull. EATCS 118 (2016)
Silvia Crafa
The role of concurrency in an evolutionary view of programming abstractions. J. Log. Algebraic Methods Program. 84 (6) (2015)
Silvia Crafa
The role of concurrency in an evolutionary view of programming abstractions. CoRR (2015)
Silvia Crafa, Luca Padovani
The chemical approach to typestate-oriented programming. OOPSLA (2015)
Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. ESOP (2015)
Silvia Crafa, Luca Tronchin
Actors vs Shared Memory: two models at work on Big Data application frameworks. CoRR (2015)
Silvia Crafa
Modelling the Evolution of Programming Languages. CoRR (2015)
Paolo Baldan, Silvia Crafa
Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS (2014)
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
Semantics of (Resilient) X10. ECOOP (2014)
Silvia Crafa, Francesco Ranzato
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions. ACM Trans. Comput. Log. 16 (1) (2014)
Paolo Baldan, Silvia Crafa
A Logic for True Concurrency. J. ACM 61 (4) (2014)
Silvia Crafa, Federica Russo
Causality in concurrent systems CoRR (2013)
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
Semantics of (Resilient) X10. CoRR (2013)
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS (2012)
Silvia Crafa, Francesco Ranzato
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Formal Methods Syst. Des. 40 (3) (2012)
Silvia Crafa
Behavioural Types for Actor Systems CoRR (2012)
Silvia Crafa, Francesco Ranzato
A Spectrum of Behavioral Relations over LTSs on Probability Distributions. CONCUR (2011)
Paolo Baldan, Silvia Crafa
A Logic for True Concurrency CoRR (2011)
Silvia Crafa, Francesco Ranzato
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. ICALP (2) (2011)
Silvia Crafa, Francesco Ranzato, Francesco Tapparo
Saving Space in a Time Efficient Simulation Algorithm. Fundam. Informaticae 108 (1-2) (2011)
Paolo Baldan, Silvia Crafa
A Logic for True Concurrency. CONCUR (2010)
Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio
A type system for Discretionary Access Control. Math. Struct. Comput. Sci. 19 (4) (2009)
Silvia Crafa, Francesco Ranzato, Francesco Tapparo
Saving Space in a Time Efficient Simulation Algorithm. ACSD (2009)
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
PicNIc - Pi-calculus non-interference checker. ACSD (2008)
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
-Calculus. CONCUR (2007)
Silvia Crafa, Sabina Rossi
Controlling information release in the pi-calculus. Inf. Comput. 205 (8) (2007)
Silvia Crafa, Sabina Rossi
P-congruences as non-interference for the pi-calculus. FMSE (2006)
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
Communication and mobility control in boxed ambients. Inf. Comput. 202 (1) (2005)
Silvia Crafa, Sabina Rossi
A Theory of Noninterference for the pi-Calculus. TGC (2005)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26 (1) (2004)
Michele Bugliesi, Dario Colazzo, Silvia Crafa
Type Based Discretionary Access Control. CONCUR (2004)
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone
Secrecy in Untrusted Networks. ICALP (2003)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD (2002)
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
Communication Interference in Mobile Boxed Ambients. FSTTCS (2002)
Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
Information Flow Security for Boxed Ambients. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Viviana Bono, Michele Bugliesi, Silvia Crafa
Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3 (4) (2002)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Boxed Ambients. TACS (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Subtyping and Matching for Mobile Objects. ICTCS (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Reasoning about Security in Mobile Ambients. CONCUR (2001)
Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
An overview of Boxed Ambients. Electron. Notes Theor. Comput. Sci. 62 (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Typed Mobile Objects. CONCUR (2000)