Compositional Vulnerability Detection with Insecurity Separation Logic.

Toby Murray Pengbo Yan Gidon Ernst

Published in: ICFEM (2023)

Keyphrases

detection algorithm
false positives
object detection
automatic detection
automated reasoning
logic programming
detection method
detection accuracy
detection scheme
artificial intelligence
modal logic
website
image segmentation
detection rate
classical logic
asynchronous circuits