ITASEC 2020
Italian Conference on Cyber Security

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