Can Sar is an author at Stanford University specializing in computer engineering, hardware security, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2006–2006
2
2
Automatically generating malicious disks using symbolic execution
Junfeng Yang, Can Sar, Paul Twohey et al. · 2006 · 106 citations
Rows per page
1–2 of 2