PRECISELY CHARACTERIZING SECURITY IMPACT IN A FLOOD OF PATCHES VIA SYMBOLIC RULE COMPARISON

von Wu, Qiushi
Veröffentlicht in Network and Distributed System Security Symposium (27. : 2020 : San Diego, Calif.) Network and Distributed System Security Symposium 2020 ; Volume 2 of 2 (2020)

Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning

von Emamdoost, Navid
Veröffentlicht in Network and Distributed System Security Symposium (28. : 2021 : Online) Network and Distributed System Security Symposium 2021 (NDSS'21) ; Volume 2 of 2 (2021)

Java Ranger at SV-COMP 2020 (Competition Contribution)

von Sharma, Vaibhav
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)