Shale Xiong
Orcid: 0000-0001-9312-195X
According to our database1,
Shale Xiong
authored at least 10 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Emerg. Top. Comput., 2024
CoRR, 2024
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX.
IEEE Access, 2024
Verifying Components of Arm<sup>®</sup> Confidential Computing Architecture with ESBMC.
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.
Proc. ACM Program. Lang., April, 2023
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023
2022
Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy, 2022
2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2019
CoRR, 2019
2017
Proceedings of the Programming Languages and Systems, 2017