Shale Xiong

According to our database, Shale Xiong authored at least 12 papers between 2017 and 2025.

Collaborative distances:

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

2025

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks.

Ceren Kocaogullar, Gustavo Petri, Dominic P. Mulligan, Derek Miller, Hugo J. M. Vincent, Shale Xiong, Alastair R. Beresford

CoRR, July, 2025

ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution).

Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael Sá Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Private Delegated Computations Using Strong Isolation.

Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo J. M. Vincent, Shale Xiong

IEEE Trans. Emerg. Top. Comput., 2024

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC.

Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro

CoRR, 2024

Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX.

Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong

IEEE Access, 2024

Verifying Components of Arm^® Confidential Computing Architecture with ESBMC.

Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro

Proceedings of the Static Analysis - 31st International Symposium, 2024

2023

A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations.

Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong

Proc. ACM Program. Lang., April, 2023

Privacy-Preserving Object Detection with Veracruz.

Mathias Brossard, Guilhem Bryant, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Derek Miller, Dominic P. Mulligan, Hugo J. M. Vincent, Shale Xiong, Lei Xu

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

2022

ALARM: Active LeArning of Rowhammer Mitigations.

Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong

Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy, 2022

2020

Data Consistency in Transactional Storage Systems: A Centralised Semantics.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Data Consistency in Transactional Storage Systems: a Centralised Approach.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

CoRR, 2019

2017

Abstract Specifications for Concurrent Maps.

Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2017