Results 1-3 of 3 (Search time: 0.001 seconds).
Issue Date | Title | Author(s) |
---|---|---|
2008-07 | Scalable Shape Analysis for Systems Code | 이욱세 |
2008-02 | APROV: Another Program Verifier for Embedded Linux Device Drivers | 이욱세 |
2008-02 | Applying Dataflow Analysis to Detecting Software Vulnerability | 이욱세 |