Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Willem Penninckx  [Clear All Filters]
2012
Penninckx, W., J. T. Mühlberg, B. J. Jan Smans, and F. Piessens, "Sound Formal Verification of Linux's USB BP Keyboard Driver", The 4th NASA Formal Methods Symposium (NFM 2012), 2012.

to appear