blockchain-unica

News by year

12/2023 Organizing DLT 2024
12/2023 Received the CCS 2023 Top Reviewer Award from ACM CCS 2023
9/2023 Serving as PC member of Financial Cryptography 2024
7/2023 Organizing DLT-FM: Workshop on Distributed Ledger Technologies and Formal Methods
7/2023 Organizing the 4th Blockchain & DLT School
5/2023 Serving as PC member of ACM CCS 2023
3/2023 Serving as PC member of IEEE DAPPS 2023
1/2023 Serving as PC member of WTSC 2023

12/2022 Serving as PC member of Financial Cryptography 2023
11/2022 Hosting a panel at the Multi-disciplinary Workshop on Blockchain & DLT
8/2022 Invited talk at FMBC 2022
6/2022 Lecture about DeFi at the 3rd Blockchain and Distributed Ledger Technology School
6/2022 Massimo Bartoletti and Roberto Zunino have given a tutorial on BitML at Discotec 2022
5/2022 Launched the CfP for the International School on Algorand Smart Contracts
5/2022 Our paper Maximizing Extractable Value from Automated Market Makers has been presented at Financial Cryptography 2022
4/2022 Launched the CfP for the 3rd Blockchain and Distributed Ledger Technology School
3/2022 Massimo Bartoletti received the 2021 Best Reviewer Award from Blockchain: Research and Applications (BCRA)
3/2022 Invited talk at BlockArch 2022: Smart contracts in Bitcoin and BitML
2/2022 Invited talk at the 2022 Stern Fintech Conference: Formal methods for DeFi - Lending Pools and beyond
2/2022 Roberto Pettinau and Massimo Bartoletti have won the 1st prize in the Developer Tooling Algorand Challenge with AlgoML, our DSL for Algorand smart contracts

10/2021. Invited talk on BitML at the Dagstuhl Seminar on Rigorous Methods for Smart Contracts
9/2021 We have won a bounty in the Algorand Trailblazer Bounty Program with a tutorial on building a decentralized vault using stateful smart contracts
8/2021 The Algorand Foundation will provide a grant to Blockchain@Unica and other nodes of the DLT Group for the organization of an International School on Algorand smart contracts
7/2021 The Smart Contracts Research Forum has awarded Massimo Bartoletti and Roberto Zunino the inaugural SCRF Impact Award for their work on BitML: A Calculus for Bitcoin Smart Contracts
6/2021 We have delivered an advanced interactive course on the design of Bitcoin and BitML contracts to Zenotta AG.
4/2021 Our paper A formal model of Algorand smart contracts has been selected among those to be presented at the Theory and Practice of Blockchains online workshop
2/2021 Our paper Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact has been selected as one of the Editor’s Choice Papers for the Future Generation Computer Systems (FGCS) journal

12/2020: Invited talk at LASIGE: Bitcoin contracts: secure compilation, analysis, and expressiveness
11/2020: Massimo Bartoletti has joined the Advisory Board of the NGI ONTOCHAIN project.

This site is open source. Improve this page.