Get started
Author

Roberto Guanciale

Observed names: Guanciale R, Guanciale Roberto, Guanciale, Roberto, R. Guanciale, ROBERTO GUANCIALE
ORCID: 0000-0002-8069-6495
Observed ORCID: 0000-0002-8069-6495
OpenAlex ID: A5084112562
Formal verification of information flow security for a simple arm-based separation kernel
2013 · Mads Dam, Roberto Guanciale, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 85
PDF
Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures
2016 · Roberto Guanciale, Hamed Nemati, et al. · IEEE Symposium on Security and Privacy (S&P) · 78
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
2020 · Roberto Guanciale, Musard Balliu, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 66
Semantics of global view of choreographies
2017 · Emilio Tuosto, Roberto Guanciale · Journal of Logical and Algebraic Methods in Programming · 59
JSCL: A Middleware for Service Coordination
2006 · Gianluigi Ferrari, Roberto Guanciale, et al. · Lecture notes in computer science · 39
PDF
Automating Information Flow Analysis of Low Level Code
2014 · Musard Balliu, Mads Dam, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 38
Machine code verification of a tiny ARM hypervisor
2013 · Mads Dam, Roberto Guanciale, et al. · Workshop on Trustworthy Embedded Devices · 31
Validation of Abstract Side-Channel Models for Computer Architectures
2020 · Hamed Nemati, Pablo Buiras, et al. · Lecture notes in computer science · 29
PDF
Validation of Side-Channel Models via Observation Refinement
2021 · Pablo Buiras, Hamed Nemati, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 25
Realisability of pomsets
2019 · Roberto Guanciale, Emilio Tuosto · Journal of Logical and Algebraic Methods in Programming · 23
TrABin: Trustworthy analyses of binaries
2019 · Andreas Lindner, Roberto Guanciale, et al. · Science of Computer Programming · 23
PDF
An Abstract Semantics of the Global View of Choreographies
2016 · Roberto Guanciale, Emilio Tuosto · Electronic Proceedings in Theoretical Computer Science · 22
Provably secure memory isolation for Linux on ARM: Submission to special issue on Verified Information Flow Security
2016 · Roberto Guanciale, Hamed Nemati, et al. · Journal of Computer Security · 21
Trustworthy Virtualization of the ARMv7 Memory Subsystem
2015 · Hamed Nemati, Roberto Guanciale, et al. · Lecture notes in computer science · 20
Coordination Via Types in an Event-Based Framework
2007 · Gianluigi Ferrari, Roberto Guanciale, et al. · Lecture notes in computer science · 16
PDF
SoK: Confidential Quartet - Comparison of Platforms for Virtualization-Based Confidential Computing
2022 · Roberto Guanciale, Nicolae Paladi, et al. · International Symposium on Secure and Private Execution Environment Design (SEED) · 15
PDF
Hoare-Style Logic for Unstructured Programs
2020 · Didrik Lundberg, Roberto Guanciale, et al. · Lecture notes in computer science · 13
Event Based Service Coordination over Dynamic and Heterogeneous Networks
2006 · Gianluigi Ferrari, Roberto Guanciale, et al. · Lecture notes in computer science · 13
PDF
Trustworthy Prevention of Code Injection in Linux on Embedded Devices
2015 · Hind Chfouka, Hamed Nemati, et al. · Lecture notes in computer science · 12
PDF
Event based choreography
2010 · Vincenzo Ciancia, Gianluigi Ferrari, et al. · Science of Computer Programming · 12
PDF
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
2026 · Andreas Lindner, Karl Palmskog, et al. · Lecture notes in computer science · 10
PDF
Effective Reskilling of Foreign-Born People at Universities - The Software Development Academy
2022 · Mattias Wiggberg, Elina Gobena, et al. · IEEE Access · 10
PDF
Private intersection of regular languages
2014 · Roberto Guanciale, Dilian Gurov, et al. · Conference on Privacy, Security and Trust · 10
: A tool chain for choreographic design
2020 · Roberto Guanciale, Emilio Tuosto · Science of Computer Programming · 9
Applying Process Analysis to the Italian eGovernment Enterprise Architecture
2012 · Roberto Bruni, Andrea Corradini, et al. · Lecture notes in computer science · 9
Works count: 107
Citation count: 859
H-index: 15
I10-index: 23
Year
Topic
Type