Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Regular expressions
biblio
Exploiting Input Sanitization for Regex Denial of Service
Submitted by grigby1 on Thu, 06/22/2023 - 3:14pm
Compositionality
ReDoS
algorithmic complexity attacks
Regular expressions
Resiliency
web security
Data Sanitization
denial of service
Empirical Software Engineering
usability
security
Probes
Libraries
composability
web services
Software
resilience
pubcrawl
Servers
biblio
Development of a System for Static Analysis of C ++ Language Code
Submitted by aekwall on Sun, 10/16/2022 - 5:25pm
static analysis
Regular expressions
argument keys
analyzers
algorithm for finding stylistic errors
C++ languages
static code analysis
Python
File systems
Measurement
style
standards
composability
Human behavior
Resiliency
pubcrawl
Containers
biblio
Cyber Situational Awareness Enhancement with Regular Expressions and an Evaluation Methodology
Submitted by grigby1 on Tue, 02/06/2018 - 1:07pm
Metrics
Sniffles
situational awareness
security systems
Resiliency
Regular expressions
regular expression processing capability
Regexbench
pubcrawl
performance evaluation
PCRE
pattern matching
composability
Handheld computers
deep packet inspection
decision maker mission completeness
Cybersecurity
cyber threats
cyber situational awareness enhancement
cyber situational awareness
Cyber Operations
computer security
computer network security
biblio
O3FA: A Scalable Finite Automata-based Pattern-Matching Engine for Out-of-Order Deep Packet Inspection
Submitted by grigby1 on Tue, 05/16/2017 - 11:27am
composability
deep packet inspection
finite automata
Intrusion Detection Systems
Metrics
out-of-order deep packet inspection
pubcrawl
Regular expressions
Scalability
biblio
Statically typed string sanitation inside a python
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:47am
CMU
extensible languages
input sanitation
Jan'15
Regular expressions
string sanitation
type systems
web security
CMU
Jan'15
file
Fulton_Statically_Typed_String_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:47am
CMU
extensible languages
input sanitation
Jan'15
Regular expressions
string sanitation
type systems
web security
file
High-Performance Regular Expression Processing for Cross-Domain Systems with High Assurance Requirements
Submitted by brad_martin on Tue, 04/22/2014 - 9:47am. Contributors:
David Hardin
Konrad Slind
Presented as part of the
2014 HCSS conference
.
Abstract:
cross-domain systems
Designed-In Security
Regular expressions
Rockwell Collins
Theorem Proving
Industry
Presentation
HCSS'14
Specifications and Requirements (HCSS'14)
