Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yao Zhang
Claudia Calabrese
Maria Concetta Palumbo
Jijun Xiong
Wiehan Janse Van Rensburg
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ROBERTO GUANCIALE
Author Info
Open Visualization
Name
Affiliation
Papers
ROBERTO GUANCIALE
KTH Royal Institute of Technology, Stockholm, Sweden
12
Collaborators
Citations
PageRank
16
54
5.05
Referers
Referees
References
177
272
117
Search Limit
100
272
Publications (12 rows)
Collaborators (16 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
An abstract framework for choreographic testing
0
0.34
2021
Refinement-Based Verification of Device-to-Device Information Flow
0
0.34
2021
Validation of Side-Channel Models via Observation Refinement
0
0.34
2021
Pomcho: Atool Chain For Choreographic Design
0
0.34
2021
On Compositional Information Flow Aware Refinement
1
0.35
2021
Hoare-Style Logic for Unstructured Programs.
0
0.34
2020
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
4
0.41
2020
Realisability of pomsets.
0
0.34
2019
TrABin: Trustworthy Analyses of Binaries.
0
0.34
2019
Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures
13
0.55
2016
Automating Information Flow Analysis of Low Level Code
15
0.61
2014
Formal verification of information flow security for a simple arm-based separation kernel
21
0.75
2013
1