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