( en | de | ru )

 

Disambiguierung von "Guo, Shengjian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Adversarial symbolic execution for detecting concurrency-related cache timing leaks.

, , und . ESEC/SIGSOFT FSE, Seite 377-388. ACM, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xinrong Guo

Jiong Guo

Guo Cheng

Xin Guo

Baoliang Guo

 

Weitere Publikationen von Autoren mit dem selben Namen

A Survey on Automated Driving System Testing: Landscapes and Trends., , , , , , , , , und 1 andere Autor(en). ACM Trans. Softw. Eng. Methodol., 32 (5): 124:1-124:62 (September 2023)SpecuSym: speculative symbolic execution for cache timing leak detection., , , , , , und . ICSE, Seite 1235-1247. ACM, (2020)NoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage., , , , , , und . NDSS, The Internet Society, (2019)A Survey on Autonomous Driving System Simulators., , , und . ISSRE Workshops, Seite 301-306. IEEE, (2022)Meltdown-type attacks are still feasible in the wall of kernel page-Table isolation., , , , , , , , und . Comput. Secur., (2022)Druto: Upper-Bounding Silent Data Corruption Vulnerability in GPU Applications., , , , , und . IPDPS, Seite 582-594. IEEE, (2024)Adversarial symbolic execution for detecting concurrency-related cache timing leaks., , und . ESEC/SIGSOFT FSE, Seite 377-388. ACM, (2018)Symbolic execution of programmable logic controller code., , und . ESEC/SIGSOFT FSE, Seite 326-336. ACM, (2017)Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems., , , und . ISSRE Workshops, Seite 387-392. IEEE, (2021)Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs., , , , und . SC, Seite 17:1-17:14. IEEE, (2022)