Showing results 1 to 2 of 2
Filtering false alarms of buffer overflow analysis using SMT solvers Kim, Youil; Lee, Jooyong; Han, Hwansoo; Choe, Kwang-Moo, INFORMATION AND SOFTWARE TECHNOLOGY, v.52, no.2, pp.210 - 219, 2010-02 |
Libnvmmio: Reconstructing Software IO Path with Failure-Atomic Memory-Mapped Interface Choi, Jungsik; Kwon, Youngjin; Hong, Jaewan; Han, Hwansoo, 2020 USENIX Annual Technical Conference, USENIX ATC 2020, pp.1 - 16, USENIX Association, 2020-07-15 |
Discover