Open liujunming opened 2 years ago
https://www.usenix.org/system/files/conference/atc17/atc17-amit.pdf
https://www.usenix.org/system/files/conference/atc17/atc17-amit.pdf