Roberto Guanciale
Roberto Guanciale
Bestätigte E-Mail-Adresse bei kth.se
Titel
Zitiert von
Zitiert von
Jahr
Formal verification of information flow security for a simple ARM-based separation kernel
M Dam, R Guanciale, N Khakpour, H Nemati, O Schwarz
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
822013
Cache storage channels: Alias-driven attacks and verified countermeasures
R Guanciale, H Nemati, C Baumann, M Dam
2016 IEEE Symposium on Security and Privacy (SP), 38-55, 2016
622016
Jscl: A middleware for service coordination
G Ferrari, R Guanciale, D Strollo
International Conference on Formal Techniques for Networked and Distributed …, 2006
552006
Automating information flow analysis of low level code
M Balliu, M Dam, R Guanciale
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
362014
Machine code verification of a tiny ARM hypervisor
M Dam, R Guanciale, H Nemati
Proceedings of the 3rd international workshop on Trustworthy embedded …, 2013
342013
Semantics of global view of choreographies
E Tuosto, R Guanciale
Journal of logical and algebraic methods in programming 95, 17-40, 2018
272018
Trustworthy virtualization of the ARMv7 memory subsystem
H Nemati, R Guanciale, M Dam
International Conference on Current Trends in Theory and Practice of …, 2015
222015
An abstract semantics of the global view of choreographies
R Guanciale, E Tuosto
arXiv preprint arXiv:1608.03323, 2016
212016
Coordination via types in an event-based framework
G Ferrari, R Guanciale, D Strollo, E Tuosto
International Conference on Formal Techniques for Networked and Distributed …, 2007
212007
Event based service coordination over dynamic and heterogeneous networks
G Ferrari, R Guanciale, D Strollo
International Conference on Service-Oriented Computing, 453-458, 2006
152006
Refactoring long running transactions
GL Ferrari, R Guanciale, D Strollo, E Tuosto
International Workshop on Web Services and Formal Methods, 127-142, 2008
142008
Trustworthy prevention of code injection in linux on embedded devices
H Chfouka, H Nemati, R Guanciale, M Dam, P Ekdahl
European Symposium on Research in Computer Security, 90-107, 2015
132015
Global coordination policies for services
V Ciancia, GL Ferrari, R Guanciale, D Strollo
Electronic Notes in Theoretical Computer Science 260, 73-89, 2010
132010
Provably secure memory isolation for Linux on ARM
R Guanciale, H Nemati, M Dam, C Baumann
Journal of Computer Security 24 (6), 793-837, 2016
122016
Checking correctness of transactional behaviors
V Ciancia, GL Ferrari, R Guanciale, D Strollo
International Conference on Formal Techniques for Networked and Distributed …, 2008
122008
Applying process analysis to the italian egovernment enterprise architecture
R Bruni, A Corradini, G Ferrari, T Flagella, R Guanciale, G Spagnolo
International Workshop on Web Services and Formal Methods, 111-127, 2011
112011
Private intersection of regular languages
R Guanciale, D Gurov, P Laud
2014 Twelfth Annual International Conference on Privacy, Security and Trust …, 2014
102014
Event based choreography
V Ciancia, G Ferrari, R Guanciale, D Strollo
Science of Computer Programming 75 (10), 848-878, 2010
102010
Inspectre: Breaking and fixing microarchitectural vulnerabilities by formal analysis
R Guanciale, M Balliu, M Dam
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
92020
Semantics of global views of choreographies
R Guanciale, E Tuosto
Journal of Logic and Algebraic Methods in Programming 95, 2017
82017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20