Publications

Submitted papers

  • M. Bartoletti, A. Scalas, R. Zunino. A semantic deconstruction of session types. Submitted, 2017
  • R. Saia, S. Carta. Introducing a Combined Entropy-based Strategy to Define a Proactive Credit Scoring Approach. Submitted, 2017

2018

  • N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, R. Zunino. SoK: unraveling Bitcoin smart contracts. In Proc. POST, 2018
  • N. Atzei, M. Bartoletti, S. Lande, R. Zunino. A formal model of Bitcoin transactions. In Proc. Financial Cryptography, 2018
  • M. Bartoletti, R. Zunino. BitML: a calculus for Bitcoin smart contracts. To be presented at ACM CCS, 2018. Also available as Cryptology ePrint Archive 2018/122, 2018
  • M. Bartoletti, L. Bocchi, M. Murgia. Progress-preserving Refinements of CTA. To be presented at CONCUR, 2018
  • M. Bartoletti, T. Cimoli, R. Zunino. Fun with Bitcoin smart contracts. To be presented ad ISOLA 2018. Also avaiable as Cryptology ePrint Archive 2018/398, 2018.
  • M. Bartoletti, B. Pes, S. Serusi. Data mining for detecting Bitcoin Ponzi schemes. In Proc. Crypto Valley Conference on Blockchain Technology, 2018
  • G. Michele Pinna and Eric Fabre. Toward a uniform approach to the unfolding of nets. In Proc. ICE, 2018.
  • R. Saia, D. Reforgiato Recupero, S. Carta. A Probabilistic-driven Ensemble Approach to Perform Event Classification in Intrusion Detection System. In Proc. KDIR, 2018
  • R. Saia, S. Carta. Proactivity or Retroactivity? Evaluating the Benefits of Using Proactive Transformed-domain-based Techniques in Fraud Detection Tasks. In Proc. IoTBDS, 2018
  • R. Saia, S. Carta, G. Fenu. A Wavelet-based Data Analysis to Credit Scoring. In Proc. ICDSP, 2018
  • R. Saia. Unbalanced Data Classification in Fraud Detection by Introducing a Multidimensional Space Analysis. In Proc. IoTBDS, 2018
  • R. Saia, S. Carta. Introducing a Vector Space Model to Perform a Proactive Credit Scoring. In Communications in Computer and Information Science, 2018
  • R. Saia, L. Piras, S. Carta. Recommending Friends by Identifying Latent Similarities in Social Environments. In Proc. Social Aspects in Personalization and Search Workshop (SoAPS), 2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008