Italian Distributed Ledger Technology Working Group

Also CINI working group on Blockchain

List of Publications

BibBase http://dltgroup.dmi.unipg.it/temp_files/global.bib
generated by bibbase.org
  2023 (49)
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Bistarelli, S.; Nicola, R. D.; Galletta, L.; Laneve, C.; Mercanti, I.; and Veschetti, A. Concurr. Comput. Pract. Exp., 35(16). 2023.
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays [link]Paper   doi   link   bibtex  
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems. Bistarelli, S.; Faloci, F.; and Mori, P. Future Gener. Comput. Syst., 149: 679–700. 2023.
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems [link]Paper   doi   link   bibtex  
Timed concurrent language for argumentation with maximum parallelism. Bistarelli, S.; Meo, M. C.; and Taticchi, C. J. Log. Comput., 33(4): 712–737. 2023.
Timed concurrent language for argumentation with maximum parallelism [link]Paper   doi   link   bibtex  
A Survey of Steganography Tools at Layers 2-4 and HTTP. Bistarelli, S.; Ceccarelli, M.; Luchini, C.; Mercanti, I.; and Santini, F. In Proceedings of the 18th International Conference on Availability, Reliability and Security, ARES 2023, Benevento, Italy, 29 August 2023- 1 September 2023, pages 81:1–81:9, 2023. ACM
A Survey of Steganography Tools at Layers 2-4 and HTTP [link]Paper   doi   link   bibtex  
Temporal Probabilistic Argumentation Frameworks. Bistarelli, S.; David, V.; Santini, F.; and Taticchi, C. In Dovier, A.; and Formisano, A., editor(s), Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023, volume 3428, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Temporal Probabilistic Argumentation Frameworks [pdf]Paper   link   bibtex  
Content privacy enforcement models in decentralized online social networks: State of play, solutions, limitations, and future directions. Salve, A. D.; Mori, P.; Ricci, L.; and Pietro, R. D. Comput. Commun., 203: 199–225. 2023.
Content privacy enforcement models in decentralized online social networks: State of play, solutions, limitations, and future directions [link]Paper   doi   link   bibtex  
Cyber threat intelligence for critical infrastructure security. Osliak, O.; Saracino, A.; Martinelli, F.; and Mori, P. Concurr. Comput. Pract. Exp., 35(23). 2023.
Cyber threat intelligence for critical infrastructure security [link]Paper   doi   link   bibtex  
Self sovereign and blockchain based access control: Supporting attributes privacy with zero knowledge. Maesa, D. D. F.; Lisi, A.; Mori, P.; Ricci, L.; and Boschi, G. J. Netw. Comput. Appl., 212: 103577. 2023.
Self sovereign and blockchain based access control: Supporting attributes privacy with zero knowledge [link]Paper   doi   link   bibtex  
L2DART: A Trust Management System Integrating Blockchain and Off-Chain Computation. Salve, A. D.; Franceschi, L.; Lisi, A.; Mori, P.; and Ricci, L. ACM Trans. Internet Techn., 23(1): 14:1–14:30. 2023.
L2DART: A Trust Management System Integrating Blockchain and Off-Chain Computation [link]Paper   doi   link   bibtex  
Sound approximate and asymptotic probabilistic bisimulations for PCTL. Bartoletti, M.; Murgia, M.; and Zunino, R. Log. Methods Comput. Sci., 19(1). 2023.
Sound approximate and asymptotic probabilistic bisimulations for PCTL [link]Paper   doi   link   bibtex  
A theoretical basis for Blockchain Extractable Value. Bartoletti, M.; and Zunino, R. CoRR, abs/2302.02154. 2023.
A theoretical basis for Blockchain Extractable Value [link]Paper   doi   link   bibtex  
Secure compilation of rich smart contracts on poor UTXO blockchains. Bartoletti, M.; Marchesin, R.; and Zunino, R. CoRR, abs/2305.09545. 2023.
Secure compilation of rich smart contracts on poor UTXO blockchains [link]Paper   doi   link   bibtex  
DeFi composability as MEV non-interference. Bartoletti, M.; Marchesin, R.; and Zunino, R. CoRR, abs/2309.10781. 2023.
DeFi composability as MEV non-interference [link]Paper   doi   link   bibtex  
Toward Scalable Docker-Based Emulations of Blockchain Networks. Pennino, D.; and Pizzonia, M. In Mori, P.; Visconti, I.; and Bistarelli, S., editor(s), Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023, volume 3460, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Toward Scalable Docker-Based Emulations of Blockchain Networks [pdf]Paper   link   bibtex  
Blockchain Scalability and Security: Communications Among Fast-Changing Committees Made Simple. Mariani, A.; Mariani, G.; Pennino, D.; and Pizzonia, M. In 20th International Conference on Software Architecture, ICSA 2023 - Companion, L'Aquila, Italy, March 13-17, 2023, pages 209–215, 2023. IEEE
Blockchain Scalability and Security: Communications Among Fast-Changing Committees Made Simple [link]Paper   doi   link   bibtex  
Preventing Content Cloning in NFT Collections. Visconti, I.; Vitaletti, A.; and Zecchini, M. In Zhou, J.; Batina, L.; Li, Z.; Lin, J.; Losiouk, E.; Majumdar, S.; Mashima, D.; Meng, W.; Picek, S.; Rahman, M. A.; Shao, J.; Shimaoka, M.; Soremekun, E. O.; Su, C.; Teh, J. S.; Udovenko, A.; Wang, C.; Zhang, L. Y.; and Zhauniarovich, Y., editor(s), Applied Cryptography and Network Security Workshops - ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings, volume 13907, of Lecture Notes in Computer Science, pages 84–99, 2023. Springer
Preventing Content Cloning in NFT Collections [link]Paper   doi   link   bibtex  
Building a Cross-Chain Identity: A Self-Sovereign Identity-Based Framework. Zecchini, M.; Sober, M.; Schulte, S.; and Vitaletti, A. In IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023, Athens, Greece, July 17-20, 2023, pages 149–156, 2023. IEEE
Building a Cross-Chain Identity: A Self-Sovereign Identity-Based Framework [link]Paper   doi   link   bibtex  
A Tale on Decentralizing an App: the Case of Copyright Management. Vitaletti, A.; and Zecchini, M. In Mori, P.; Visconti, I.; and Bistarelli, S., editor(s), Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023, volume 3460, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
A Tale on Decentralizing an App: the Case of Copyright Management [pdf]Paper   link   bibtex  
Enforcing Confidentiality in Tornado Cash-based E-voting Systems. Bistarelli, S.; Mercanti, I.; and Santini, F. In Mori, P.; Visconti, I.; and Bistarelli, S., editor(s), Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023, volume 3460, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Enforcing Confidentiality in Tornado Cash-based E-voting Systems [pdf]Paper   link   bibtex  
Towards a Temporal Probabilistic Argumentation Framework. Bistarelli, S.; David, V.; Santini, F.; and Taticchi, C. In Franklin, M.; and Chun, S. A., editor(s), Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2023, Clearwater Beach, FL, USA, May 14-17, 2023, 2023. AAAI Press
Towards a Temporal Probabilistic Argumentation Framework [link]Paper   doi   link   bibtex  
A Survey on Decentralized Identifier Methods for Self Sovereign Identity. Bistarelli, S.; Micheli, F.; and Santini, F. In Buccafurri, F.; Ferrari, E.; and Lax, G., editor(s), Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023, volume 3488, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
A Survey on Decentralized Identifier Methods for Self Sovereign Identity [pdf]Paper   link   bibtex  
Software supply chain: review of attacks, risk assessment strategies and security controls. Gokkaya, B.; Aniello, L.; and Halak, B. CoRR, abs/2305.14157. 2023.
Software supply chain: review of attacks, risk assessment strategies and security controls [link]Paper   doi   link   bibtex  
Towards automated verification of Bitcoin-based decentralised applications. Bistarelli, S.; Bracciali, A.; Klomp, R.; and Mercanti, I. In Hong, J.; Lanperne, M.; Park, J. W.; Cern'y, T.; and Shahriar, H., editor(s), Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pages 262–269, 2023. ACM
Towards automated verification of Bitcoin-based decentralised applications [link]Paper   doi   link   bibtex  
Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers. Matsuo, S.; Gudgeon, L.; Klages-Mundt, A.; Hernandez, D. P.; Werner, S.; Haines, T.; Essex, A.; Bracciali, A.; and Sala, M., editors. Volume 13412, of Lecture Notes in Computer Science.Springer. 2023.
Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers [link]Paper   doi   link   bibtex  
A Decentralized Approach to Award Game Achievements. Bruschi, F.; Sciuto, D.; Paulon, T.; and Marchesi, A. In IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2023, Atlanta, GA, USA, March 13-17, 2023, pages 237–242, 2023. IEEE
A Decentralized Approach to Award Game Achievements [link]Paper   doi   link   bibtex  
An Ethereum-based solution for energy trading in smart grids. Buccafurri, F.; Lax, G.; Musarella, L.; and Russo, A. Digit. Commun. Networks, 9(1): 194–202. 2023.
An Ethereum-based solution for energy trading in smart grids [link]Paper   doi   link   bibtex  
Allowing privacy-preserving fog computing with digital identity assurance in remote clinical services. Buccafurri, F.; Lax, G.; and Russo, A. Electron. Gov. an Int. J., 19(2): 185–201. 2023.
Allowing privacy-preserving fog computing with digital identity assurance in remote clinical services [link]Paper   doi   link   bibtex  
MQTT-A: A Broker-Bridging P2P Architecture to Achieve Anonymity in MQTT. Buccafurri, F.; Angelis, V. D.; and Lazzaro, S. IEEE Internet Things J., 10(17): 15443–15463. 2023.
MQTT-A: A Broker-Bridging P2P Architecture to Achieve Anonymity in MQTT [link]Paper   doi   link   bibtex  
Enabling anonymized open-data linkage by authorized parties. Buccafurri, F.; Angelis, V. D.; and Lazzaro, S. J. Inf. Secur. Appl., 74: 103478. 2023.
Enabling anonymized open-data linkage by authorized parties [link]Paper   doi   link   bibtex  
Adapting P2P Mixnets to Provide Anonymity for Uplink-Intensive Applications. Buccafurri, F.; Angelis, V. D.; and Lazzaro, S. In di Vimercati, S. D. C.; and Samarati, P., editor(s), Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023, pages 73–84, 2023. SCITEPRESS
Adapting P2P Mixnets to Provide Anonymity for Uplink-Intensive Applications [link]Paper   doi   link   bibtex  
Role mining under User-Distribution cardinality constraint. Blundo, C.; and Cimato, S. J. Inf. Secur. Appl., 78: 103611. 2023.
Role mining under User-Distribution cardinality constraint [link]Paper   doi   link   bibtex  
Heuristics for constrained role mining in the post-processing framework. Blundo, C.; Cimato, S.; and Siniscalchi, L. J. Ambient Intell. Humaniz. Comput., 14(8): 9925–9937. 2023.
Heuristics for constrained role mining in the post-processing framework [link]Paper   doi   link   bibtex  
You Can't Hide Behind Your Headset: User Profiling in Augmented and Virtual Reality. Tricomi, P. P.; Nenna, F.; Pajola, L.; Conti, M.; and Gamberi, L. IEEE Access, 11: 9859–9875. 2023.
You Can't Hide Behind Your Headset: User Profiling in Augmented and Virtual Reality [link]Paper   doi   link   bibtex  
Privacy-Preserving and Security in SDN-Based IoT: A Survey. Ahmadvand, H.; Lal, C.; Hemmati, H.; Sookhak, M.; and Conti, M. IEEE Access, 11: 44772–44786. 2023.
Privacy-Preserving and Security in SDN-Based IoT: A Survey [link]Paper   doi   link   bibtex  
ICSSIM - A framework for building industrial control systems security testbeds. Dehlaghi-Ghadim, A.; Balador, A.; Moghadam, M. H.; Hansson, H.; and Conti, M. Comput. Ind., 148: 103906. 2023.
ICSSIM - A framework for building industrial control systems security testbeds [link]Paper   doi   link   bibtex  
A survey on security and privacy issues of UAVs. Mekdad, Y.; Aris, A.; Babun, L.; Fergougui, A. E.; Conti, M.; Lazzeretti, R.; and Uluagac, A. S. Comput. Networks, 224: 109626. 2023.
A survey on security and privacy issues of UAVs [link]Paper   doi   link   bibtex  
An efficient and reliable ultralightweight RFID authentication scheme for healthcare systems. Kumar, A.; Singh, K.; Shariq, M.; Lal, C.; Conti, M.; Amin, R.; and Chaudhry, S. A. Comput. Commun., 205: 147–157. 2023.
An efficient and reliable ultralightweight RFID authentication scheme for healthcare systems [link]Paper   doi   link   bibtex  
Accountable Clouds Through Blockchain. Zichichi, M.; D'Angelo, G.; Ferretti, S.; and Marzolla, M. IEEE Access, 11: 48358–48374. 2023.
Accountable Clouds Through Blockchain [link]Paper   doi   link   bibtex  
Complex queries over decentralised systems for geodata retrieval. Zichichi, M.; Serena, L.; Ferretti, S.; and D'Angelo, G. IET Networks, 12(2): 37–52. 2023.
Complex queries over decentralised systems for geodata retrieval [link]Paper   doi   link   bibtex  
A review of multilevel modeling and simulation for human mobility and behavior. Serena, L.; Marzolla, M.; D'Angelo, G.; and Ferretti, S. Simul. Model. Pract. Theory, 127: 102780. 2023.
A review of multilevel modeling and simulation for human mobility and behavior [link]Paper   doi   link   bibtex  
On the Decentralization of Health Systems for Data Availability: a DLT-based Architecture. Bigini, G.; Zichichi, M.; Lattanzi, E.; Ferretti, S.; and D'Angelo, G. In 20th IEEE Consumer Communications & Networking Conference, CCNC 2023, Las Vegas, NV, USA, January 8-11, 2023, pages 372–377, 2023. IEEE
On the Decentralization of Health Systems for Data Availability: a DLT-based Architecture [link]Paper   doi   link   bibtex  
Multiparty testing preorders. Nicola, R. D.; and Melgratti, H. C. Log. Methods Comput. Sci., 19(1). 2023.
Multiparty testing preorders [link]Paper   doi   link   bibtex  
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. Nicola, R. D.; Stefano, L. D.; Inverso, O.; and Valiani, S. In Pang, J.; and Niehren, J., editor(s), Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings, volume 14137, of Lecture Notes in Computer Science, pages 44–61, 2023. Springer
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants [link]Paper   doi   link   bibtex  
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?. Pratelli, M.; Petrocchi, M.; Saracco, F.; and Nicola, R. D. In Ding, Y.; Tang, J.; Sequeda, J. F.; Aroyo, L.; Castillo, C.; and Houben, G., editor(s), Companion Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, pages 1395–1403, 2023. ACM
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? [link]Paper   doi   link   bibtex  
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?. Pratelli, M.; Petrocchi, M.; Saracco, F.; and Nicola, R. D. CoRR, abs/2303.12474. 2023.
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? [link]Paper   doi   link   bibtex  
Formally verifying security protocols built on watermarking and jamming. Costa, G.; Degano, P.; Galletta, L.; and Soderi, S. Comput. Secur., 128: 103133. 2023.
Formally verifying security protocols built on watermarking and jamming [link]Paper   doi   link   bibtex  
Resilience of Hybrid Casper Under Varying Values of Parameters. Galletta, L.; Laneve, C.; Mercanti, I.; and Veschetti, A. Distributed Ledger Technol. Res. Pract., 2(1): 5:1–5:25. 2023.
Resilience of Hybrid Casper Under Varying Values of Parameters [link]Paper   doi   link   bibtex  
A type language for distributed reactive components governed by communication protocols. Savanovic, Z.; and Galletta, L. J. Log. Algebraic Methods Program., 132: 100848. 2023.
A type language for distributed reactive components governed by communication protocols [link]Paper   doi   link   bibtex  
Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning. Galletta, L.; and Pinelli, F. CoRR, abs/2301.04872. 2023.
Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning [link]Paper   doi   link   bibtex  
  2022 (17)
Verifying liquidity of recursive Bitcoin contracts. Bartoletti, M.; Lande, S.; Murgia, M.; and Zunino, R. Log. Methods Comput. Sci., 18(1). 2022.
Verifying liquidity of recursive Bitcoin contracts [link]Paper   doi   link   bibtex  
Blockchain as IoT Economy Enabler: A Review of Architectural Aspects. Pennino, D.; Pizzonia, M.; Vitaletti, A.; and Zecchini, M. J. Sens. Actuator Networks, 11(2): 20. 2022.
Blockchain as IoT Economy Enabler: A Review of Architectural Aspects [link]Paper   doi   link   bibtex  
On-Chain Global Maintenance Services. Bellini, A.; Bonifacio, A.; Falco, S. E. D.; Naldini, S.; Pacileo, F.; Pennino, D.; Pizzonia, M.; Sardanelli, D.; Vitaletti, A.; Vito, P.; and Zecchini, M. In Pizzonia, M.; and Vitaletti, A., editor(s), Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 (ITASEC 2022), Rome, Italy, June 20, 2022, volume 3166, of CEUR Workshop Proceedings, pages 119–129, 2022. CEUR-WS.org
On-Chain Global Maintenance Services [pdf]Paper   link   bibtex  
Blockchain-Based Tracking of the Supply Chain of the Italian Craft Beer Sector. Ariemma, L.; Carlo, N. D.; Pennino, D.; Pizzonia, M.; Vitaletti, A.; and Zecchini, M. In Pizzonia, M.; and Vitaletti, A., editor(s), Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 (ITASEC 2022), Rome, Italy, June 20, 2022, volume 3166, of CEUR Workshop Proceedings, pages 130–145, 2022. CEUR-WS.org
Blockchain-Based Tracking of the Supply Chain of the Italian Craft Beer Sector [pdf]Paper   link   bibtex  
Evaluating Blockchain Systems: A Comprehensive Study of Security and Dependability Attributes. Angelis, S. D.; Zanfino, G.; Aniello, L.; Lombardi, F.; and Sassone, V. In Pizzonia, M.; and Vitaletti, A., editor(s), Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 (ITASEC 2022), Rome, Italy, June 20, 2022, volume 3166, of CEUR Workshop Proceedings, pages 18–32, 2022. CEUR-WS.org
Evaluating Blockchain Systems: A Comprehensive Study of Security and Dependability Attributes [pdf]Paper   link   bibtex  
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. Thorburn, R.; Sassone, V.; Fathabadi, A. S.; Aniello, L.; Butler, M. J.; Dghaym, D.; and Hoang, T. S. In K"uhn, T.; and Sousa, V., editor(s), Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pages 83–84, 2022. ACM
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design [link]Paper   doi   link   bibtex  
Euro-Par 2021: Parallel Processing Workshops - Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers. Chaves, R.; Heras, D. B.; Ilic, A.; Unat, D.; Badia, R. M.; Bracciali, A.; Diehl, P.; Dubey, A.; Sangyoon, O.; Scott, S. L.; and Ricci, L., editors. Volume 13098, of Lecture Notes in Computer Science.Springer. 2022.
Euro-Par 2021: Parallel Processing Workshops - Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers [link]Paper   doi   link   bibtex  
A new approach for Bitcoin pool-hopping detection. Cortesi, E.; Bruschi, F.; Secci, S.; and Taktak, S. Comput. Networks, 205: 108758. 2022.
A new approach for Bitcoin pool-hopping detection [link]Paper   doi   link   bibtex  
A Protocol for On-Chain Tenders. Bruschi, F.; Paulon, T.; Rana, V.; and Sciuto, D. In 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom 2022 Workshops, Pisa, Italy, March 21-25, 2022, pages 273–278, 2022. IEEE
A Protocol for On-Chain Tenders [link]Paper   doi   link   bibtex  
Role Mining Heuristics for Permission-Role-Usage Cardinality Constraints. Blundo, C.; Cimato, S.; and Siniscalchi, L. Comput. J., 65(6): 1386–1411. 2022.
Role Mining Heuristics for Permission-Role-Usage Cardinality Constraints [link]Paper   doi   link   bibtex  
Multiplicative Complexity of XOR Based Regular Functions. Bernasconi, A.; Cimato, S.; Ciriani, V.; and Molteni, M. C. IEEE Trans. Computers, 71(11): 2927–2939. 2022.
Multiplicative Complexity of XOR Based Regular Functions [link]Paper   doi   link   bibtex  
A Blockchain-based Trustworthy Cloud Services Digital Ecosystem. Bellini, E.; Aversa, I.; Cimato, S.; and Esposito, A. In IEEE International Conference on Cyber Security and Resilience, CSR 2022, Rhodes, Greece, July 27-29, 2022, pages 118–124, 2022. IEEE
A Blockchain-based Trustworthy Cloud Services Digital Ecosystem [link]Paper   doi   link   bibtex  
Data governance through a multi-DLT architecture in view of the GDPR. Zichichi, M.; Ferretti, S.; D'Angelo, G.; and Rodr'ıguez-Doncel, V. Clust. Comput., 25(6): 4515–4542. 2022.
Data governance through a multi-DLT architecture in view of the GDPR [link]Paper   doi   link   bibtex  
Proof-of-Stake in Algorand. Dimitri, N. Distributed Ledger Technol. Res. Pract., 1(2): 1–17. 2022.
Proof-of-Stake in Algorand [link]Paper   doi   link   bibtex  
Last minute only bidding is implausible in eBay sealed bid type-of-auctions. Dimitri, N. Electron. Commer. Res., 22(2): 225–239. 2022.
Last minute only bidding is implausible in eBay sealed bid type-of-auctions [link]Paper   doi   link   bibtex  
Quadratic Voting in Blockchain Governance. Dimitri, N. Inf., 13(6): 305. 2022.
Quadratic Voting in Blockchain Governance [link]Paper   doi   link   bibtex  
Liquid Proof-of-Stake in Tezos: An Economic Analysis. Dimitri, N. Inf., 13(12): 556. 2022.
Liquid Proof-of-Stake in Tezos: An Economic Analysis [link]Paper   doi   link   bibtex  
  2021 (10)
MalFamAware: automatic family identification and malware classification through online clustering. Pitolli, G.; Laurenza, G.; Aniello, L.; Querzoni, L.; and Baldoni, R. Int. J. Inf. Sec., 20(3): 371–386. 2021.
MalFamAware: automatic family identification and malware classification through online clustering [link]Paper   doi   link   bibtex  
Anti-BlUFf: towards counterfeit mitigation in IC supply chains using blockchain and PUF. Aniello, L.; Halak, B.; Chai, P.; Dhall, R.; Mihalea, M.; and Wilczynski, A. Int. J. Inf. Sec., 20(3): 445–460. 2021.
Anti-BlUFf: towards counterfeit mitigation in IC supply chains using blockchain and PUF [link]Paper   doi   link   bibtex  
Special Issue of Concurrency and Computation: Practice and experience "FPDAPP, Future Perspectives on Decentralized Applications". Schifanella, C.; and Bracciali, A. Concurr. Comput. Pract. Exp., 33(1). 2021.
Special Issue of Concurrency and Computation: Practice and experience "FPDAPP, Future Perspectives on Decentralized Applications" [link]Paper   doi   link   bibtex  
A Formal Model of Algorand Smart Contracts. Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; and Zunino, R. In Borisov, N.; and D'ıaz, C., editor(s), Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part I, volume 12674, of Lecture Notes in Computer Science, pages 93–114, 2021. Springer
A Formal Model of Algorand Smart Contracts [link]Paper   doi   link   bibtex  
Tunneling Trust Into the Blockchain: A Merkle Based Proof System for Structured Documents. Bruschi, F.; Rana, V.; Pagani, A.; and Sciuto, D. IEEE Access, 9: 103758–103771. 2021.
Tunneling Trust Into the Blockchain: A Merkle Based Proof System for Structured Documents [link]Paper   doi   link   bibtex  
A privacy preserving identification protocol for smart contracts. Bruschi, F.; Paulon, T.; Rana, V.; and Sciuto, D. In IEEE Symposium on Computers and Communications, ISCC 2021, Athens, Greece, September 5-8, 2021, pages 1–6, 2021. IEEE
A privacy preserving identification protocol for smart contracts [link]Paper   doi   link   bibtex  
A Framework for Project Risk Assessment in Telehealth. Sulis, E.; Cordero, A.; Donetti, S.; Ferrero, P.; and Violato, A. In IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2021, Washington, DC, USA, December 16-17, 2021, pages 216–221, 2021. IEEE
A Framework for Project Risk Assessment in Telehealth [link]Paper   doi   link   bibtex  
Monetary Dynamics With Proof of Stake. Dimitri, N. Frontiers Blockchain, 4: 443966. 2021.
Monetary Dynamics With Proof of Stake [link]Paper   doi   link   bibtex  
Cryptocurrency Scams: Analysis and Perspectives. Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; and Serusi, S. IEEE Access, 9: 148353–148373. 2021.
Cryptocurrency Scams: Analysis and Perspectives [link]Paper   doi   link   bibtex  
Computationally sound Bitcoin tokens. Bartoletti, M.; Lande, S.; and Zunino, R. In 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pages 1–15, 2021. IEEE
Computationally sound Bitcoin tokens [link]Paper   doi   link   bibtex  
  2020 (4)
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. Bartoletti, M.; Carta, S.; Cimoli, T.; and Saia, R. Future Gener. Comput. Syst., 102: 259–277. 2020.
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact [link]Paper   doi   link   bibtex  
CommonsHood: a Blockchain-based Wallet App for Local Communities. Balbo, S.; Boella, G.; Busacchi, P.; Cordero, A.; Carne, L. D.; Guffanti, A.; Mioli, M.; Sanino, A.; Schifanella, C.; and Caro, D. D. In Xu, J.; Schulte, S.; Ruppel, P.; K"upper, A.; and Jadav, D., editor(s), 2nd IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2020, Oxford, UK, August 3-6, 2020, pages 139–144, 2020. IEEE
CommonsHood: a Blockchain-based Wallet App for Local Communities [link]Paper   doi   link   bibtex  
Bitcoin Covenants Unchained. Bartoletti, M.; Lande, S.; and Zunino, R. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478, of Lecture Notes in Computer Science, pages 25–42, 2020. Springer
Bitcoin Covenants Unchained [link]Paper   doi   link   bibtex  
Bitcoin covenants unchained. Bartoletti, M.; Lande, S.; and Zunino, R. CoRR, abs/2006.03918. 2020.
Bitcoin covenants unchained [link]Paper   link   bibtex