Roberto Guanciale

According to our database, Roberto Guanciale authored at least 62 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

HOL4P4: Mechanized Small-Step Semantics for P4.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam

Proc. ACM Program. Lang., 2024

Security Properties through the Lens of Modal Logic.

Matvey Soloviev, Musard Balliu, Roberto Guanciale

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization.

Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023

P4R-Type: A Verified API for P4 Control Plane Programs.

Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas

Proc. ACM Program. Lang., October, 2023

Secure Partitioning of Cloud Applications, with Cost Look-Ahead.

Alessandro Bocci, Stefano Forti, Roberto Guanciale, Gian-Luigi Ferrari, Antonio Brogi

Future Internet, July, 2023

P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report).

Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas

CoRR, 2023

Proof-Producing Symbolic Execution for Binary Code Verification.

Andreas Lindner, Roberto Guanciale, Mads Dam

CoRR, 2023

Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor.

Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Effective Reskilling of Foreign-Born People at Universities - The Software Development Academy.

Mattias Wiggberg, Elina Gobena, Matti Kaulio, Richard Glassey, Olle Bälter, Dena Hussain, Roberto Guanciale, Philipp Haller

IEEE Access, 2022

SoK: Confidential Quartet - Comparison of Platforms for Virtualization-Based Confidential Computing.

Roberto Guanciale, Nicolae Paladi, Arash Vahidi

Proceedings of the 2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED), 2022

Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution.

Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Formally Verified Isolation of DMA.

Jonas Haglund, Roberto Guanciale

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Secure Partitioning of Composite Cloud Applications.

Alessandro Bocci, Roberto Guanciale, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi

Proceedings of the Service-Oriented and Cloud Computing, 2022

HOL4P4: semantics for a verified data plane.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog

Proceedings of the 5th International Workshop on P4 in Europe, 2022

A Case Study in Information Flow Refinement for Low Level Systems.

Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

PomCho: A tool chain for choreographic design.

Roberto Guanciale, Emilio Tuosto

Sci. Comput. Program., 2021

An abstract framework for choreographic testing.

Alex Coto, Roberto Guanciale, Emilio Tuosto

J. Log. Algebraic Methods Program., 2021

Validation of Side-Channel Models via Observation Refinement.

Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

Refinement-Based Verification of Device-to-Device Information Flow.

Ning Dong, Roberto Guanciale, Mads Dam

Proceedings of the Formal Methods in Computer Aided Design, 2021

On Compositional Information Flow Aware Refinement.

Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Trustworthy isolation of DMA devices.

Jonas Haglund, Roberto Guanciale

J. Bank. Financial Technol., 2020

Speculative Leakage in ARM Cortex-A53.

Hamed Nemati, Roberto Guanciale, Pablo Buiras, Andreas Lindner

CoRR, 2020

Hoare-Style Logic for Unstructured Programs.

Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

On Testing Message-Passing Components.

Alex Coto, Roberto Guanciale, Emilio Tuosto

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Choreographic Development of Message-Passing Applications - A Tutorial.

Alex Coto, Roberto Guanciale, Emilio Tuosto

Proceedings of the Coordination Models and Languages, 2020

InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis.

Roberto Guanciale, Musard Balliu, Mads Dam

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

Validation of Abstract Side-Channel Models for Computer Architectures.

Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

TrABin: Trustworthy analyses of binaries.

Andreas Lindner, Roberto Guanciale, Roberto Metere

Sci. Comput. Program., 2019

Realisability of pomsets.

Roberto Guanciale, Emilio Tuosto

J. Log. Algebraic Methods Program., 2019

Trustworthy Isolation of DMA Enabled Devices.

Jonas Haglund, Roberto Guanciale

Proceedings of the Information Systems Security - 15th International Conference, 2019

DiRPOMS: Automatic Checker of Distributed Realizability of POMSets.

Roberto Guanciale

Proceedings of the Coordination Models and Languages, 2019

2018

Semantics of global view of choreographies.

Emilio Tuosto, Roberto Guanciale

J. Log. Algebraic Methods Program., 2018

Realisability of Pomsets via Communicating Automata.

Roberto Guanciale, Emilio Tuosto

Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.

Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Protecting Instruction Set Randomization from Code Reuse Attacks.

Roberto Guanciale

Proceedings of the Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, 2018

2017

Sound Transpilation from Binary to Machine-Independent Code.

Roberto Metere, Andreas Lindner, Roberto Guanciale

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

Provably secure memory isolation for Linux on ARM.

Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann

J. Comput. Secur., 2016

An Abstract Semantics of the Global View of Choreographies.

Roberto Guanciale, Emilio Tuosto

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures.

Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam

Proceedings of the IEEE Symposium on Security and Privacy, 2016

2015

Trustworthy Memory Isolation of Linux on Embedded Devices.

Hamed Nemati, Mads Dam, Roberto Guanciale, Viktor Do, Arash Vahidi

Proceedings of the Trust and Trustworthy Computing - 8th International Conference, 2015

Trustworthy Virtualization of the ARMv7 Memory Subsystem.

Hamed Nemati, Roberto Guanciale, Mads Dam

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

Privacy preserving business process matching.

Dilian Gurov, Peeter Laud, Roberto Guanciale

Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015

Trustworthy Prevention of Code Injection in Linux on Embedded Devices.

Hind Chfouka, Hamed Nemati, Roberto Guanciale, Mads Dam, Patrik Ekdahl

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Private intersection of regular languages.

Roberto Guanciale, Dilian Gurov, Peeter Laud

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

Automating Information Flow Analysis of Low Level Code.

Musard Balliu, Mads Dam, Roberto Guanciale

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Privacy Preserving Business Process Fusion.

Roberto Guanciale, Dilian Gurov

Proceedings of the Business Process Management Workshops, 2014

2013

Machine code verification of a tiny ARM hypervisor.

Mads Dam, Roberto Guanciale, Hamed Nemati

Proceedings of the TrustED'13, 2013

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

Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Classification Techniques for Conformance and Performance Checking in Process Analysis.

Hind Chfouka, Andrea Corradini, Roberto Guanciale

Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2011

Applying Process Analysis to the Italian eGovernment Enterprise Architecture.

Roberto Bruni, Andrea Corradini, Gian-Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Model-Driven Development of Long Running Transactions.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Event based choreography.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Sci. Comput. Program., 2010

Refactoring Long Running Transactions: A Case Study.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

BPMN Modelling of Services with Dynamically Reconfigurable Transactions.

Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2008

Global Coordination Policies for Services.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Debugging Distributed Systems with Causal Nets.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Refactoring Long Running Transactions.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Checking Correctness of Transactional Behaviors.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Event-Based Service Coordination.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Concurrency, 2008

2007

Coordination Via Types in an Event-Based Framework.

Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Event Based Service Coordination over Dynamic and Heterogeneous Networks.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the Service-Oriented Computing, 2006

JSCL: A Middleware for Service Coordination.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006