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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
10 total
Mads Dam
Professor of Teleinformatics, KTH - Royal Institute of Technology
Co-author 2
Musard Balliu
KTH Royal Institute of Technology
Vincenzo Ciancia
ISTI-CNR
Dilian Gurov
Professor in Computer Science, KTH Royal Institute of Technology
Co-author 6
Peeter Laud
Cybernetica AS
Roberto Bruni
University of Pisa
