Karl N. Levitt

According to our database, Karl N. Levitt authored at least 125 papers between 1967 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Explaining RADAR features for detecting spoofing attacks in Connected Autonomous Vehicles.

Nidhi Rastogi, Sara Rampazzi, Michael Clifford, Miriam Heller, Matt Bishop, Karl N. Levitt

CoRR, 2022

Autonomous Vehicle Security: Composing Attack, Defense, and Policy Surfaces.

Michael Clifford, Miriam Heller, Karl N. Levitt, Matt Bishop

Proceedings of the 2022 New Security Paradigms Workshop, 2022

2018

Augmenting Machine Learning with Argumentation.

Matt Bishop, Carrie Gates, Karl N. Levitt

Proceedings of the New Security Paradigms Workshop, 2018

2016

Firewall configuration: An application of multiagent metalevel argumentation.

Andy Applebaum, Zimi Li, Karl N. Levitt, Simon Parsons, Jeff Rowe, Elizabeth I. Sklar

Argument Comput., 2016

Is Anybody Home? Inferring Activity From Smart Home Network Traffic.

Bogdan Copos, Karl N. Levitt, Matt Bishop, Jeff Rowe

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Cost sensitive moving target consensus.

Sisi Duan, Yun Li, Karl N. Levitt

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Mapping sample scenarios to operational models.

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

Proceedings of the 2016 IEEE Military Communications Conference, 2016

Security and Privacy for Emerging Smart Community Infrastructures.

Bogdan Copos, Karl N. Levitt, Jeff Rowe, Parisa Kianmajd, Chen-Nee Chuah, George Kesidis

Proceedings of the International Conference on Internet of Things and Big Data, 2016

Privacy-preserving coordination for smart communities.

Parisa Kianmajd, Jeff Rowe, Karl N. Levitt

Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Automated cross layer feature selection for effective intrusion detection in networked systems.

Azeem Aqil, Ahmed Osama Fathy Atya, Srikanth V. Krishnamurthy, Paul L. Yu, Ananthram Swami, Jeff Rowe, Karl N. Levitt, Alexander Poylisher, Constantin Serban, Ritu Chadha

Proceedings of the 2016 IEEE Conference on Communications and Network Security, 2016

2015

hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost.

Sisi Duan, Sean Peisert, Karl N. Levitt

IEEE Trans. Dependable Secur. Comput., 2015

Generation bidding game with potentially false attestation of flexible demand.

Yuquan Shan, Jayaram Raghuram, George Kesidis, David J. Miller, Anna Scaglione, Jeff Rowe, Karl N. Levitt

EURASIP J. Adv. Signal Process., 2015

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

Mani Amoozadeh, Arun Raghuramu, Chen-Nee Chuah, Dipak Ghosal, H. Michael Zhang, Jeff Rowe, Karl N. Levitt

IEEE Commun. Mag., 2015

A diagnosis based intrusion detection approach.

Conner Jackson, Karl N. Levitt, Jeff Rowe, Srikanth V. Krishnamurthy, Trent Jaeger, Ananthram Swami

Proceedings of the 34th IEEE Military Communications Conference, 2015

Detection of stealthy TCP-based DoS attacks.

Azeem Aqil, Ahmed Osama Fathy Atya, Trent Jaeger, Srikanth V. Krishnamurthy, Karl N. Levitt, Patrick D. McDaniel, Jeff Rowe, Ananthram Swami

Proceedings of the 34th IEEE Military Communications Conference, 2015

Cyber reasoning with argumentation: Abstracting from incomplete and contradictory evidence.

Andy Applebaum, Karl N. Levitt, Zimi Li, Simon Parsons, Jeff Rowe, Elizabeth Sklar

Proceedings of the 34th IEEE Military Communications Conference, 2015

2014

Generation bidding game with flexible demand.

Yuquan Shan, Jayaram Raghuram, George Kesidis, Christopher Griffin, Karl N. Levitt, David J. Miller, Jeff Rowe, Anna Scaglione

CoRR, 2014

Scalable and Anonymous Modeling of Large Populations of Flexible Appliances.

Mahnoosh Alizadeh, Anna Scaglione, Andy Applebaum, George Kesidis, Karl N. Levitt

CoRR, 2014

Argument schemes for reasoning about trust.

Simon Parsons, Katie Atkinson, Zimi Li, Peter McBurney, Elizabeth Sklar, Munindar P. Singh, Karen Zita Haigh, Karl N. Levitt, Jeff Rowe

Argument Comput., 2014

ByzID: Byzantine Fault Tolerance from Intrusion Detection.

Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

A Bidding Game for Generators in the Presence of Flexible Demand.

Jayaram Raghuram, George Kesidis, Christopher Griffin, Karl N. Levitt, David J. Miller, Jeff Rowe, Anna Scaglione

Proceedings of the 9th International Workshop on Feedback Computing, 2014

2013

Towards the realization of a public health system for shared secure cyber-space.

Jeff Rowe, Karl N. Levitt, Mike Hogarth

Proceedings of the New Security Paradigms Workshop, 2013

An Argumentation-Based Approach to Handling Trust in Distributed Decision Making.

Simon Parsons, Elizabeth Sklar, Munindar P. Singh, Karl N. Levitt, Jeff Rowe

Proceedings of the Trust and Autonomous Systems, 2013

2012

Argumentation logic to assist in security administration.

Jeff Rowe, Karl N. Levitt, Simon Parsons, Elizabeth Sklar, Andy Applebaum, Sharmin Jalal

Proceedings of the New Security Paradigms Workshop, 2012

Argument Schemes for Reasoning about Trust.

Simon Parsons, Katie Atkinson, Karen Zita Haigh, Karl N. Levitt, Peter McBurney, Jeff Rowe, Munindar P. Singh, Elizabeth Sklar

Proceedings of the Computational Models of Argument, 2012

Arguing About Firewall Policy.

Andy Applebaum, Karl N. Levitt, Jeff Rowe, Simon Parsons

Proceedings of the Computational Models of Argument, 2012

2011

Design and Implementation of FAITH, An Experimental System to Intercept and Manipulate Online Social Informatics.

Ruaylong Lee, Roozbeh Nia, Jason Hsu, Karl N. Levitt, Jeff Rowe, Shyhtsun Felix Wu, Shaozhi Ye

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2011

2008

A Synchronization Attack and Defense in Energy-Efficient Listen-Sleep Slotted MAC Protocols.

Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu

Proceedings of the Second International Conference on Emerging Security Information, 2008

Optimal Cost, Collaborative, and Distributed Response to Zero-Day Worms - A Control Theoretic Approach.

Senthilkumar G. Cheetancheri, John Mark Agosta, Karl N. Levitt, Shyhtsun Felix Wu, Jeff Rowe

Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008

iBubble: Multi-Keyword Routing Protocol for Heterogeneous Wireless Sensor Networks.

Xiaoming Lu, Matt Spear, Karl N. Levitt, Shyhtsun Felix Wu

Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008

Using Soft-Line Recursive Response to Improve Query Aggregation in Wireless Sensor Networks.

Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu

Proceedings of IEEE International Conference on Communications, 2008

2007

Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks.

Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop

Proceedings of the Recent Advances in Intrusion Detection, 10th International Symposium, 2007

Trusted Hardware: Can It Be Trustworthy?

Cynthia E. Irvine, Karl N. Levitt

Proceedings of the 44th Design Automation Conference, 2007

DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET.

Chinyang Henry Tseng, Shiau-Huey Wang, Karl N. Levitt

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

A framework for diversifying windows native APIs to tolerate code injection attacks.

Lynette Qu Nguyen, Tufan Demir, Jeff Rowe, Francis Hsu, Karl N. Levitt

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

2006

Some Problems in Sanitizing Network Data.

Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt

Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

A distributed host-based worm detection system.

Senthilkumar G. Cheetancheri, John Mark Agosta, Denver Dash, Karl N. Levitt, Jeff Rowe, Eve M. Schooler

Proceedings of the 2006 SIGCOMM Workshop on Large-Scale Attack Defense, 2006

DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET.

Chinyang Henry Tseng, Shiau-Huey Wang, Calvin Ko, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

Sanitization models and their limitations.

Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt

Proceedings of the New Security Paradigms Workshop 2006, 2006

Towards a framework for worm-defense evaluation.

Senthilkumar G. Cheetancheri, Denys L. Ma, Karl N. Levitt, Todd L. Heberlein

Proceedings of the 25th IEEE International Performance Computing and Communications Conference, 2006

Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs.

Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl N. Levitt, Matt Bishop

Proceedings of the Detection of Intrusions and Malware & Vulnerability Assessment, 2006

2005

A Specification-Based Intrusion Detection Model for OLSR.

Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection, 8th International Symposium, 2005

A General Cooperative Intrusion Detection Architecture for MANETs.

Daniel F. Sterne, Poornima Balasubramanyam, David Carman, Brett Wilson, Rajesh Talpade, Calvin Ko, Ravindra Balupari, Chinyang Henry Tseng, Thomas F. Bowen, Karl N. Levitt, Jeff Rowe

Proceedings of the 3rd IEEE International Workshop on Information Assurance (IWIA 2005), 2005

A Network-Based Response Framework and Implementation.

Marcus Tylutki, Karl N. Levitt

Proceedings of the Active and Programmable Networks, 2005

Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks.

Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2004

Cyber defense technology networking and evaluation.

Ruzena Bajcsy, Terry Benzel, Matt Bishop, Robert Braden, Carla E. Brodley, Sonia Fahmy, Sally Floyd, Wes 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

Commun. ACM, 2004

A hybrid quarantine defense.

Phillip A. Porras, Linda Briesemeister, Keith Skinner, Karl N. Levitt, Jeff Rowe, Yu-Cheng Allen Ting

Proceedings of the 2004 ACM Workshop on Rapid Malcode, 2004

How to Sanitize Data.

Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Formal Reasoning About Intrusion Detection Systems.

Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection: 7th International Symposium, 2004

Buttercup: on network-based detection of polymorphic buffer overflow vulnerabilities.

Archana Pasupulati, Jason Coit, Karl N. Levitt, Shyhtsun Felix Wu, S. H. Li, J. C. Kuo, K. P. Fan

Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

2003

A specification-based intrusion detection system for AODV.

Chinyang Henry Tseng, Poornima Balasubramanyam, Calvin Ko, Rattapon Limprasittiporn, Jeff Rowe, Karl N. Levitt

Proceedings of the 1st ACM Workshop on Security of ad hoc and Sensor Networks, 2003

Mitigating Distributed Denial of Service Attacks Using a Proportional-Integral-Derivative Controller.

Marcus Tylutki, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection, 6th International Symposium, 2003

Using Specification-Based Intrusion Detection for Automated Response.

Ivan Balepin, Sergei Maltsev, Jeff Rowe, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection, 6th International Symposium, 2003

Immune System Model for Detecting Web Server Attacks.

Melissa Danforth, Karl N. Levitt

Proceedings of the 2003 International Conference on Machine Learning and Applications, 2003

Cooperative Response Strategies for Large Scale Attack Mitigation.

D. Nojiri, Jeff Rowe, Karl N. Levitt

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

System Health and Intrusion Monitoring (SHIM): Project Summary.

Calvin Ko, Karl N. Levitt

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

Automated Analysis for Digital Forensic Science: Semantic Integrity Checking.

Tye Stallard, Karl N. Levitt

Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC 2003), 2003

2002

Learning Unknown Attacks - A Start.

James E. Just, James C. Reynolds, Larry A. Clough, Melissa Danforth, Karl N. Levitt, Ryan Maglich, Jeff Rowe

Proceedings of the Recent Advances in Intrusion Detection, 5th International Symposium, 2002

The Design and Implementation of an Intrusion Tolerant System.

James C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, Karl N. Levitt

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Intrusion Detection: Current Capabilities and Future Directions.

Karl N. Levitt

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

Detecting and Defending against Web-Server Fingerprinting.

Dustin Lee, Jeff Rowe, Calvin Ko, Karl N. Levitt

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

2001

System Health and Intrusion Monitoring Using a Hierarchy of Constraints.

Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection, 4th International Symposium, 2001

2000

Intrusion detection inter-component adaptive negotiation.

Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu

Comput. Networks, 2000

A Formal-Specification Based Approach for Protecting the Domain Name System.

Steven Cheung, Karl N. Levitt

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Discovery of Multi-Level Security Policies.

Christina Yip Chung, Michael Gertz, Karl N. Levitt

Proceedings of the Data and Application Security, 2000

1999

Formal Verification of a Programming Logic for a Distributed Programming Language.

Cui Zhang, Ronald A. Olsson, Karl N. Levitt

Theor. Comput. Sci., 1999

LVT: A Layered Verification Technique for Distributed Computing Systems.

Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt

Softw. Test. Verification Reliab., 1999

DEMIDS: A Misuse Detection System for Database Systems.

Christina Yip Chung, Michael Gertz, Karl N. Levitt

Proceedings of the Integrity and Internal Control in Information Systems, 1999

Misuse Detection in Database Systems Through User Profiling.

Christina Yip Chung, Michael Gertz, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection, Second International Workshop, 1999

1998

Security Policy Specification Using a Graphical Approach

James A. Hoagland, Raju Pandey, Karl N. Levitt

CoRR, 1998

Applying the Composition Principle to Verify a Hierarchy of Security Servers.

Mark R. Heckman, Karl N. Levitt

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

The Design and Implementation of a Data Level Database Inference Detection System.

Raymond W. Yip, Karl N. Levitt

Proceedings of the Database Security XII: Status and Prospects, 1998

Data Level Inference Detection in Database Systems.

Raymond W. Yip, Karl N. Levitt

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1997

Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques.

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson

Softw. Test. Verification Reliab., 1997

Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach.

Calvin Ko, Manfred Ruschitzka, Karl N. Levitt

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Protecting routing infrastructures from denial of service using cooperative intrusion detection.

Steven Cheung, Karl N. Levitt

Proceedings of the 1997 Workshop on New Security Paradigms, 1997

Verification of a Distributed Computing.

Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

NetKuang - A Multi-Host Configuration Vulnerability Checker.

Dan Zerkle, Karl N. Levitt

Proceedings of the 6th USENIX Security Symposium, San Jose, CA, USA, July 22-25, 1996, 1996

Towards Applying the Composition Principle to Verify a Microkernel Operating System.

Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

MCF: a malicious code filter.

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson

Comput. Secur., 1995

A Hierarchical Method for Reasoning about Distributed Programming Languages.

Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Network intrusion detection.

Biswanath Mukherjee, Todd L. Heberlein, Karl N. Levitt

IEEE Netw., 1994

Automated detection of vulnerabilities in privileged programs by execution monitoring.

Calvin Ko, George Fink, Karl N. Levitt

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

Property-based testing of privileged programs.

George Fink, Karl N. Levitt

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

1993

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.

Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Report on the UCD Microcoded Viper Verification Project.

Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Analysis of an Algorithm for Distributed Recognition and Accountability.

Calvin Ko, Deborah A. Frincke, Terrance Goan, Todd L. Heberlein, Karl N. Levitt, Biswanath Mukherjee, Christopher Wee

Proceedings of the CCS '93, 1993

1992

Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit.

Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Implementation and Use of Annotations in HOL.

Saraswati Kalvala, Myla Archer, Karl N. Levitt

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language.

William L. Harrison, Myla Archer, Karl N. Levitt

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

Mechanizing Security in HOL.

William L. Harrison, Karl N. Levitt

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Mechanical Verification of Secure Distributed Systems in Higher Order Logic.

Jim Alves-Foss, Karl N. Levitt

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components.

Jim Alves-Foss, Karl N. Levitt

Proceedings of the 1991 IEEE Symposium on Security and Privacy, 1991

An application of template methodology: rapid prototyping of user interface management systems.

Deborah A. Frincke, Genc L. Fisher, Myla Archer, Karl N. Levitt

Proceedings of the Second International Workshop on Rapid System Prototyping, 1991

Effectiveness of operating system prototyping from a template: application to MINIX.

Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt

Proceedings of the Second International Workshop on Rapid System Prototyping, 1991

CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.

Deborah A. Frincke, Myla Archer, Karl N. Levitt

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

A system for distributed intrusion detection.

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

Proceedings of the Compcon Spring '91, San Francisco, 1991

Towards a testbed for malicious code detection.

Raymond W. Lo, P. Kerchen, Richard H. Crawford, W. Wilson Ho, J. Crossley, George Fink, Karl N. Levitt, Ronald A. Olsson, Myla Archer

Proceedings of the Compcon Spring '91, San Francisco, 1991

The verification of secure distributed systems.

Jim Alves-Foss, Karl N. Levitt

Proceedings of the Compcon Spring '91, San Francisco, 1991

1990

A Network Security Monitor.

L. Todd Herberlein, Gihan V. Dias, Karl N. Levitt, Biswanath Mukherjee, Jeff Wood, David Wolber

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

A template for rapid prototyping of operating systems.

Myla Archer, Deborah A. Frincke, Karl N. Levitt

Proceedings of the First International Workshop on Rapid System Prototyping, 1990

1985

Overview of applications.

Karl N. Levitt, R. Alan Whitehurst

ACM SIGSOFT Softw. Eng. Notes, 1985

1981

Recent SRI work in verification.

Karl N. Levitt, Peter G. Neumann

ACM SIGSOFT Softw. Eng. Notes, 1981

1979

Writing Simulatable Specifications in SPECIAL.

Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg

Proceedings of the Use of Formal Specification of Software, 1979

1978

An Example of Hierarchical Design and Proof.

Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson

Commun. ACM, 1978

1977

Proof Techniques for Hierarchically Structured Programs.

Lawrence Robinson, Karl N. Levitt

Commun. ACM, 1977

Proving Multilevel Security of a System Design.

Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson

Proceedings of the Sixth Symposium on Operating System Principles, 1977

1976

The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.

John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak

Proceedings of the 2nd International Conference on Software Engineering, 1976

Software Development and Proofs of Multi-Level Security.

Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

On attaining reliable software for a secure operating system.

Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena

Proceedings of the International Conference on Reliable Software 1975, 1975

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

Robert S. Boyer, Bernard Elspas, Karl N. Levitt

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

An Organization for a Highly Survivable Memory.

Jack Goldberg, Karl N. Levitt, John H. Wensley

IEEE Trans. Computers, 1974

Reasoning about Programs.

Richard J. Waldinger, Karl N. Levitt

Artif. Intell., 1974

1973

Report of evening session on hierarchical methods.

Karl N. Levitt

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

1972

An Assessment of Techniques for Proving Program Correctness.

Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman

ACM Comput. Surv., 1972

Cellular Arrays for the Solution of Graph Problems.

Karl N. Levitt, William H. Kautz

Commun. ACM, 1972

The application of program-proving techniques to the verification of synchronization processes.

Karl N. Levitt

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1971

Software Reliability.

Bernard Elspas, Milton W. Green, Karl N. Levitt

Computer, 1971

1970

R70-38 The Time Required for Group Multiplication.

Karl N. Levitt

IEEE Trans. Computers, 1970

1969

Cellular arrays for the parallel implementation of binary error-correcting codes.

Karl N. Levitt, William H. Kautz

IEEE Trans. Inf. Theory, 1969

A survey of progress in coding theory in the Soviet Union.

William H. Kautz, Karl N. Levitt

IEEE Trans. Inf. Theory, 1969

Module Clustering to Minimize Delay in Digital Networks.

Eugene L. Lawler, Karl N. Levitt, James Turner

IEEE Trans. Computers, 1969

1968

Cellular Interconnection Arrays.

William H. Kautz, Karl N. Levitt, Abraham Waksman

IEEE Trans. Computers, 1968

A study of the data commutation problems in a self-repairable multiprocessor.

Karl N. Levitt, Milton W. Green, Jack Goldberg

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1968 Spring Joint Computer Conference, Atlantic City, NJ, USA, 30 April, 1968

1967

A class of nonlinear error correcting codes based upon interleaved two-level sequences (Corresp.).

Karl N. Levitt, Jack K. Wolf

IEEE Trans. Inf. Theory, 1967