Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods von Bigi, Giancarlo, Bracciali, Andrea, Meacci, Giovanni, Tuosto, Emilio

Volltext

A Control Flow Analysis for Beta-binders with and without static compartments von Bodei, Chiara

Volltext

A static analysis for Brane Calculi providing global occurrence counting information von Bodei, C., Brodo, L., Gori, R., Levi, F., Bernini, A., Hermith, D.

Volltext

Compliance in Behavioural Contracts: A Brief Survey von Bartoletti, Massimo, Cimoli, Tiziana, Zunino, Roberto

Volltext

Alice and Bob: Reconciling Formal Models and Implementation von Almousa, Omar, Mödersheim, Sebastian, Viganò, Luca

Volltext

Authentication primitives for secure protocol specifications von Bodei, C., Degano, P., Focardi, R., Priami, C.

Volltext

Static Evidences for Attack Reconstruction von Bodei, Chiara, Brodo, Linda, Focardi, Riccardo

Volltext

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories von Escobar, Santiago, Meadows, Catherine, Meseguer, José, Santiago, Sonia

Volltext

Asynchronous Traces and Open Petri Nets von Baldan, Paolo, Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma V.

Volltext

From Safety Critical Java Programs to Timed Process Models von Thomsen, Bent, Luckow, Kasper Søe, Leth, Lone, Bøgholm, Thomas

Volltext

Language Representability of Finite P/T Nets von Gorrieri, Roberto

Volltext

Hoare Logic for Disjunctive Information Flow von Nielson, Hanne Riis, Nielson, Flemming, Li, Ximeng

Volltext

Active Knowledge, LuNA and Literacy for Oncoming Centuries von Malyshkin, Victor

Volltext

Pierpaolo Degano von Bodei, Chiara, Ferrari, Gian-Luigi, Priami, Corrado

Volltext

A Declarative View of Signaling Pathways von Chiarugi, Davide, Falaschi, Moreno, Olarte, Carlos, Palamidessi, Catuscia

Volltext

Distributed Authorization with Distributed Grammars von Abadi, Martín, Burrows, Mike, Pucha, Himabindu, Sadovsky, Adam, Shankar, Asim, Taly, Ankur

Volltext

Flow logic for Dolev–Yao secrecy in cryptographic processes von Bodei, C., Degano, P., Nielson, F., Riis Nielson, H.

Volltext

When to Move to Transfer Nets: On the Limits of Petri Nets as Models for Process Calculi von Zavattaro, Gianluigi

Volltext

There are Two Sides to Every Question: Controller Versus Attacker von Martinelli, Fabio, Matteucci, Ilaria, Santini, Francesco

Volltext

Safe Adaptation Through Implicit Effect Coercion von Basile, Davide, Galletta, Letterio, Mezzetti, Gianluca

Volltext