Showing results 1 to 2 of 2
Directed Model Checking for Fast Abstract Reachability Analysis Lee, NakWon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon, IEEE ACCESS, v.9, pp.158738 - 158750, 2021-11 |
RoleCast: Finding Missing Security Checks When You Do Not Know What Checks Are Son, Sooel; McKinley, Kathryn S.; Shmatikov, Vitaly, ACM SIGPLAN NOTICES, v.46, no.10, pp.1069 - 1083, 2011-10 |
Discover