%0 Conference Paper %1 conf/hvc/SchwarzD14 %A Schwarz, Oliver %A Dam, Mads %B Haifa Verification Conference %D 2014 %E Yahav, Eran %I Springer %K dblp %P 236-251 %T Formal Verification of Secure User Mode Device Execution with DMA. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2014.html#SchwarzD14 %V 8855 %@ 978-3-319-13337-9

@inproceedings{conf/hvc/SchwarzD14, added-at = {2017-05-19T00:00:00.000+0200}, author = {Schwarz, Oliver and Dam, Mads}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f67142feed47eea7eddbeac144ca9192/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2014}, editor = {Yahav, Eran}, ee = {https://doi.org/10.1007/978-3-319-13338-6_18}, interhash = {256bfc1c8d185ff8044df57d34379094}, intrahash = {f67142feed47eea7eddbeac144ca9192}, isbn = {978-3-319-13337-9}, keywords = {dblp}, pages = {236-251}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:31:05.000+0200}, title = {Formal Verification of Secure User Mode Device Execution with DMA.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2014.html#SchwarzD14}, volume = 8855, year = 2014 }