26 search results - page 6 / 6 » On the automated implementation of modal logics used to veri... |
EUROSYS
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...