Abstract Specifications for Concurrent Maps. - Shale Xiong; Pedro da Rocha Pinto; Gian Ntzik; Philippa Gardner (ESOP, 2017)

Data Consistency in Transactional Storage Systems: a Centralised Approach. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (CoRR, 2019)

Data Consistency in Transactional Storage Systems: A Centralised Semantics. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (ECOOP, 2020)

ALARM: Active LeArning of Rowhammer Mitigations. - Amir Naseredini; Martin Berger 001; Matteo Sammartino; Shale Xiong (HASP@MICRO, 2022)

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 012 (PerCom Workshops, 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., 2023)

Verifying Components of Arm® Confidential Computing Architecture with ESBMC. - Tong Wu; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (SAS, 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(R) Confidential Computing Architecture with ESBMC. - Tong Wu; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (CoRR, 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 001; Derek Miller; Fan Mo; Dominic P. Mulligan; Nick Spinale; et al. (IEEE Trans. Emerg. Top. Comput., 2024)

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 (TACAS (3), 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, 2025)