Concepedia

Roberto Guanciale

RG

12

Publications

402

Citations

12

H-Index

2010

Active since

Affiliations

KTH Royal Institute of Technology(Current)

University of Leicester

Roberto Guanciale is an author at KTH Royal Institute of Technology specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationComputer EngineeringProgram AnalysisHardware SecurityComputer ArchitectureVerificationData Security

Publications per year

2010–2021

12

Publications

12

Formal verification of information flow security for a simple arm-based separation kernel

Mads Dam, Roberto Guanciale, Narges Khakpour et al. · 2013 · 72 citations · Full text

Engineering, Information Security, Verification +22

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures

Roberto Guanciale, Hamed Nemati, Christoph Baumann et al. · 2016 · 70 citations · Full text

Engineering, Information Security, Computer Architecture +17

Semantics of global view of choreographies

Emilio Tuosto, Roberto Guanciale · Journal of Logical and Algebraic Methods in Programming · 2017 · 57 citations · Full text

Philosophy Of Language, Global View, Semantic Analysis (Linguistics) +6

InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis

Roberto Guanciale, Musard Balliu, Mads Dam · 2020 · 51 citations · Full text

Engineering, Spectre V4, Information Security +21

Automating Information Flow Analysis of Low Level Code

Musard Balliu, Mads Dam, Roberto Guanciale · 2014 · 37 citations · Full text

Program Checking, Engineering, Verification +21

Rows per page

1–5 of 12