1
Publications
90
Citations
1
H-Index
2004
Active since
Affiliations
University of California, Davis(Current)
K.E. Levitt is an author at University of California, Davis specializing in formal verification, network security, and verification.
Top concepts
EngineeringCryptographyVerificationBotnet DetectionNetwork SecuritySignal ProcessingFormal VerificationInformation SecurityInformation ForensicsNetworked Computer Systems
Publications per year
2004–2004
1
1
Steven J. Templeton, K.E. Levitt · 2004 · 90 citations
Rows per page
1–1 of 1