Shale Xiong

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Active Learning Strategies

Formal Specification

Storage Systems

Top Venues

Proc. ACM Program. Lang.

PerCom Workshops

IEEE Trans. Emerg. Top. Comput.

Publications

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
Private Delegated Computations Using Strong Isolation. IEEE Trans. Emerg. Top. Comput. 12 (1) (2024)
Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX. IEEE Access 12 (2024)
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. CoRR (2024)
Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
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
Privacy-Preserving Object Detection with Veracruz. PerCom Workshops (2023)
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
ALARM: Active LeArning of Rowhammer Mitigations. CoRR (2022)
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
Private delegated computations using strong isolation. CoRR (2022)
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
ALARM: Active LeArning of Rowhammer Mitigations. HASP@MICRO (2022)
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
Data Consistency in Transactional Storage Systems: A Centralised Semantics. ECOOP (2020)
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
Data Consistency in Transactional Storage Systems: a Centralised Approach. CoRR (2019)
Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner
Abstract Specifications for Concurrent Maps. ESOP (2017)