Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Precise Static Analysis of Untrusted Driver Binaries
Collection title:
Proceedings 10th International Conference Formal Methods in Computer-Aided Design (FMCAD)
Conference title:
International Conference Formal Methods in Computer-Aided Design (10., 2010, Lugano)
Venue:
Lugano, Switzerland
Year of conference:
2010
Date of conference beginning:
20.10.2010
Date of conference ending:
23.10.2010
Place of publication:
Piscataway
Publisher:
IEEE
Year:
2010
Pages from - to:
43-50
Language:
Englisch
ISBN:
978-0-9835678-0-6 ; 978-1-4577-0734-6
Open Access yes or no?:
Ja / Yes
BibTeX