Session chair: Rosario Pugliese

Screening out social bots interference: are there any silver bullets?
Mattia Zago, Pantaleone Nespoli, Dimitrios Papamartzivanos, Manuel Gil Pérez, Félix Gómez Mármol, Georgios Kambourakis and Gregorio Martínez Pérez

Modeling and Verification of the Worth-One-Minute Security Protocols
Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein and Giorgia Remedi

Systematic IoT Penetration Testing: Alexa Case Study
Massimiliano Rak, Giovanni Salzillo and Claudia Romeo

Formal Methods for Android Banking Malware Analysis and Detection
Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo and Antonella Santone

A Life Cycle for Authorization Systems Development in the GDPR Perspective
Said Daoudagh and Eda Marchetti