Recent site activity

Apr 18, 2017, 3:31 AM Massimo Bartoletti edited Seminar: Behavioural type-checking of time-sensitive protocols
Apr 18, 2017, 3:17 AM Massimo Bartoletti created Seminars series: cryptocurrencies and smart contracts 2017
Apr 18, 2017, 2:57 AM Massimo Bartoletti created Seminar: Behavioural type-checking of time-sensitive protocols
Apr 13, 2017, 12:44 AM Roberto Saia edited Roberto Saia
Apr 13, 2017, 12:38 AM Roberto Saia edited Roberto Saia
Apr 12, 2017, 2:29 AM Sebastian P. attached anticipo editabile.pdf to Downloads
Apr 12, 2017, 2:29 AM Sebastian P. attached anticipo editabile.pdf to Downloads
Apr 12, 2017, 2:28 AM Sebastian P. attached anticipo editabile.pdf to Downloads
Apr 10, 2017, 10:35 AM Livio Pompianu edited Publications
Apr 10, 2017, 10:34 AM Livio Pompianu edited Livio Pompianu
Apr 10, 2017, 10:33 AM Livio Pompianu edited Livio Pompianu
Mar 27, 2017, 6:21 AM Tiziana Cimoli edited Tiziana Cimoli
Mar 27, 2017, 5:43 AM Roberto Saia edited NOMAD
Mar 27, 2017, 5:42 AM Roberto Saia edited Roberto Saia
Mar 27, 2017, 5:40 AM Roberto Saia edited NOMAD
Mar 24, 2017, 1:49 PM Massimo Bartoletti created Upcoming paper: An empirical analysis of smart contracts: platforms, applications, and design patterns
Mar 24, 2017, 1:45 PM Massimo Bartoletti edited Upcoming paper: Constant-deposit multiparty lotteries on Bitcoin
Mar 24, 2017, 1:44 PM Massimo Bartoletti created Upcoming paper: An analysis of Bitcoin OP_RETURN metadata
Mar 24, 2017, 1:42 PM Massimo Bartoletti created Upcoming paper: Constant-deposit multiparty lotteries on Bitcoin
Mar 24, 2017, 1:38 PM Massimo Bartoletti created Upcoming paper: A survey of attacks on Ethereum smart contracts
Mar 23, 2017, 12:37 PM Livio Pompianu edited Livio Pompianu
Mar 23, 2017, 12:35 PM Livio Pompianu edited Livio Pompianu
Mar 23, 2017, 12:30 PM Livio Pompianu edited Livio Pompianu
Mar 23, 2017, 12:28 PM Livio Pompianu edited Livio Pompianu
Mar 23, 2017, 12:27 PM Livio Pompianu edited Livio Pompianu

older | newer