{DR}. {CHECKER}: A Soundy Analysis for Linux Kernel Drivers - Concepedia

Concepedia

Publication | Closed Access

{DR}. {CHECKER}: A Soundy Analysis for Linux Kernel Drivers

64

Citations

0

References

2017

Year

Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, Giovanni Vigna

USENIX Security Symposium

EngineeringOperating SystemsRuntime VerificationProgram AnalysisSoundy AnalysisVerificationFormal MethodsComputer ScienceDevice DriverSoftware AnalysisSystem SoftwareFormal Verification

No additional data available for this publication yet. Check back later!