Mirko Staderini

Position: Alumni (Former Members) Staderini, Mirko
Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Location: Department of Mathematics and Informatics
Description:

Mirko Staderini received his PhD in Computer Science at the University of Florence - RCL on June 6, 2022.

 

Previously, he received his Master's degree in Computer Engineering and Master's degree cum laude in Computer Science from the University of Florence in May 2002 and April 2018, respectively.

Recent Publications

  • PhD Thesis M. Staderini. "Towards the Assessment and the Improvement of Smart Contract Security". Ph.D. thesis. University of Florence. 2022. [More] 
  • Conference M. Staderini and A. Bondavalli. "Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts". Proceedings of the 28th Mini-Symposium of the Department of Measurement and Information Systems, Budapest University of Technology and Economics. 2021. pp. 36-39. [More] 
  • Conference M. Staderini, A. Pataricza and A. Bondavalli. "Static Analysis Tools Applied to Smart Contracts". Companion Proceedings of the 10th Latin-American Symposium on Dependable Computing - Fast Abstract. 2021. pp. 3-4. [More] 
  • Conference M. Staderini and A. Bondavalli. "Investigation on Vulnerabilities Location in Solidity Smart Contracts". Blockchain2021: blockchain and application. P. J., P. A., L. P. and P. A. eds. 2021. pp. 199-211. [More] 
  • Conference M. Staderini, C. Palli and A. Bondavalli. "Classification of Ethereum Vulnerabilities and their Propagations". 2020 Second International Conference on Blockchain Computing and Applications (BCCA). 2020. pp. pp. 44-51. [More] 
 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web