Karl N. Levitt

ORCID

Publication Activity (10 Years)

Years Active: 1967-2022
Publications (10 Years): 16

Top Venues

Publications

Michael Clifford, Miriam Heller, Karl N. Levitt, Matt Bishop
Autonomous Vehicle Security: Composing Attack, Defense, and Policy Surfaces. NSPW (2022)
Nidhi Rastogi, Sara Rampazzi, Michael Clifford, Miriam Heller, Matt Bishop, Karl N. Levitt
Explaining RADAR features for detecting spoofing attacks in Connected Autonomous Vehicles. CoRR (2022)
Matt Bishop, Carrie Gates, Karl N. Levitt
Augmenting Machine Learning with Argumentation. NSPW (2018)
Sisi Duan, Yun Li, Karl N. Levitt
Cost sensitive moving target consensus. NCA (2016)
Parisa Kianmajd, Jeff Rowe, Karl N. Levitt
Privacy-preserving coordination for smart communities. INFOCOM Workshops (2016)
Azeem Aqil, Ahmed Osama Fathy Atya, Srikanth V. Krishnamurthy, Paul Yu, Ananthram Swami, Jeff Rowe, Karl N. Levitt, Alexander Poylisher, Constantin Serban, Ritu Chadha
Automated cross layer feature selection for effective intrusion detection in networked systems. CNS (2016)
Bogdan Copos, Karl N. Levitt, Matt Bishop, Jeff Rowe
Is Anybody Home? Inferring Activity From Smart Home Network Traffic. IEEE Symposium on Security and Privacy Workshops (2016)
Z. Berkay Celik, Nan Hu, Yun Li, Nicolas Papernot, Patrick D. McDaniel, Robert J. Walls, Jeff Rowe, Karl N. Levitt, Novella Bartolini, Thomas F. La Porta, Ritu Chadha
Mapping sample scenarios to operational models. MILCOM (2016)
Bogdan Copos, Karl N. Levitt, Jeff Rowe, Parisa Kianmajd, Chen-Nee Chuah, George Kesidis
Security and Privacy for Emerging Smart Community Infrastructures. IoTBD (2016)
Andy Applebaum, Zimi Li, Karl N. Levitt, Simon Parsons, Jeff Rowe, Elizabeth I. Sklar
Firewall configuration: An application of multiagent metalevel argumentation. Argument Comput. 7 (2-3) (2016)
Mani Amoozadeh, Arun Raghuramu, Chen-Nee Chuah, Dipak Ghosal, H. Michael Zhang, Jeff Rowe, Karl N. Levitt
Security vulnerabilities of connected vehicle streams and their impact on cooperative driving. IEEE Commun. Mag. 53 (6) (2015)
Yuquan Shan, Jayaram Raghuram, George Kesidis, David J. Miller, Anna Scaglione, Jeff Rowe, Karl N. Levitt
Generation bidding game with potentially false attestation of flexible demand. EURASIP J. Adv. Signal Process. 2015 (2015)
Conner Jackson, Karl N. Levitt, Jeff Rowe, Srikanth V. Krishnamurthy, Trent Jaeger, Ananthram Swami
A diagnosis based intrusion detection approach. MILCOM (2015)
Azeem Aqil, Ahmed Osama Fathy Atya, Trent Jaeger, Srikanth V. Krishnamurthy, Karl N. Levitt, Patrick D. McDaniel, Jeff Rowe, Ananthram Swami
Detection of stealthy TCP-based DoS attacks. MILCOM (2015)
Sisi Duan, Sean Peisert, Karl N. Levitt
hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost. IEEE Trans. Dependable Secur. Comput. 12 (1) (2015)
Andy Applebaum, Karl N. Levitt, Zimi Li, Simon Parsons, Jeff Rowe, Elizabeth Sklar
Cyber reasoning with argumentation: Abstracting from incomplete and contradictory evidence. MILCOM (2015)
Mahnoosh Alizadeh, Anna Scaglione, Andy Applebaum, George Kesidis, Karl N. Levitt
Scalable and Anonymous Modeling of Large Populations of Flexible Appliances. CoRR (2014)
Jayaram Raghuram, George Kesidis, Christopher Griffin, Karl N. Levitt, David J. Miller, Jeff Rowe, Anna Scaglione
A Bidding Game for Generators in the Presence of Flexible Demand. Feedback Computing (2014)
Yuquan Shan, Jayaram Raghuram, George Kesidis, Christopher Griffin, Karl N. Levitt, David J. Miller, Jeff Rowe, Anna Scaglione
Generation bidding game with flexible demand. CoRR (2014)
Simon Parsons, Katie Atkinson, Zimi Li, Peter McBurney, Elizabeth Sklar, Munindar P. Singh, Karen Zita Haigh, Karl N. Levitt, Jeff Rowe
Argument schemes for reasoning about trust. Argument Comput. 5 (2-3) (2014)
Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang
ByzID: Byzantine Fault Tolerance from Intrusion Detection. SRDS (2014)
Jeff Rowe, Karl N. Levitt, Mike Hogarth
Towards the realization of a public health system for shared secure cyber-space. NSPW (2013)
Simon Parsons, Elizabeth Sklar, Munindar P. Singh, Karl N. Levitt, Jeff Rowe
An Argumentation-Based Approach to Handling Trust in Distributed Decision Making. AAAI Spring Symposium: Trust and Autonomous Systems (2013)
Simon Parsons, Katie Atkinson, Karen Zita Haigh, Karl N. Levitt, Peter McBurney, Jeff Rowe, Munindar P. Singh, Elizabeth Sklar
Argument Schemes for Reasoning about Trust. COMMA (2012)
Jeff Rowe, Karl N. Levitt, Simon Parsons, Elizabeth Sklar, Andy Applebaum, Sharmin Jalal
Argumentation logic to assist in security administration. NSPW (2012)
Andy Applebaum, Karl N. Levitt, Jeff Rowe, Simon Parsons
Arguing About Firewall Policy. COMMA (2012)
Ruaylong Lee, Roozbeh Nia, Jason Hsu, Karl N. Levitt, Jeff Rowe, Shyhtsun Felix Wu, Shaozhi Ye
Design and Implementation of FAITH, An Experimental System to Intercept and Manipulate Online Social Informatics. ASONAM (2011)
Xiaoming Lu, Matt Spear, Karl N. Levitt, Shyhtsun Felix Wu
iBubble: Multi-Keyword Routing Protocol for Heterogeneous Wireless Sensor Networks. INFOCOM (2008)
Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu
A Synchronization Attack and Defense in Energy-Efficient Listen-Sleep Slotted MAC Protocols. SECURWARE (2008)
Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu
Using Soft-Line Recursive Response to Improve Query Aggregation in Wireless Sensor Networks. ICC (2008)
Senthilkumar G. Cheetancheri, John Mark Agosta, Karl N. Levitt, Shyhtsun Felix Wu, Jeff Rowe
Optimal Cost, Collaborative, and Distributed Response to Zero-Day Worms - A Control Theoretic Approach. RAID (2008)
Cynthia E. Irvine, Karl N. Levitt
Trusted Hardware: Can It Be Trustworthy? DAC (2007)
Lynette Qu Nguyen, Tufan Demir, Jeff Rowe, Francis Hsu, Karl N. Levitt
A framework for diversifying windows native APIs to tolerate code injection attacks. AsiaCCS (2007)
Chinyang Henry Tseng, Shiau-Huey Wang, Karl N. Levitt
DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET. AsiaCCS (2007)
Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop
Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks. RAID (2007)
Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt
Some Problems in Sanitizing Network Data. WETICE (2006)
Chinyang Henry Tseng, Shiau-Huey Wang, Calvin Ko, Karl N. Levitt
DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET. RAID (2006)
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl N. Levitt, Matt Bishop
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs. DIMVA (2006)
Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt
Sanitization models and their limitations. NSPW (2006)
Senthilkumar G. Cheetancheri, John Mark Agosta, Denver Dash, Karl N. Levitt, Jeff Rowe, Eve M. Schooler
A distributed host-based worm detection system. LSAD@SIGCOMM (2006)
Senthilkumar G. Cheetancheri, Denys L. Ma, Karl N. Levitt, Todd L. Heberlein
Towards a framework for worm-defense evaluation. IPCCC (2006)
Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks. Formal Aspects in Security and Trust (2005)
Marcus Tylutki, Karl N. Levitt
A Network-Based Response Framework and Implementation. IWAN (2005)
Daniel F. Sterne, Poornima Balasubramanyam, David Carman, Brett Wilson, Rajesh Talpade, Calvin Ko, Ravindra Balupari, Chin-Yang Tseng, Thomas F. Bowen, Karl N. Levitt, Jeff Rowe
A General Cooperative Intrusion Detection Architecture for MANETs. IWIA (2005)
Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt
A Specification-Based Intrusion Detection Model for OLSR. RAID (2005)
Ruzena Bajcsy, Terry Benzel, Matt Bishop, Robert Braden, Carla E. Brodley, Sonia Fahmy, Sally Floyd, W. Hardaker, Anthony D. Joseph, George Kesidis, Karl N. Levitt, Robert Lindell, Peng Liu, David J. Miller, Russ Mundy, Clifford Neuman, Ron Ostrenga, Vern Paxson, Phillip A. Porras, Catherine Rosenberg, J. Doug Tygar, Shankar Sastry, Daniel F. Sterne, Shyhtsun Felix Wu
Cyber defense technology networking and evaluation. Commun. ACM 47 (3) (2004)
Archana Pasupulati, Jason Coit, Karl N. Levitt, Shyhtsun Felix Wu, S. H. Li, J. C. Kuo, K. P. Fan
Buttercup: on network-based detection of polymorphic buffer overflow vulnerabilities. NOMS (1) (2004)
Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt
How to Sanitize Data. WETICE (2004)
Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt
Formal Reasoning About Intrusion Detection Systems. RAID (2004)
Phillip A. Porras, Linda Briesemeister, Keith Skinner, Karl N. Levitt, Jeff Rowe, Yu-Cheng Allen Ting
A hybrid quarantine defense. WORM (2004)
Marcus Tylutki, Karl N. Levitt
Mitigating Distributed Denial of Service Attacks Using a Proportional-Integral-Derivative Controller. RAID (2003)
Calvin Ko, Karl N. Levitt
System Health and Intrusion Monitoring (SHIM): Project Summary. DISCEX (2) (2003)
Melissa Danforth, Karl N. Levitt
Immune System Model for Detecting Web Server Attacks. ICMLA (2003)
Tye Stallard, Karl N. Levitt
Automated Analysis for Digital Forensic Science: Semantic Integrity Checking. ACSAC (2003)
D. Nojiri, Jeff Rowe, Karl N. Levitt
Cooperative Response Strategies for Large Scale Attack Mitigation. DISCEX (1) (2003)
Chin-Yang Tseng, Poornima Balasubramanyam, Calvin Ko, Rattapon Limprasittiporn, Jeff Rowe, Karl N. Levitt
A specification-based intrusion detection system for AODV. SASN (2003)
Ivan Balepin, Sergei Maltsev, Jeff Rowe, Karl N. Levitt
Using Specification-Based Intrusion Detection for Automated Response. RAID (2003)
James E. Just, James C. Reynolds, Larry A. Clough, Melissa Danforth, Karl N. Levitt, Ryan Maglich, Jeff Rowe
Learning Unknown Attacks - A Start. RAID (2002)
Karl N. Levitt
Intrusion Detection: Current Capabilities and Future Directions. ACSAC (2002)
Dustin Lee, Jeff Rowe, Calvin Ko, Karl N. Levitt
Detecting and Defending against Web-Server Fingerprinting. ACSAC (2002)
James C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, Karl N. Levitt
The Design and Implementation of an Intrusion Tolerant System. DSN (2002)
Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Karl N. Levitt
System Health and Intrusion Monitoring Using a Hierarchy of Constraints. Recent Advances in Intrusion Detection (2001)
Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
Intrusion detection inter-component adaptive negotiation. Comput. Networks 34 (4) (2000)
Christina Yip Chung, Michael Gertz, Karl N. Levitt
Discovery of Multi-Level Security Policies. DBSec (2000)
Steven Cheung, Karl N. Levitt
A Formal-Specification Based Approach for Protecting the Domain Name System. DSN (2000)
Cui Zhang, Ronald A. Olsson, Karl N. Levitt
Formal Verification of a Programming Logic for a Distributed Programming Language. Theor. Comput. Sci. 216 (1-2) (1999)
Christina Yip Chung, Michael Gertz, Karl N. Levitt
DEMIDS: A Misuse Detection System for Database Systems. IICIS (1999)
Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
Intrusion Detection Inter-component Adaptive Negotiation. Recent Advances in Intrusion Detection (1999)
Christina Yip Chung, Michael Gertz, Karl N. Levitt
Misuse Detection in Database Systems Through User Profiling. Recent Advances in Intrusion Detection (1999)
Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test. Verification Reliab. 9 (2) (1999)
Raymond W. Yip, Karl N. Levitt
Data Level Inference Detection in Database Systems. CSFW (1998)
James A. Hoagland, Raju Pandey, Karl N. Levitt
Security Policy Specification Using a Graphical Approach CoRR (1998)
Raymond W. Yip, Karl N. Levitt
The Design and Implementation of a Data Level Database Inference Detection System. DBSec (1998)
Mark R. Heckman, Karl N. Levitt
Applying the Composition Principle to Verify a Hierarchy of Security Servers. HICSS (3) (1998)
Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. Softw. Test. Verification Reliab. 7 (4) (1997)
Calvin Ko, Manfred Ruschitzka, Karl N. Levitt
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. IEEE Symposium on Security and Privacy (1997)
Steven Cheung, Karl N. Levitt
Protecting routing infrastructures from denial of service using cooperative intrusion detection. NSPW (1997)
Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
Verification of a Distributed Computing. HICSS (5) (1997)
Dan Zerkle, Karl N. Levitt
NetKuang - A Multi-Host Configuration Vulnerability Checker. USENIX Security Symposium (1996)
Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
Towards Applying the Composition Principle to Verify a Microkernel Operating System. TPHOLs (1996)
Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
MCF: a malicious code filter. Comput. Secur. 14 (6) (1995)
Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
A Hierarchical Method for Reasoning about Distributed Programming Languages. TPHOLs (1995)
Biswanath Mukherjee, Todd L. Heberlein, Karl N. Levitt
Network intrusion detection. IEEE Netw. 8 (3) (1994)
George Fink, Karl N. Levitt
Property-based testing of privileged programs. ACSAC (1994)
Calvin Ko, George Fink, Karl N. Levitt
Automated detection of vulnerabilities in privileged programs by execution monitoring. ACSAC (1994)
Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. HUG (1993)
Calvin Ko, Deborah A. Frincke, Terrance Goan, Todd L. Heberlein, Karl N. Levitt, Biswanath Mukherjee, Christopher Wee
Analysis of an Algorithm for Distributed Recognition and Accountability. CCS (1993)
Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley
Report on the UCD Microcoded Viper Verification Project. HUG (1993)
Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala
Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. TPHOLs (1992)
William L. Harrison, Myla Archer, Karl N. Levitt
A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs (1992)
Saraswati Kalvala, Myla Archer, Karl N. Levitt
Implementation and Use of Annotations in HOL. TPHOLs (1992)
Deborah A. Frincke, Genc L. Fisher, Myla Archer, Karl N. Levitt
An application of template methodology: rapid prototyping of user interface management systems. RSP (1991)
Jim Alves-Foss, Karl N. Levitt
Mechanical Verification of Secure Distributed Systems in Higher Order Logic. TPHOLs (1991)
Raymond W. Lo, P. Kerchen, Richard H. Crawford, W. Wilson Ho, J. Crossley, George Fink, Karl N. Levitt, Ronald A. Olsson, Myla Archer
Towards a testbed for malicious code detection. Compcon (1991)
William L. Harrison, Karl N. Levitt
Mechanizing Security in HOL. TPHOLs (1991)
Steven R. Snapp, James Brentano, Gihan V. Dias, Terrance Goan, Tim Grance, Todd L. Heberlein, Che-Lin Ho, Karl N. Levitt, Biswanath Mukherjee, Douglass L. Mansur, Kenneth L. Pon, Stephen E. Smaha
A system for distributed intrusion detection. Compcon (1991)
Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt
Effectiveness of operating system prototyping from a template: application to MINIX. RSP (1991)
Deborah A. Frincke, Myla Archer, Karl N. Levitt
CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. KBSE (1991)
Jim Alves-Foss, Karl N. Levitt
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. IEEE Symposium on Security and Privacy (1991)
Jim Alves-Foss, Karl N. Levitt
The verification of secure distributed systems. Compcon (1991)

Karl N. Levitt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karl N. Levitt