Guanciale, Roberto

1. InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
   2019/11/03 by Guanciale, Roberto, Balliu, Musard, Dam, Mads · 4 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
2. Validation of Abstract Side-Channel Models for Computer Architectures
   2020/05/11 by Nemati, Hamed, Buiras, Pablo, Lindner, Andreas +2 · 4 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
3. Security Properties through the Lens of Modal Logic
   2023/09/18 by Matvey Soloviev, Soloviev, Matvey, Musard Balliu +3 · 3 citations
   Computer Science · Social Sciences · #68Q60 #Access Control and Trust #Cryptography and Security (cs.CR) #D.4.6 #FOS: Computer and information sciences #I.2.4 #Information and Cyber Security #Logic in Computer Science (cs.LO) #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA)