Hongyan Xia

Publication Activity (10 Years)

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

Top Topics

Embedded Devices

Computational Power

Buffer Overflow

Temporal Ordering

Top Venues

IEEE Symposium on Security and Privacy

Publications

Tingkuo Chen, Haiming Jiang, Kang Xie, Hongyan Xia
A Small Highly Sensitive Glucose Sensor Based on a Glucose Oxidase-Modified U-Shaped Microfiber. Sensors 24 (2) (2024)
Qichen Tian, Yuanbin She, Yangguang Zhu, Dan Dai, Mingjiao Shi, Wubo Chu, Tao Cai, Hsu-Sheng Tsai, He Li, Nan Jiang, Li Fu, Hongyan Xia, Cheng-Te Lin, Chen Ye
Highly Sensitive and Selective Dopamine Determination in Real Samples Using Au Nanoparticles Decorated Marimo-like Graphene Microbead-Based Electrochemical Sensors. Sensors 23 (5) (2023)
Saar Amar, David Chisnall, Tony Chen, Nathaniel Wesley Filardo, Ben Laurie, Kunyan Liu, Robert M. Norton, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
CHERIoT: Complete Memory Safety for Embedded Devices. MICRO (2023)
Hongyan Xia, David Zhang, Wei Liu, István Haller, Bruce Sherwin, David Chisnall
A Secret-Free Hypervisor: Rethinking Isolation in the Age of Speculative Vulnerabilities. IEEE Symposium on Security and Privacy (2022)
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Timothy M. Jones, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson
Cornucopia: Temporal Safety for CHERI Heaps. IEEE Symposium on Security and Privacy (2020)
Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony C. J. Fox, Robert M. Norton, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Wesley Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore
CHERI Concentrate: Practical Compressed Capabilities. IEEE Trans. Computers 68 (10) (2019)
Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel Wesley Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson, Timothy M. Jones
CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety. MICRO (2019)
Hongyan Xia, Jonathan Woodruff, Hadrien Barral, Lawrence Esswood, Alexandre Joannou, Robert Kovacsics, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alexander Richardson, Simon W. Moore, Robert N. M. Watson
CheriRTOS: A Capability Model for Embedded Devices. ICCD (2018)
Alexandre Joannou, Jonathan Woodruff, Robert Kovacsics, Simon W. Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alfredo Mazzinghi, Alex Richardson, Stacey D. Son, A. Theodore Markettos
Efficient Tagged Memory. ICCD (2017)