-
Secure Partitioning of Composite Cloud Applications.
A Bocci, R Guanciale, S Forti, GL Ferrari, A Brogi.
European Conference on Service-Oriented and Cloud Computing.
2022.
-
Validation of Side-Channel Models via Observation Refinement.
P Buiras, H Nemati, A Lindner, R Guanciale.
MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture.
2021.
-
Refinement-Based Verification of Device-to-Device Information Flow.
N Dong, R Guanciale, M Dam.
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD.
2021.
-
On compositional information flow aware refinement.
C Baumann, M Dam, R Guanciale, H Nemati.
IEEE 34th Computer Security Foundations Symposium (CSF).
2021.
-
PomCho: A tool chain for choreographic design.
R Guanciale, E Tuosto.
Science of Computer Programming.
2021.
-
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.
-
On testing message-passing components.
A Coto, R Guanciale, E Tuosto.
International Symposium on Leveraging Applications of Formal Methods.
2020.
-
An abstract framework for choreographic testing.
A Coto, R Guanciale, E Tuosto.
arXiv preprint arXiv:2009.07990.
2020.
-
Hoare-style logic for unstructured programs.
D Lundberg, R Guanciale, A Lindner, M Dam.
International Conference on Software Engineering and Formal Methods.
2020.
-
Validation of abstract side-channel models for computer architectures.
H Nemati, P Buiras, A Lindner, R Guanciale, S Jacobs.
International Conference on Computer Aided Verification.
2020.
-
Speculative Leakage in ARM Cortex-A53.
H Nemati, R Guanciale, P Buiras, A Lindner.
arXiv preprint arXiv:2007.06865.
2020.
-
Trustworthy isolation of DMA devices.
J Haglund, and R Guanciale.
Journal of Banking and Financial Technology.
2020.
-
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
M Alturki, J Chen, V Luchangco, B Moore, K Palmskog, L Peña and G Roşu.
International Symposium on Formal Methods.
2019.
-
Trustworthy Isolation of DMA Enabled Devices.
J Haglund, and R Guanciale.
International Conference on Information Systems Security.
2019.
-
On the verification of system-level information flow properties for virtualized execution platforms.
C Baumann, O Schwarz, M Dam.
Journal of Cryptographic Engineering.
2019.
-
TrABin: Trustworthy Analyses of Binaries.
A Lindner, R Guanciale, and R Metere.
Science of Computer Programming.
2019.
-
Trustworthy Memory Isolation of Linux on Embedded Devices.
H Nemati, M Dam, R Guanciale, V Do, and A Vahidi.
International Conference on Trust and Trustworthy Computing.
2015.
Master's Thesis