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
No Comments