News

Upcoming paper: Verifying liquidity of Bitcoin contracts — 12-Apr-2019 08:02:19

Upcoming paper: A journey into Bitcoin metadata — 08-Jan-2019 15:17:59

Upcoming paper: Blockchain for social good: a quantitative analysis — 07-Oct-2018 12:17:47

Upcoming paper: BitML: a calculus for Bitcoin smart contracts — 24-Jul-2018 04:58:29

Upcoming paper: Progress-preserving Refinements of CTA — 08-Jun-2018 08:44:39

Seminar: Transcompiling and Analysing Firewalls — 06-Jun-2018 09:04:53

Upcoming paper: Data mining for detecting Bitcoin Ponzi schemes — 06-Jun-2018 09:02:24

1st Scientific School on Blockchain and Distributed Ledger Technologies — 15-Mar-2018 13:45:58

Upcoming paper: SoK: unraveling Bitcoin smart contracts — 01-Mar-2018 22:34:33

Upcoming paper: A formal model of Bitcoin transactions — 05-Dec-2017 15:03:29

Upcoming paper: A general framework for blockchain analytics — 23-Oct-2017 16:13:18

Upcoming paper: Timed Session Types — 23-Oct-2017 16:09:11

Seminar: On the Security of the Blockchain Bix Protocol and Certificates — 06-Oct-2017 15:25:17

Seminars series: cryptocurrencies and smart contracts 2017 — 18-Apr-2017 10:16:57

Seminar: Behavioural type-checking of time-sensitive protocols — 18-Apr-2017 09:57:37

Upcoming paper: An empirical analysis of smart contracts: platforms, applications, and design patterns — 24-Mar-2017 20:49:02

Upcoming paper: An analysis of Bitcoin OP_RETURN metadata — 24-Mar-2017 20:44:22

Upcoming paper: Constant-deposit multiparty lotteries on Bitcoin — 24-Mar-2017 20:42:04

Upcoming paper: A survey of attacks on Ethereum smart contracts — 24-Mar-2017 20:38:04

Seminar: Scala in practice — 30-Nov-2016 10:46:37

Upcoming paper: Honesty by Typing — 24-Oct-2016 18:54:18

Blockchain day @ Stirling — 25-Aug-2016 09:50:41

Upcoming paper: Faderank: an incremental algorithm for ranking Twitter users — 18-Jul-2016 16:19:03

Seminar: Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods — 18-Jul-2016 14:33:56

Seminar: Lightweight session programming in Scala — 02-Jul-2016 09:43:10

Betty Summer School 2016 — 02-Jul-2016 09:36:34

Seminars series: cryptocurrencies and smart contracts — 13-Jun-2016 12:45:12

FET consultation: how much is a Bitcoin worth, and why? — 01-May-2016 21:12:49

Developing honest Java programs with Diogenes — 18-Apr-2016 20:34:48

Combining behavioural types with security analysis — 08-Oct-2015 18:37:38

Seminar: a contract-oriented middleware — 07-Oct-2015 19:14:31

Verifiable abstractions for contract-oriented systems — 04-Oct-2015 09:29:57

Seminar: Towards type-safe sessions in Scala — 02-Sep-2015 15:39:19

Seminar: Compliance and subtyping in timed session types — 02-Sep-2015 15:36:40

Seminar: On the decidability of honesty and of its variants — 02-Sep-2015 15:32:34

A contract-oriented middleware — 28-Aug-2015 20:35:39

Seminar: Multiparty testing preorders — 19-Aug-2015 15:28:34

TCS members win Hackathon Cagliari — 13-Jul-2015 06:56:19

Seminar: an introduction to soft constraints with bipolar preferences — 28-Jun-2015 19:34:56

PhD course: Distributed applications with automata and choreographies — 25-Jun-2015 16:28:11

Debits and credits in Petri nets and linear logic — 25-May-2015 20:55:04

Lending Petri Nets — 14-May-2015 19:11:30

Contracts as games on event structures — 07-May-2015 08:35:53

Seminar: Distributed management of distributed systems — 07-May-2015 06:44:09

Tool demo: a contract-oriented middleware — 17-Apr-2015 13:27:01

A labelled semantics for Soft Concurrent Constraint Programming — 03-Apr-2015 08:36:19

Compliance and subtyping in timed session types — 24-Mar-2015 20:04:32

Seminar: Reasoning Techniques for Concurrent Constraint Programming — 12-Mar-2015 16:41:21

Vicious circles in contracts and in logic — 21-Jan-2015 13:18:58

Choreographies in the wild — 30-Nov-2014 18:05:49

Talk: Flow Unfolding of Multi-clock Nets — 10-Jun-2014 14:22:10

Shonan meeting on Software Contracts — 09-Jun-2014 08:09:09

Seminar: Coinduction Up-To for Non Deterministic Automata — 16-May-2014 14:02:51

Talk: Choreographies in the Wild — 07-May-2014 18:06:33

A note on two notions of compliance — 06-May-2014 19:19:33

Flow unfolding of multi-clock nets — 04-Mar-2014 14:35:38

Towards a theory of honesty — 08-Feb-2014 14:48:13

Modelling and verifying contract-oriented systems in Maude — 08-Feb-2014 10:11:15

New member: Gabriele Pulcini — 02-Oct-2013 16:20:04

Towards a linear contract logic — 11-Sep-2013 13:10:55

PhD course: Reversible Computing — 19-Jun-2013 08:48:38

Seminar: A Tool for Verifying Bisimilarity in CCP — 19-Jun-2013 08:20:15

PhD Thesis: A Theory of Agreements and Protection — 21-May-2013 08:05:47

Choreography synthesis as contract agreement — 24-Apr-2013 15:41:48

Contract agreements via logic — 24-Apr-2013 14:30:46

Seminar: Lending Petri Nets (and contracts) — 15-Apr-2013 15:43:22

Notes on contract-oriented computing — 27-Mar-2013 20:51:04

Honesty by Typing — 19-Mar-2013 20:29:47

Seminar: A Calculus of Controlled Monotonicity — 01-Mar-2013 17:13:52

Security Horizons: kick-off meeting — 01-Mar-2013 17:05:20

Two postdoc positions — 29-Jan-2013 20:23:19

A theory of agreements and protection — 17-Dec-2012 09:48:32

Lending Petri nets and contracts — 17-Dec-2012 09:17:51

Security Horizons — 24-Oct-2012 18:07:33

Seminar: Circularity, event structures, and contracts — 05-Sep-2012 08:36:33

Circular Causality in Event Structures — 04-Sep-2012 14:45:41

Social Glue — 04-Aug-2012 14:40:13

PhD Course: Bisimulation, process algebras, and coinduction — 09-Jul-2012 17:01:12

Seminar: Formal Models in Systems Biology — 09-Jul-2012 16:53:27

Seminar: Facets for partial order methods — 02-Jul-2012 08:28:03

Seminar: Nominal Automata for Resource Usage Control — 28-May-2012 08:45:05

Seminar: Differential Interaction Nets and True Concurrency — 16-May-2012 12:29:17

Contract-oriented Computing in CO2 — 12-May-2012 19:48:24

Seminar: Computational complexity of interactive behaviors — 17-Apr-2012 13:13:55

Seminar: A lightweight introduction to concurrent systems — 17-Apr-2012 12:43:04

PhD short course: Proofs and types — 16-Apr-2012 10:41:21

On the realizability of contracts in dishonest systems — 27-Mar-2012 16:18:53

Seminar: Alceste Scalas, "On the security of social networks" — 27-Mar-2012 16:13:37

Seminar: Matteo Manca, "Social Recommender Systems" — 27-Mar-2012 16:09:57

What if contracts are violated? — 12-Feb-2012 22:04:44

An event-based model for contracts — 10-Feb-2012 21:39:42

Notes on Artificial Intelligence — 29-Jan-2012 10:30:50

Seminar: Paolo di Giamberardino "Soft Session Types" — 24-Oct-2011 08:58:47

TRICS — 23-Sep-2011 09:34:55

Postdoc position in Computer Security — 15-Jun-2011 09:18:23

PhD Course on Security Protocols — 12-Apr-2011 14:05:34

Seminar: Paolo di Giamberardino "Linear logic as resource-aware logic" — 16-Mar-2011 15:51:45

PhD Course on Models of Distributed Systems — 16-Mar-2011 15:48:47