default search action

combined dblp search
author search
venue search
publication search

ask others

Karl N. Levitt

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 1

> Home > Persons > Karl N. Levitt

Publications

2022
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/CliffordHLB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/CliffordHLB22
Michael Clifford, Miriam Heller, Karl N. Levitt, Matt Bishop:
Autonomous Vehicle Security: Composing Attack, Defense, and Policy Surfaces. NSPW 2022: 90-103
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-00150
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-00150
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 abs/2203.00150 (2022)
2018
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/BishopGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/BishopGL18
Matt Bishop, Carrie Gates, Karl N. Levitt:
Augmenting Machine Learning with Argumentation. NSPW 2018: 1-11
2016
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/argcom/ApplebaumLLPRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/argcom/ApplebaumLLPRS16
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): 201-221 (2016)
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/cns/AqilAKYSRLPSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cns/AqilAKYSRLPSC16
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:
Automated cross layer feature selection for effective intrusion detection in networked systems. CNS 2016: 270-278
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/KianmajdRL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/KianmajdRL16
Parisa Kianmajd, Jeff Rowe, Karl N. Levitt:
Privacy-preserving coordination for smart communities. INFOCOM Workshops 2016: 1045-1046
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/iotbd/CoposLRKCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iotbd/CoposLRKCK16
Bogdan Copos, Karl N. Levitt, Jeff Rowe, Parisa Kianmajd, Chen-Nee Chuah, George Kesidis:
Security and Privacy for Emerging Smart Community Infrastructures. IoTBD 2016: 148-155
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/milcom/CelikHLPMWRLBPC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/milcom/CelikHLPMWRLBPC16
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: 7-12
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/nca/DuanLL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nca/DuanLL16
Sisi Duan, Yun Li, Karl N. Levitt:
Cost sensitive moving target consensus. NCA 2016: 272-281
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CoposLBR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CoposLBR16
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: 245-251
2015
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/cm/AmoozadehRCGZRL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cm/AmoozadehRCGZRL15
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): 126-132 (2015)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejasp/ShanRK0SRL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejasp/ShanRK0SRL15
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: 29 (2015)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/DuanPL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/DuanPL15
Sisi Duan, Sean Peisert, Karl N. Levitt:
hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost. IEEE Trans. Dependable Secur. Comput. 12(1): 58-70 (2015)
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/milcom/AqilAJKLMRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/milcom/AqilAJKLMRS15
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: 348-353
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/milcom/ApplebaumLLPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/milcom/ApplebaumLLPRS15
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: 623-628
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/milcom/JacksonLRKJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/milcom/JacksonLRKJS15
Conner Jackson, Karl N. Levitt, Jeff Rowe, Srikanth V. Krishnamurthy, Trent Jaeger, Ananthram Swami:
A diagnosis based intrusion detection approach. MILCOM 2015: 929-934
2014
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/argcom/ParsonsALMSSHLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/argcom/ParsonsALMSSHLR14
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): 160-190 (2014)
[c85]
- view
  - electronic edition @ usenix.org
  - no references & citations available
- export record
  dblp key:
  - conf/feedback/RaghuramKGL0RS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/feedback/RaghuramKGL0RS14
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
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/DuanLMPZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/DuanLMPZ14
Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang:
ByzID: Byzantine Fault Tolerance from Intrusion Detection. SRDS 2014: 253-264
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlizadehSAKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlizadehSAKL14
Mahnoosh Alizadeh, Anna Scaglione, Andy Applebaum, George Kesidis, Karl N. Levitt:
Scalable and Anonymous Modeling of Large Populations of Flexible Appliances. CoRR abs/1404.1958 (2014)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ShanRKGL0RS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ShanRKGL0RS14
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 abs/1408.6689 (2014)
2013
[c83]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/ParsonsSSLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/ParsonsSSLR13
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
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/RoweLH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/RoweLH13
Jeff Rowe, Karl N. Levitt, Mike Hogarth:
Towards the realization of a public health system for shared secure cyber-space. NSPW 2013: 11-18
2012
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/comma/ApplebaumLRP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comma/ApplebaumLRP12
Andy Applebaum, Karl N. Levitt, Jeff Rowe, Simon Parsons:
Arguing About Firewall Policy. COMMA 2012: 91-102
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/comma/ParsonsAHLMRSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comma/ParsonsAHLMRSS12
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: 430-441
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/RoweLPSAJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/RoweLPSAJ12
Jeff Rowe, Karl N. Levitt, Simon Parsons, Elizabeth Sklar, Andy Applebaum, Sharmin Jalal:
Argumentation logic to assist in security administration. NSPW 2012: 43-52
2011
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/asunam/LeeNHLRWY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asunam/LeeNHLRWY11
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: 195-202
2008
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/LuSLMW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/LuSLMW08
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: 2309-2316
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/LuSLW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/LuSLW08
Xiaoming Lu, Matt Spear, Karl N. Levitt, Shyhtsun Felix Wu:
iBubble: Multi-Keyword Routing Protocol for Heterogeneous Wireless Sensor Networks. INFOCOM 2008: 968-976
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/CheetancheriALWR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/CheetancheriALWR08
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: 231-250
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/securware/LuSLMW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securware/LuSLMW08
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: 403-411
2007
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/NguyenDRHL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/NguyenDRHL07
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: 392-394
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/TsengWL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/TsengWL07
Chinyang Henry Tseng, Shiau-Huey Wang, Karl N. Levitt:
DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET. AsiaCCS 2007: 395-397
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/IrvineL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/IrvineL07
Cynthia E. Irvine, Karl N. Levitt:
Trusted Hardware: Can It Be Trustworthy? DAC 2007: 1-4
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/WangTLB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/WangTLB07
Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop:
Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks. RAID 2007: 127-145
2006
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/dimva/CeesayZGLB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimva/CeesayZGLB06
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: 1-16
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/ipccc/CheetancheriMLH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipccc/CheetancheriMLH06
Senthilkumar G. Cheetancheri, Denys L. Ma, Karl N. Levitt, Todd L. Heberlein:
Towards a framework for worm-defense evaluation. IPCCC 2006
[c67]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/nspw/CrawfordBBCL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/CrawfordBBCL06
Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt:
Sanitization models and their limitations. NSPW 2006: 41-56
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/TsengWKL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/TsengWKL06
Chinyang Henry Tseng, Shiau-Huey Wang, Calvin Ko, Karl N. Levitt:
DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET. RAID 2006: 249-271
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/CheetancheriADL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/CheetancheriADL06
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: 107-113
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/BishopCBCL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/BishopCBCL06
Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt:
Some Problems in Sanitizing Network Data. WETICE 2006: 307-312
2005
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/SongKTBCL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/SongKTBCL05
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: 16-33
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/iwia/SterneBCWTKBTBLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwia/SterneBCWTKBTBLR05
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:
A General Cooperative Intrusion Detection Architecture for MANETs. IWIA 2005: 57-70
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/TsengSBKL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/TsengSBKL05
Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt:
A Specification-Based Intrusion Detection Model for OLSR. RAID 2005: 330-350
2004
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BajcsyBBBBFFHJKLLLMMNOPPRTSSW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BajcsyBBBBFFHJKLLLMMNOPPRTSSW04
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:
Cyber defense technology networking and evaluation. Commun. ACM 47(3): 58-61 (2004)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/noms/PasupulatiCLWLKF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/noms/PasupulatiCLWLKF04
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: 235-248
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/SongKAZL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/SongKAZL04
Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt:
Formal Reasoning About Intrusion Detection Systems. RAID 2004: 278-295
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/BishopBCL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/BishopBCL04
Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt:
How to Sanitize Data. WETICE 2004: 217-222
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/worm/PorrasBSLRT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/worm/PorrasBSLRT04
Phillip A. Porras, Linda Briesemeister, Keith Skinner, Karl N. Levitt, Jeff Rowe, Yu-Cheng Allen Ting:
A hybrid quarantine defense. WORM 2004: 73-82
2003
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/discex/KoL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discex/KoL03
Calvin Ko, Karl N. Levitt:
System Health and Intrusion Monitoring (SHIM): Project Summary. DISCEX (2) 2003: 202-207
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/discex/NojiriRL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discex/NojiriRL03
D. Nojiri, Jeff Rowe, Karl N. Levitt:
Cooperative Response Strategies for Large Scale Attack Mitigation. DISCEX (1) 2003: 293-302
[c52]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icmla/DanforthL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/DanforthL03
Melissa Danforth, Karl N. Levitt:
Immune System Model for Detecting Web Server Attacks. ICMLA 2003: 161-167
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/BalepinMRL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/BalepinMRL03
Ivan Balepin, Sergei Maltsev, Jeff Rowe, Karl N. Levitt:
Using Specification-Based Intrusion Detection for Automated Response. RAID 2003: 136-154
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sasn/TsengBKLRL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sasn/TsengBKLRL03
Chinyang Henry Tseng, Poornima Balasubramanyam, Calvin Ko, Rattapon Limprasittiporn, Jeff Rowe, Karl N. Levitt:
A specification-based intrusion detection system for AODV. SASN 2003: 125-134
2002
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/LeeRKL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/LeeRKL02
Dustin Lee, Jeff Rowe, Calvin Ko, Karl N. Levitt:
Detecting and Defending against Web-Server Fingerprinting. ACSAC 2002: 321-330
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ReynoldsJLCML02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ReynoldsJLCML02
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: 285-292
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/JustRCDLMR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/JustRCDLMR02
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: 158-176
2001
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/KoBRTL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/KoBRTL01
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: 190-204
2000
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/FeiertagSLHPCBRW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/FeiertagSLHPCBRW00
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): 605-621 (2000)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/ChungGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/ChungGL00
Christina Yip Chung, Michael Gertz, Karl N. Levitt:
Discovery of Multi-Level Security Policies. DBSec 2000: 173-184
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/CheungL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/CheungL00
Steven Cheung, Karl N. Levitt:
A Formal-Specification Based Approach for Protecting the Domain Name System. DSN 2000: 641-651
1999
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ZhangBPOL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ZhangBPOL99
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): 107-133 (1999)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ZhangOL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ZhangOL99
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): 213-235 (1999)
[c41]
- view
  - electronic edition @ raid-symposium.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/raid/ChungGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/ChungGL99
Christina Yip Chung, Michael Gertz, Karl N. Levitt:
Misuse Detection in Database Systems Through User Profiling. Recent Advances in Intrusion Detection 1999
[c40]
- view
  - electronic edition @ raid-symposium.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/raid/FeiertagSLHPCBRW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/FeiertagSLHPCBRW99
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
[c39]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tc11-5/ChungGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tc11-5/ChungGL99
Christina Yip Chung, Michael Gertz, Karl N. Levitt:
DEMIDS: A Misuse Detection System for Database Systems. IICIS 1999: 159-178
1998
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/HeckmanL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/HeckmanL98
Mark R. Heckman, Karl N. Levitt:
Applying the Composition Principle to Verify a Hierarchy of Security Servers. HICSS (3) 1998: 338-347
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-CR-9809124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CR-9809124
James A. Hoagland, Raju Pandey, Karl N. Levitt:
Security Policy Specification Using a Graphical Approach. CoRR cs.CR/9809124 (1998)
1997
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/LoLO97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/LoLO97
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): 201-227 (1997)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/ZhangBPHLO97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/ZhangBPHLO97
Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson:
Verification of a Distributed Computing. HICSS (5) 1997: 252-261
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/CheungL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/CheungL97
Steven Cheung, Karl N. Levitt:
Protecting routing infrastructures from denial of service using cooperative intrusion detection. NSPW 1997: 94-106
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/KoRL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/KoRL97
Calvin Ko, Manfred Ruschitzka, Karl N. Levitt:
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. S&P 1997: 175-187
1996
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/HeckmanZBPLO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HeckmanZBPLO96
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: 235-250
1995
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/LoLO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/LoLO95
Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson:
MCF: a malicious code filter. Comput. Secur. 14(6): 541-566 (1995)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/ZhangBHLO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/ZhangBHLO95
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: 385-400
1994
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/network/MukherjeeHL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/network/MukherjeeHL94
Biswanath Mukherjee, Todd L. Heberlein, Karl N. Levitt:
Network intrusion detection. IEEE Netw. 8(3): 26-41 (1994)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/KoFL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/KoFL94
Calvin Ko, George Fink, Karl N. Levitt:
Automated detection of vulnerabilities in privileged programs by execution monitoring. ACSAC 1994: 134-144
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/FinkL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/FinkL94
George Fink, Karl N. Levitt:
Property-based testing of privileged programs. ACSAC 1994: 154-163
1993
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/KoFGHLMW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/KoFGHLMW93
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: 154-164
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/ZhangSOLAHB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/ZhangSOLAHB93
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: 29-42
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/AroraLLSW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/AroraLLSW93
Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley:
Report on the UCD Microcoded Viper Verification Project. HUG 1993: 239-252
1992
[c24]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/HarrisonAL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HarrisonAL92
William L. Harrison, Myla Archer, Karl N. Levitt:
A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs 1992: 347-356
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/KalvalaAL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/KalvalaAL92
Saraswati Kalvala, Myla Archer, Karl N. Levitt:
Implementation and Use of Annotations in HOL. TPHOLs 1992: 407-426
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/PanLAK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/PanLAK92
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: 427-447
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/1991
Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley:
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. IEEE Computer Society 1992 [contents]
1991
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/compcon/LoKCHCFLOA91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compcon/LoKCHCFLOA91
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: 160-166
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/compcon/SnappBDGGHHLMMP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compcon/SnappBDGGHHLMMP91
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: 170-176
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/compcon/Alves-FossL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compcon/Alves-FossL91
Jim Alves-Foss, Karl N. Levitt:
The verification of secure distributed systems. Compcon 1991: 177-184
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FrinckeAL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FrinckeAL91
Deborah A. Frincke, Myla Archer, Karl N. Levitt:
CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. KBSE 1991: 151-160
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/ArcherBFL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/ArcherBFL91
Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt:
Effectiveness of operating system prototyping from a template: application to MINIX. RSP 1991: 55-66
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/FrinckeFAL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/FrinckeFAL91
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: 82-98
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Alves-FossL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Alves-FossL91
Jim Alves-Foss, Karl N. Levitt:
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. S&P 1991: 122-135
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/HarrisonL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HarrisonL91
William L. Harrison, Karl N. Levitt:
Mechanizing Security in HOL. TPHOLs 1991: 63-66
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/Alves-FossL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Alves-FossL91
Jim Alves-Foss, Karl N. Levitt:
Mechanical Verification of Secure Distributed Systems in Higher Order Logic. TPHOLs 1991: 263-278
1990
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/ArcherFL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/ArcherFL90
Myla Archer, Deborah A. Frincke, Karl N. Levitt:
A template for rapid prototyping of operating systems. RSP 1990: 119-127
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/HerberleinDLMWW90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/HerberleinDLMWW90
L. Todd Herberlein, Gihan V. Dias, Karl N. Levitt, Biswanath Mukherjee, Jeff Wood, David Wolber:
A Network Security Monitor. S&P 1990: 296-305
1981
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/LevittN81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/LevittN81
Karl N. Levitt, Peter G. Neumann:
Recent SRI work in verification. ACM SIGSOFT Softw. Eng. Notes 6(3): 27-35 (1981)
1979
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LevittRS79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LevittRS79
Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg:
Writing Simulatable Specifications in SPECIAL. The Use of Formal Specification of Software 1979: 39-78
1978
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/SpitzenLR78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/SpitzenLR78
Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson:
An Example of Hierarchical Design and Proof. Commun. ACM 21(12): 1064-1075 (1978)
1977
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/RobinsonL77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/RobinsonL77
Lawrence Robinson, Karl N. Levitt:
Proof Techniques for Hierarchically Structured Programs. Commun. ACM 20(4): 271-283 (1977)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/FeiertagLR77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/FeiertagLR77
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson:
Proving Multilevel Security of a System Design. SOSP 1977: 57-65
1976
[c8]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/icse/NeumannFLR76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NeumannFLR76
Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson:
Software Development and Proofs of Multi-Level Security. ICSE 1976: 421-428
1975
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/relsoft/RobinsonLNS75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/relsoft/RobinsonLNS75
Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena:
On attaining reliable software for a secure operating system. Reliable Software 1975: 267-284

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.