• Finding race conditions in kernels: The symbolic way and the fuzzy way 

      Xu, Meng (Georgia Institute of Technology, 2020-07-28)
      The scale and pervasiveness of concurrent software pose challenges for security researchers: race conditions are more prevalent than ever, and the growing software complexity keeps exacerbating the situation -- expanding ...