Concepedia

Karl Levitt

KL

Statistics

Publications

68

Citations

6.6K

H-Index

37

Active since

1968

Affiliations

University of California, Davis(Current)

SRI International

Karl Levitt is an author at University of California, Davis specializing in computer science, computing, and computer security.

Publications per year

1968–2017

68

Publications

68

Network intrusion detection

Biswanath Mukherjee, L.T. Heberlein, Karl Levitt · IEEE Network · 1994 · 1K citations

Computing, Computer Engineering, Computer Science +15

SIFT: Design and analysis of a fault-tolerant computer for aircraft control

J. H. Wensley, Leslie Lamport, Jack Goldberg et al. · Proceedings of the IEEE · 1978 · 567 citations

Engineering, Computer Engineering, Computer Science +14

Security vulnerabilities of connected vehicle streams and their impact on cooperative driving

Mani Amoozadeh, Arun Raghuramu, Chen‐Nee Chuah et al. · IEEE Communications Magazine · 2015 · 412 citations · Full text

Computing, Computer Science, Cybersecurity +17

SELECT—a formal system for testing and debugging programs by symbolic execution

Robert S. Boyer, B. Elspas, Karl Levitt · ACM SIGPLAN Notices · 1975 · 388 citations

Computing, Computer Science, Formal Methods +12

A network security monitor

L.T. Heberlein, Gihan Dias, Karl Levitt et al. · 1990 · 384 citations

Computing, Computer Engineering, Computer Science +16

1–5 of 68