Publications

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
• R. Saia, S. Carta. Proactivity or Retroactivity? Evaluating the Benefits of Using Proactive Transformed-domain-based Techniques in Fraud Detection Tasks. High Quality Journal Forum, 3rd International Conference on Internet of Things, Big Data and Security (IoTBDS), 2018.
• R. Saia, S. Carta, G. Fenu. A Wavelet-based Data Analysis to Credit Scoring. 2nd International Conference on Digital Signal Processing (ICDSP), 2018.
• R. Saia. Unbalanced Data Classification in Fraud Detection by Introducing a Multidimensional Space Analysis. 3rd International Conference on Internet of Things, Big Data and Security (IoTBDS), 2018.

2017

• N. Atzei, M. Bartoletti, T. Cimoli. A survey of attacks on Ethereum smart contracts (SoK). In Proc. POST, 2017
• N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, M. Murgia, A.S. Podda, L. Pompianu. Contract-oriented programming with timed session types. In Behavioural Types: from Theory to Tools, 2017
• N. Atzei, M. Bartoletti, M. Murgia, E. Tuosto, R. Zunino. Contract-oriented design of distributed applications: a tutorial. In Behavioural Types: from Theory to Tools, 2017
• M. Bartoletti, A. Bracciali, S. Lande, L. Pompianu. A general framework for blockchain analytics. In Proc. SERIAL, 2017
  
• M. Bartoletti, T. Cimoli, M. Murgia. Timed session types. In Logical Methods in Computer Science 13(4), 2017
  
• M. Bartoletti, S. Carta, T. Cimoli, R. Saia. Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. Presented at P2PFISY, 2017
• M. Bartoletti, R. Zunino. Constant-deposit multiparty lotteries on Bitcoin. In Proc. Bitcoin Workshop, 2017
• M. Bartoletti, L. Pompianu. An analysis of Bitcoin OP_RETURN metadata. In Proc. Bitcoin Workshop, 2017
• M. Bartoletti, L. Pompianu. An empirical analysis of smart contracts: platforms, applications, and design patterns. In Proc. WTSC, 2017
• M. Bartoletti, S. Lande, A.S. Podda. A Proof-of-Stake protocol for consensus on Bitcoin subchains. In Proc. WTSC, 2017
• G. Casu, G. M. Pinna. Petri nets and dynamic causality for service-oriented computations. In Proc. SOAP@SAC, 2017
  
• G. Casu, G. M. Pinna. Merging relations: a way to compact Petri nets’ behaviors uniformly. In Proc. LATA, 2017
• R. Saia. A Discrete Wavelet Transform Approach to Fraud Detection. International Workshop on Security Measurements of Cyber Networks (SMCN), Helsinki, Finland, 2017.
• R. Saia, S. Carta. Evaluating Credit Card Transactions in the Frequency Domain for a Proactive Fraud Detection Approach. 14th International Conference on Security and Cryptography (SECRYPT), 2017.
• R. Saia, S. Carta. A Fourier Spectral Pattern Analysis to Design Credit Scoring Models. In Proc. International Conference on Internet of Things and Machine Learning (IML-2017), 2017.
• R. Saia, S. Carta. A Frequency-domain-based Pattern Mining for Credit Card Fraud Detection. In Proc. 2nd International Conference on Internet of Things, Big Data and Security (IoTBDS), 2017.

2016

• N. Atzei, M. Bartoletti. Developing honest Java programs with Diogenes. In Proc. FORTE, 2016.
  
• M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by typing. In Logical Methods in Computer Science, 12(4), 2016.
  
• M. Bartoletti, S. Lande, A. Massa. FadeRank: an incremental algorithm for ranking Twitter users. In Proc. WISE, 2016.
  
• G. Casu, G. M. Pinna. An unifying framework for compacting Petri nets behaviors. In Proc. ICTCS, 2016.
• R. Saia, L. Boratto, S. Carta, G. Fenu.  Representing Items as Word-Embedding Vectors and Generating Recommendations by Measuring their Linear Independence. ACM Recommender Systems conference (RecSys-2016), Boston, MA, USA, 2016.
• R. Saia, L. Boratto, S. Carta.  Improving the Accuracy of Latent-space-based Recommender Systems by Introducing a Cut-off Criterion. Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS), Brussels, Belgium, 2016.
  
• R. Saia, L. Boratto, S. Carta, G. Fenu. Using Neural Word Embeddings to Model User Behavior and Detect User Segments. Knowledge-Based Systems (KBS), Elsevier, 2016.
• R. Saia, L. Boratto, S. Carta, G. Fenu. Binary Sieves: Toward a Semantic Approach to User Segmentation for Behavioral Targeting. In Future Generation Computer Systems (FGCS), Elsevier, 2016.
• R. Saia, L. Boratto, S. Carta, G. Fenu. A semantic approach to remove incoherent items from a user profile and improve the accuracy of a recommender system. Accepted for publication in Journal of Intelligent Information Systems (JIIS), Springer, 2016.
• R. Saia, L. Boratto, S. Carta, G. Fenu. Exploiting a Determinant-based Metric to Evaluate a Word-embeddings Matrix of Items.In Proc. IEEE International Conference on Data Mining series (ICDM), SERecSys Workshop, 2016.
• R. Saia, L. Boratto, S. Carta, G. Fenu. Representing Items as Word-Embedding Vectors and Generating Recommendations by Measuring their Linear Independence. In Proc. ACM Recommender Systems conference (RecSys), 2016.
• R. Saia, L. Boratto, S. Carta. Improving the Accuracy of Latent-space-based Recommender Systems by Introducing a Cut-off Criterion. In Proc. Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS), 2016.
• R. Saia, S. Carta. A Linear-dependence-based Approach to Design Proactive Credit Scoring Models..In Proc. 8th International Conference on Knowledge Discovery and Information Retrieval (KDIR), 2016.
• R. Saia, S. Carta. An Entropy Based Algorithm for Credit Scoring. Lecture Notes in Business Information Processing, Springer (LNBIP), 2016.