TEEFuzzer: A fuzzing framework for trusted execution environments with heuristic seed mutation

G Duan, Y Fu, B Zhang, P Deng, J Sun, H Chen… - Future Generation …, 2023 - Elsevier
With the rapid development of the Internet, data security faces new challenges. As a bridge
between the underlying hardware and upper layer applications, the operating system plays …

Analyzing and Discovering Spatial Algorithm Complexity Vulnerabilities in Recursion

Z Wang, D Bu, W Tian, B Cui - Applied Sciences, 2024 - mdpi.com
The algorithmic complexity vulnerability (ACV) that may lead to denial of service attacks
greatly disrupts the security and availability of applications, and due to the widespread use …

Testing and Mutation Testing for GPU Kernels

Y Liu - 2023 - essay.utwente.nl
The increasing GPU performance and maturing computational platform make it possible to
handle general-purpose computing jobs traditionally computed by the CPU. Also, just like …