publications

publications by categories in reversed chronological order

2020

  1. STAST
    Privacy, Security and Trust in the Internet of Neurons
    Sempreboni, Diego, and Viganò, Luca
    In Proceedings of the 10th Workshop on Socio-Technical Aspects in Security and Trust 2020
    PDF
  2. EuroS&P
    X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies
    Sempreboni, Diego, and Viganò, Luca
    In Proceedings of the 5th IEEE European Symposium on Security and Privacy (EuroS&P) 2020
    PDF

2019

  1. SECRYPT
    What Are the Threats?(Charting the Threat Models of Security Ceremonies)
    Sempreboni, Diego, Bella, Giampaolo, Giustolisi, Rosario, and Viganò, Luca
    In Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, ICETE - Volume 2: SECRYPT 2019
    PDF
  2. SECRYPT
    An Investigation into the “Beautification” of Security Ceremonies
    Bella, Giampaolo, Renaud, Karen, Sempreboni, Diego, and Viganò, Luca
    In Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, ICETE - Volume 2: SECRYPT 2019
    PDF
  3. CPDP
    Smart Humans... WannaDie?
    Sempreboni, Diego, and Viganò, Luca
    In Proceedings of the 3rd Re-Coding Black Mirror workshop, Companion of the Data Protection and Artificial Intelligence (CPDP) 2019
    PDF
  4. CPDP
    Schrödinger’s Man
    Viganò, Luca, and Sempreboni, Diego
    In Proceedings of the 3rd Re-Coding Black Mirror workshop, Companion of the Data Protection and Artificial Intelligence (CPDP) 2019
    PDF

2018

  1. WWW
    Gnirut: The Trouble With Being Born Human In An Autonomous World
    Viganò, Luca, and Sempreboni, Diego
    In Proceedings of the 2nd Re-Coding Black Mirror workshop, Companion of The Web Conference (WWW) 2018
    PDF
  2. WWW
    May I Mine Your Mind?
    Sempreboni, Diego, and Viganò, Luca
    In Proceedings of the 2nd Re-Coding Black Mirror workshop, Companion of The Web Conference (WWW) 2018
    PDF