Shale Xiong

14 papers A 2B 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Careful Whisper: Attestation for peer-to-peer Confidential Computing networks.
CoRR
Ceren Kocaogullar, Gustavo Petri, Dominic P. Mulligan, Derek Miller, Hugo J. M. Vincent, Shale Xiong, Alastair R. Beresford
2025 — conf
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution).
TACAS (3)
Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael Sá Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro
2024 J jnl
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX.
IEEE Access
Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong
2024 J jnl
Private Delegated Computations Using Strong Isolation.
IEEE Trans. Emerg. Top. Comput.
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
2024 B conf
Verifying Components of Arm
SAS
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
2024 J jnl
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC.
CoRR
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
2023 J jnl
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations.
Proc. ACM Program. Lang.
Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
2023 — conf
Privacy-Preserving Object Detection with Veracruz.
PerCom Workshops
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
2022 — conf
ALARM: Active LeArning of Rowhammer Mitigations.
HASP@MICRO
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
2022 J jnl
ALARM: Active LeArning of Rowhammer Mitigations.
CoRR
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
2022 J jnl
Private delegated computations using strong isolation.
CoRR
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
2020 A conf
Data Consistency in Transactional Storage Systems: A Centralised Semantics.
ECOOP
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2019 J jnl
Data Consistency in Transactional Storage Systems: a Centralised Approach.
CoRR
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2017 A conf
Abstract Specifications for Concurrent Maps.
ESOP
Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner