Kansas State University

file

Lessons Learned from Experimenting with Machine Learning in Intrusion Analysis

Submitted by Anonymous on Mon, 12/03/2012 - 6:54pm. Contributors:

ABSTRACT

file

Prioritizing Intrusion Analysis Using Dempster-Shafer Theory

Submitted by Katie Dey on Tue, 10/30/2012 - 4:31pm. Contributors:

Abstract--Intrusion analysis, i.e.

file

Classification of UDP Traffic for DDoS Detection

Submitted by Katie Dey on Tue, 10/30/2012 - 4:30pm. Contributors:

ABSTRACT

1 Introduction

file

Simulation-based Approaches to Studying Effectiveness of Moving-Target Network Defense

Submitted by adyson on Tue, 05/29/2012 - 3:44pm. Contributors:

Abstract

file

Developer-Friendly Contract-Based Notations and Machine-Checkable Evidence for Verif. of Information Flow Properties for ES

Submitted by John Hatcliff on Tue, 05/01/2012 - 5:28pm. Contributors:

Presented as part of the 2012 HCSS conference.

Abstract:

file

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution

Submitted by John Hatcliff on Mon, 02/06/2012 - 5:44pm. Contributor:

John Hatcliff

Presented as part of the 2007 HCSS conference.

file

Infrastructure and Technology Innovations for Medical Device Coordination

Submitted by John Hatcliff on Thu, 11/03/2011 - 7:33pm. Contributors:

file

Infrastructure and Technology Innovations for Medical Device Coordination (Poster)

Submitted by Insup Lee on Wed, 11/02/2011 - 3:12pm. Contributors:

file

Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES

Submitted by John Hatcliff on Sat, 05/14/2011 - 6:41pm. Contributors:

Presented as part of the 2011 HCSS conference.

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Kansas State University

Lessons Learned from Experimenting with Machine Learning in Intrusion Analysis

Prioritizing Intrusion Analysis Using Dempster-Shafer Theory

Classification of UDP Traffic for DDoS Detection

Simulation-based Approaches to Studying Effectiveness of Moving-Target Network Defense

Developer-Friendly Contract-Based Notations and Machine-Checkable Evidence for Verif. of Information Flow Properties for ES

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution

Infrastructure and Technology Innovations for Medical Device Coordination

Infrastructure and Technology Innovations for Medical Device Coordination (Poster)

Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES