| Vol-2597 urn:nbn:de:0074-2597-0 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# ITASEC 2020
Italian Conference on Cyber Security

### Proceedings of the Fourth Italian Conference on Cyber Security

### Ancona, Italy, February 4th to 7th, 2020.

Edited by

### Michele Loreti*
Luca Spalazzi**

* University of Camerino, Italy
** Università Politecnica delle Marche, Italy

## Table of Contents

- Preface

- Secure e-Voting in Smart Communities 1-11
  Vincenzo Agate, Marco Curaba, Pierluca Ferraro, Giuseppe Lo Re, Marco Morana
- EVA: A Hybrid Cyber Range 12-23
  Shabeer Ahmad, Nicolò Maunero, Paolo Prinetto
- Modeling and Verification of the Worth-One-Minute Security Protocols 24-35
  Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein, Giorgia Remedi
- An Unsupervised Behavioral Analysis of Highway Traffic Flow for Security Applications 36-46
  Fabrizio Balducci, Gabriella Calvano, Donato Impedovo, Giuseppe Pirlo
- How many bots are you following? 47-59
  Alessandro Balestrucci
- A Report on the Security of Home Connections with IoT and Docker Honeypots 60-70
  Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
- Enhancing user awareness during internet browsing 71-81
  Bernardo Breve, Loredana Caruccio, Stefano Cirillo, Domenico Desiato, Vincenzo Deufemia, Giuseppe Polese
- Control-flow Flattening Preserves the Constant-Time Policy 82-92
  Matteo Busi, Pierpaolo Degano, Letterio Galletta
- A Hard Lesson: Assessing the HTTPS Deployment of Italian University Websites 93-104
  Stefano Calzavara, Riccardo Focardi, Alvise Rabitti, Lorenzo Soligo
- Are you (Google) Home? Detecting Users' Presence through Traffic Analysis of Smart Speakers 105-118
  Davide Caputo, Luca Verderame, Alessio Merlo, Andrea Ranieri, Luca Caviglione
- MuAC: Access Control Language for Mutual Benefits 119-127
  Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
- A Life Cycle for Authorization Systems Development in the GDPR Perspective 128-140
  Said Daoudagh, Eda Marchetti
- A Hardware Implementation for Code-based Post-quantum Asymmetric Cryptography 141-152
  Kristjane Koleci, Marco Baldi, Maurizio Martina, Guido Masera
- MTA-KDD'19: A Dataset for Malware Traffic Detection 153-165
  Ivan Letteri, Giuseppe Della Penna, Luca Di Vita, Maria Teresa Grifa
- The mind is like a parachute, it only functions when open. National Security: the importance of the human being that works behind the machine 166-176
  Sabrina Magris, Claudio Masci, Luciano Piacentini
- Hardware Security, Vulnerabilities, and Attacks: A Comprehensive Taxonomy 177-189
  Paolo Prinetto, Gianluca Roascio
- Systematic IoT Penetration Testing: Alexa Case Study 190-200
  Massimiliano Rak, Giovanni Salzillo, Claudia Romeo
- A novel cyber-security framework leveraging programmable capabilities in digital services 201-211
  Matteo Repetto, Alessandro Carrega, Armend Duzha
- A Deep Learning Approach for Detecting Security Attacks on Blockchain 212-222
  Francesco Scicchitano, Angelica Liguori, Massimo Guarascio, Ettore Ritacco, Giuseppe Manco
- Evaluating ambiguity of privacy indicators in a secure email app 223-234
  Borce Stojkovski, Gabriele Lenzini
- A game-based learning experience for improving cybersecurity awareness 235-242
  Silvestro Veneruso, Lauren S. Ferro, Andrea Marrella, Massimo Mecella, Tiziana Catarci
- Repadiography: towards a visual support for triaging repackaged apps 243-255
  Corrado Aaron Visaggio, Sonia Laudanna, Andrea Di Sorbo, Gerardo Canfora, Sara Caruso, Marianna Fucci

2020-04-23: submitted by Luca Spalazzi, metadata incl. bibliographic data published under Creative Commons CC0
2020-04-24: published on CEUR-WS.org|valid HTML5|