Scholar
Roberto Guanciale
Google Scholar ID: VZUWVp4AAAAJ
KTH
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,130
H-index
16
i10-index
30
Publications
20
Co-authors
10
list available
Publications
3 items
Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
2026
Cited
0
Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
2025
Cited
0
Securing P4 Programs by Information Flow Control
2025
Cited
0
Co-authors
7 total
Mads Dam
Professor of Teleinformatics, KTH - Royal Institute of Technology
Musard Balliu
KTH Royal Institute of Technology
Vincenzo Ciancia
ISTI-CNR
Dilian Gurov
Professor in Computer Science, KTH Royal Institute of Technology
Peeter Laud
Cybernetica AS
Roberto Bruni
University of Pisa
Laura Bocchi
University of Kent
