A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Fox, Anthony C. J., Stockwell, Gareth, Xiong, Shale, Becker, Hanno, Mulligan, Dominic P., Petri, Gustavo, Chong, Nathan
Published in Proceedings of ACM on programming languages (06.04.2023)
Published in Proceedings of ACM on programming languages (06.04.2023)
Get full text
Journal Article
Private delegated computations using strong isolation
Brossard, Mathias, Bryant, Guilhem, Gaabouri, Basma El, Fan, Xinxin, Ferreira, Alexandre, Grimley-Evans, Edmund, Haster, Christopher, Johnson, Evan, Miller, Derek, Mo, Fan, Mulligan, Dominic P., Spinale, Nick, van Hensbergen, Eric, Vincent, Hugo J. M., Xiong, Shale
Published in IEEE transactions on emerging topics in computing (01.01.2024)
Published in IEEE transactions on emerging topics in computing (01.01.2024)
Get full text
Journal Article
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
Wu, Tong, Xiong, Shale, Manino, Edoardo, Stockwell, Gareth, Cordeiro, Lucas C
Year of Publication 05.06.2024
Year of Publication 05.06.2024
Get full text
Journal Article
Abstract Specifications for Concurrent Maps
Xiong, Shale, Pinto, Pedro da Rocha, Ntzik, Gian, Gardner, Philippa
Published in Programming Languages and Systems (2017)
Published in Programming Languages and Systems (2017)
Get full text
Book Chapter
ALARM: Active LeArning of Rowhammer Mitigations
Naseredini, Amir, Berger, Martin, Sammartino, Matteo, Xiong, Shale
Published in arXiv.org (30.11.2022)
Get full text
Published in arXiv.org (30.11.2022)
Paper
Privacy-Preserving Object Detection with Veracruz
Brossard, Mathias, Bryant, Guilhem, Fan, Xinxin, Ferreira, Alexandre, Grimley-Evans, Edmund, Haster, Christopher, Miller, Derek, Mulligan, Dominic P., Vincent, Hugo J.M., Xiong, Shale, Xu, Lei
Published in 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (13.03.2023)
Published in 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (13.03.2023)
Get full text
Conference Proceeding
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
Wu, Tong, Xiong, Shale, Manino, Edoardo, Stockwell, Gareth, Cordeiro, Lucas C
Published in arXiv.org (05.06.2024)
Get full text
Published in arXiv.org (05.06.2024)
Paper
Private delegated computations using strong isolation
Brossard, Mathias, Bryant, Guilhem, Gaabouri, Basma El, Fan, Xinxin, Ferreira, Alexandre, Grimley-Evans, Edmund, Haster, Christopher, Johnson, Evan, Miller, Derek, Mo, Fan, Mulligan, Dominic P, Spinale, Nick, van Hensbergen, Eric, Vincent, Hugo J. M, Xiong, Shale
Year of Publication 06.05.2022
Year of Publication 06.05.2022
Get full text
Journal Article
Private delegated computations using strong isolation
Brossard, Mathias, Bryant, Guilhem, Basma El Gaabouri, Fan, Xinxin, Ferreira, Alexandre, Grimley-Evans, Edmund, Haster, Christopher, Johnson, Evan, Miller, Derek, Fan, Mo, Mulligan, Dominic P, Spinale, Nick, Eric van Hensbergen, Vincent, Hugo J M, Xiong, Shale
Published in arXiv.org (06.05.2022)
Get full text
Published in arXiv.org (06.05.2022)
Paper
Container loading combination optimization method and offset load real-time monitoring system
HUANG HANBING, YU LUHONG, XIONG SHALE, WEN CHAO, CHEN SONGNAN, LIN YIPENG, PENG QIYUAN
Year of Publication 20.04.2016
Get full text
Year of Publication 20.04.2016
Patent