Search results for "Karl N. Levitt"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Xiaoming Lu, Matt Spear, Karl N. Levitt, Shyhtsun Felix Wu	iBubble: Multi-Keyword Routing Protocol for Heterogeneous Wireless Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Collaboration, Dynamic Programming, Worms, Control Theory
1	Cynthia E. Irvine, Karl N. Levitt	Trusted Hardware: Can It Be Trustworthy?	DAC	2007	DBLP DOI BibTeX RDF
1	Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop	Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks.	RAID	2007	DBLP DOI BibTeX RDF	Response Agent (RA), Topology Dependency Index (TDI), Attack Damage Index (ADI), adaptive isolation, attack damage, response cost, MANET
1	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	DBLP DOI BibTeX RDF	windows native API, diversity, code injection attacks
1	Chinyang Henry Tseng, Shiau-Huey Wang, Karl N. Levitt	DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET.	ASIACCS	2007	DBLP DOI BibTeX RDF	DEMEM, DRETA, delayed key disclosure, forwarded message, one-way key chain, previous forwarder, validation message, MANET, AODV, OLSR, HMAC
1	Senthilkumar G. Cheetancheri, Denys L. Ma, Karl N. Levitt, Todd L. Heberlein	Towards a framework for worm-defense evaluation.	IPCCC	2006	DBLP DOI BibTeX RDF
1	Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt	Some Problems in Sanitizing Network Data.	WETICE	2006	DBLP DOI BibTeX RDF
1	Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt	Sanitization models and their limitations.	NSPW	2006	DBLP DOI BibTeX RDF	data sanitization, closed world assumption, disclosure control, inference problem
1	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	DBLP DOI BibTeX RDF
1	Chinyang Henry Tseng, Shiau-Huey Wang, Calvin Ko, Karl N. Levitt	DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET.	RAID	2006	DBLP DOI BibTeX RDF	DEMEM, TBRPF, attack method, MPR selector, Hello message, TC message, ID message, ID Manager, ID-Evidence, ID-Forward, ID-Request, MANET, constraint, IDS, AODV, evidence, DSR, OLSR, forwarder, TESLA, MPR
1	Marcus Tylutki, Karl N. Levitt	A Network-Based Response Framework and Implementation.	IWAN	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Ad hoc network, Intrusion Detection, Network Security, Formal reasoning
1	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	DBLP BibTeX RDF
1	Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt	A Specification-Based Intrusion Detection Model for OLSR.	RAID	2005	DBLP DOI BibTeX RDF	Specification based IDS, MANET, Mobile ad hoc network, Intrusion Detection, Network Security, Constraints, OLSR
1	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 Miller, Russ Mundy, Cliford 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	2004	DBLP DOI BibTeX RDF
1	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	2004	DBLP DOI BibTeX RDF
1	Phillip A. Porras, Linda Briesemeister, Keith Skinner, Karl N. Levitt, Jeff Rowe, Yu-Cheng Allen Ting	A hybrid quarantine defense.	WORM	2004	DBLP DOI BibTeX RDF	network modeling and simulation, worm detection systems, network security, worms
1	Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt	How to Sanitize Data.	WETICE	2004	DBLP DOI BibTeX RDF
1	Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt	Formal Reasoning About Intrusion Detection Systems.	RAID	2004	DBLP DOI BibTeX RDF	verification, formal method, Intrusion detection, security policy
1	Chin-Yang Tseng, Poornima Balasubramanyam, Calvin Ko, Rattapon Limprasittiporn, Jeff Rowe, Karl N. Levitt	A specification-based intrusion detection system for AODV.	SASN	2003	DBLP DOI BibTeX RDF	specification-based detection, MANET, intrusion detection, network monitor, AODV, P2P network
1	Tye Stallard, Karl N. Levitt	Automated Analysis for Digital Forensic Science: Semantic Integrity Checking.	ACSAC	2003	DBLP DOI BibTeX RDF
1	Melissa Danforth, Karl N. Levitt	Immune System Model for Detecting Web Server Attacks.	ICMLA	2003	DBLP BibTeX RDF
1	Calvin Ko, Karl N. Levitt	System Health and Intrusion Monitoring (SHIM): Project Summary.	DISCEX	2003	DBLP DOI BibTeX RDF
1	D. Nojiri, Jeff Rowe, Karl N. Levitt	Cooperative Response Strategies for Large Scale Attack Mitigation.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Ivan Balepin, Sergei Maltsev, Jeff Rowe, Karl N. Levitt	Using Specification-Based Intrusion Detection for Automated Response.	RAID	2003	DBLP DOI BibTeX RDF
1	Marcus Tylutki, Karl N. Levitt	Mitigating Distributed Denial of Service Attacks Using a Proportional-Integral-Derivative Controller.	RAID	2003	DBLP DOI BibTeX RDF	PID control law, Automated Response, Denial of Service, DoS, Distributed Denial of Service, DDoS, Control Theory, Distributed Attacks
1	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	DBLP DOI BibTeX RDF
1	Karl N. Levitt	Intrusion Detection: Current Capabilities and Future Directions.	ACSAC	2002	DBLP DOI BibTeX RDF
1	Dustin Lee, Jeff Rowe, Calvin Ko, Karl N. Levitt	Detecting and Defending against Web-Server Fingerprinting.	ACSAC	2002	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu	Intrusion detection inter-component adaptive negotiation.	Computer Networks	2000	DBLP DOI BibTeX RDF
1	Steven Cheung, Karl N. Levitt	A Formal-Specification Based Approach for Protecting the Domain Name System.	DSN	2000	DBLP DOI BibTeX RDF	automated response, software wrapper, intrusion detection, assurance, network infrastructure
1	Christina Yip Chung, Michael Gertz, Karl N. Levitt	Discovery of Multi-Level Security Policies.	DBSec	2000	DBLP BibTeX RDF
1	Cui Zhang, Ronald A. Olsson, Karl N. Levitt	Formal Verification of a Programming Logic for a Distributed Programming Language.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt	LVT: A Layered Verification Technique for Distributed Computing Systems.	Softw. Test., Verif. Reliab.	1999	DBLP DOI BibTeX RDF
1	Christina Yip Chung, Michael Gertz, Karl N. Levitt	DEMIDS: A Misuse Detection System for Database Systems.	IICIS	1999	DBLP BibTeX RDF
1	Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu	Intrusion Detection Inter-component Adaptive Negotiation.	Recent Advances in Intrusion Detection	1999	DBLP BibTeX RDF
1	Christina Yip Chung, Michael Gertz, Karl N. Levitt	Misuse Detection in Database Systems Through User Profiling.	Recent Advances in Intrusion Detection	1999	DBLP BibTeX RDF
1	James A. Hoagland, Raju Pandey, Karl N. Levitt	Security Policy Specification Using a Graphical Approach	CoRR	1998	DBLP BibTeX RDF
1	Mark Heckman, Karl N. Levitt	Applying the Composition Principle to Verify a Hierarchy of Security Servers. (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
1	Raymond W. Yip, Karl N. Levitt	Data Level Inference Detection in Database Systems. (PDF / PS)	CSFW	1998	DBLP DOI BibTeX RDF
1	Raymond W. Yip, Karl N. Levitt	The Design and Implementation of a Data Level Database Inference Detection System.	DBSec	1998	DBLP BibTeX RDF
1	Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson	Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques.	Softw. Test., Verif. Reliab.	1997	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	security-critical program execution monitoring, specification-based approach, program vulnerabilities, security specifications, real-time intrusion detection system, Unix setuid root programs, system attack detection, security violations, distributed systems, synchronization, system monitoring, audit trails, formal framework
1	Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson	Verification of a Distributed Computing.	HICSS	1997	DBLP DOI BibTeX RDF
1	Mark 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	DBLP DOI BibTeX RDF
1	Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson	MCF: a malicious code filter.	Computers & Security	1995	DBLP DOI BibTeX RDF
1	Cui Zhang, Brian R. Becker, Mark Heckman, Karl N. Levitt, Ronald A. Olsson	A Hierarchical Method for Reasoning about Distributed Programming Languages.	TPHOLs	1995	DBLP DOI BibTeX RDF
1	Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark Heckman, Gregory D. Benson	Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.	HUG	1993	DBLP DOI BibTeX RDF
1	Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley	Report on the UCD Microcoded Viper Verification Project.	HUG	1993	DBLP DOI BibTeX RDF
1	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.	ACM Conference on Computer and Communications Security	1993	DBLP DOI BibTeX RDF
1	Saraswati Kalvala, Myla Archer, Karl N. Levitt	Implementation and Use of Annotations in HOL.	TPHOLs	1992	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	William L. Harrison, Myla Archer, Karl N. Levitt	A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language.	TPHOLs	1992	DBLP BibTeX RDF
1	Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley (eds.)	Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA	TPHOLs	1992	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Deborah A. Frincke, Myla Archer, Karl N. Levitt	CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.	KBSE	1991	DBLP BibTeX RDF
1	William L. Harrison, Karl N. Levitt	Mechanizing Security in HOL.	TPHOLs	1991	DBLP BibTeX RDF
1	L. Todd Herberlein, Gihan V. Dias, Karl N. Levitt, Biswanath Mukherjee, Jeff Wood, David Wolber	A Network Security Monitor.	IEEE Symposium on Security and Privacy	1990	DBLP BibTeX RDF
1	Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg	Writing Simulatable Specifications in SPECIAL.	The Use of Formal Specification of Software	1979	DBLP BibTeX RDF
1	Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson	An Example of Hierarchical Design and Proof.	Commun. ACM	1978	DBLP DOI BibTeX RDF
1	Lawrence Robinson, Karl N. Levitt	Proof Techniques for Hierarchically Structured Programs.	Commun. ACM	1977	DBLP DOI BibTeX RDF
1	Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson	Proving Multilevel Security of a System Design.	SOSP	1977	DBLP DOI BibTeX RDF
1	Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson	Software Development and Proofs of Multi-Level Security.	ICSE	1976	DBLP BibTeX RDF
1	John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak	The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.	ICSE	1976	DBLP BibTeX RDF
1	Richard J. Waldinger, Karl N. Levitt	Reasoning about Programs.	Artif. Intell.	1974	DBLP DOI BibTeX RDF
1	Richard J. Waldinger, Karl N. Levitt	Reasoning About Programs.	POPL	1973	DBLP DOI BibTeX RDF
1	Karl N. Levitt, William H. Kautz	Cellular Arrays for the Solution of Graph Problems.	Commun. ACM	1972	DBLP DOI BibTeX RDF
1	Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman	An Assessment of Techniques for Proving Program Correctness.	ACM Comput. Surv.	1972	DBLP DOI BibTeX RDF
1	Karl N. Levitt, Milton W. Green, Jack Goldberg	A study of the data commutation problems in a self-repairable multiprocessor.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF

Publications of "Karl N. Levitt" ( http://dblp.L3S.de/Authors/Karl_N._Levitt )