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