Silvia Crafa

Cosimo Laneve

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Programming Legal Contracts - A Beginners Guide to Stipula.

[BibT_eX]

[DOI]

Cosimo Laneve

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Pacta sunt servanda: legal contracts in Stipula.

[BibT_eX]

[DOI]

Cosimo Laneve

Giovanni Sartor

CoRR, 2021

2019

Solidity 0.5: when typed does not mean type safe.

[BibT_eX]

[DOI]

Matteo Di Pirro

CoRR, 2019

Is Solidity Solid Enough?

[BibT_eX]

[DOI]

Matteo Di Pirro

Elena Zucca

Proceedings of the Financial Cryptography and Data Security, 2019

2018

Proof search in a context-sensitive logic for molecular biology.

[BibT_eX]

[DOI]

Filippo Sestini

J. Log. Comput., 2018

On the Reactive Nature of Financial Networks.

[BibT_eX]

[DOI]

Daniele Varacca

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2017

The Chemical Approach to Typestate-Oriented Programming.

[BibT_eX]

[DOI]

Luca Padovani

ACM Trans. Program. Lang. Syst., 2017

2016

A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory.

[BibT_eX]

[DOI]

Ilaria Castellani

Bull. EATCS, 2016

On the chemistry of typestate-oriented actors.

[BibT_eX]

[DOI]

Luca Padovani

CoRR, 2016

2015

The role of concurrency in an evolutionary view of programming abstractions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Actors vs Shared Memory: two models at work on Big Data application frameworks.

[BibT_eX]

[DOI]

Luca Tronchin

CoRR, 2015

Modelling the Evolution of Programming Languages.

[BibT_eX]

[DOI]

CoRR, 2015

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2015

2014

Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

A Logic for True Concurrency.

[BibT_eX]

[DOI]

Paolo Baldan

J. ACM, 2014

Semantics of (Resilient) X10.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Hereditary History-Preserving Bisimilarity: Logics and Automata.

[BibT_eX]

[DOI]

Paolo Baldan

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Causality in concurrent systems

[BibT_eX]

[DOI]

Federica Russo

CoRR, 2013

2012

Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

Behavioural Types for Actor Systems

[BibT_eX]

[DOI]

CoRR, 2012

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.

[BibT_eX]

[DOI]

Daniele Varacca

Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011

Saving Space in a Time Efficient Simulation Algorithm.

[BibT_eX]

[DOI]

Francesco Tapparo

Fundam. Informaticae, 2011

Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

A Spectrum of Behavioral Relations over LTSs on Probability Distributions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2009

A type system for Discretionary Access Control.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

2008

PicNIc - Pi-calculus non-interference checker.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Controlling information release in the pi-calculus.

[BibT_eX]

[DOI]

Sabina Rossi

Inf. Comput., 2007

Compositional Event Structure Semantics for the Internal <i>pi</i> -Calculus.

[BibT_eX]

[DOI]

Daniele Varacca

Nobuko Yoshida

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

P-congruences as non-interference for the pi-calculus.

[BibT_eX]

[DOI]

Sabina Rossi

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

2005

Communication and mobility control in boxed ambients.

[BibT_eX]

[DOI]

Inf. Comput., 2005

A Theory of Noninterference for the pi-Calculus.

[BibT_eX]

[DOI]

Sabina Rossi

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

Access control for mobile agents: The calculus of boxed ambients.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2004

Type Based Discretionary Access Control.

[BibT_eX]

[DOI]

Dario Colazzo

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Secrecy in Untrusted Networks.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

Typed interpretations of extensible objects.

[BibT_eX]

[DOI]

Viviana Bono

ACM Trans. Comput. Log., 2002

Information Flow Security for Boxed Ambients.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Wide Area Network Computing, 2002

Communication Interference in Mobile Boxed Ambients.

[BibT_eX]

[DOI]

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

A Survey of Name-Passing Calculi and Crypto-Primitives.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design II, 2002

2001

An overview of Boxed Ambients.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Boxed Ambients.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Subtyping and Matching for Mobile Objects.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Reasoning about Security in Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Typed Mobile Objects.

[BibT_eX]

[DOI]