Search filters

List of works by Shengjian Guo

A Survey on Automated Driving System Testing: Landscapes and Trends

scientific article published on 10 February 2023

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework

scientific article published on 30 November 2023

Cloud Resource Protection via Automated Security Property Reasoning

scientific article published on 18 October 2024

SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution

scientific article published on 21 November 2023

Paulina is supported by:

About Paulina

Help