Commit Diff

Commit:
a3d7d9c6f85363c601b6a342a547f3db8d651178
From:
Sergey Bronnikov <estetus@gmail.com>
Date:
Message:
Updated Device drivers testing (markdown)
Actions:
Patch | Tree
commit - cd0a0b8c63f54b0fbeb1d7565f180ca5a64f8f24
commit + a3d7d9c6f85363c601b6a342a547f3db8d651178
blob - d5f8fd2160c017e335460a6cc1fc2dc8c6a294b5
blob + 08fecfd822da70d786d88a8aff04eb14e92936c3
--- Device-drivers-testing.md
+++ Device-drivers-testing.md
@@ -16,4 +16,9 @@
   - USB stack [Facedancer21](http://goodfet.sourceforge.net/hardware/facedancer21/) 
 - [ddverify](http://www.cprover.org/ddverify/)
 - [Formal Verification of Linux Device Drivers](http://www.cprover.org/dissertations/thesis-Witkowski.pdf)
-- [DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers](https://github.com/ucsb-seclab/dr_checker)
\ No newline at end of file
+- [DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers](https://github.com/ucsb-seclab/dr_checker)
+
+### Papers
+
+- Model Checking Concurrent Linux Device Drivers http://www.kroening.com/papers/ase2007-ddverify.pdf
+- SymDrive: Testing Drivers without Devices https://www.usenix.org/system/files/conference/osdi12/osdi12-final-4.pdf
\ No newline at end of file