Author of the publication

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

, , , and . NDSS, The Internet Society, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Flow-insensitive type qualifiers., , , and . ACM Trans. Program. Lang. Syst., 28 (6): 1035-1087 (2006)Evaluating Dynamic Software Update Safety Using Systematic Testing., , , , and . IEEE Trans. Software Eng., 38 (6): 1340-1354 (2012)Static Typing for Ruby on Rails., , and . ASE, page 590-594. IEEE Computer Society, (2009)Kitsune: Efficient, General-Purpose Dynamic Software Updating for C., , , , and . ACM Trans. Program. Lang. Syst., 36 (4): 13:1-13:38 (2014)LOCKSMITH: Practical static race detection for C., , and . ACM Trans. Program. Lang. Syst., 33 (1): 3:1-3:55 (2011)Specifying and Verifying the Correctness of Dynamic Software Updates., , , , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 278-293. Springer, (2012)VS3: SMT Solvers for Program Verification., , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 702-708. Springer, (2009)Evaluating Design Tradeoffs in Numeric Static Analysis for Java., , , , and . ESOP, volume 10801 of Lecture Notes in Computer Science, page 653-682. Springer, (2018)iGen: dynamic interaction inference for configurable software., , , , and . SIGSOFT FSE, page 655-665. ACM, (2016)Checking and inferring local non-aliasing., , , and . PLDI, page 129-140. ACM, (2003)