"Reverse engineering of binary device drivers with RevNIC."

Vitaly Chipounov, George Candea (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics