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
parsing
biblio
On the Security of Parsing Security-Relevant HTTP Headers in Modern Browsers
Submitted by grigby1 on Tue, 12/20/2022 - 7:31pm
Metrics
Web Browser Security
Servers
security
Resiliency
resilience
pubcrawl
Protocols
privacy
parsing
security policies
Human behavior
HTTP Header
Firewalls (computing)
Compositionality
Browsers
browser
Behavioral sciences
Human Factors
Scalability
biblio
ASAF: Android Static Analysis Framework
Submitted by aekwall on Fri, 08/12/2022 - 4:10pm
static analysis
composabiity
datasets
ASParse
APK
parsing
pubcrawl
malicious
android
security
malware
Human behavior
Resiliency
feature extraction
Analytical models
operating systems
tools
biblio
Efficient Detection Of SQL Injection Attack(SQLIA) Using Pattern-based Neural Network Model
Submitted by aekwall on Tue, 04/19/2022 - 11:20am
security
Computational modeling
Resiliency
composability
Payloads
Phishing
pubcrawl
SQL injection
cyber attack
MLP
parsing
SQLIA
Structured Query Language
Tagged Patterns
tagging
Cross Layer Security
biblio
Natural Language Processing Technique for Generation of SQL Queries Dynamically
Submitted by grigby1 on Thu, 03/10/2022 - 12:33pm
pubcrawl
Human behavior
resilience
Resiliency
optimization
Scalability
Databases
standards
convergence
Structured Query Language
Complexity theory
natural language processing
English Text
Lexical Analysis
parsing
biblio
How to Build Static Checking Systems Using Orders of Magnitude Less Code
Submitted by el_wehby on Thu, 05/17/2018 - 6:29pm
bug finding
micro-grammars
parsing
static analysis
1505684
biblio
On the Complexity and Performance of Parsing with Derivatives
Submitted by grigby1 on Wed, 05/17/2017 - 1:53pm
exponentiation
parsing
Parsing with derivatives
Performance
pubcrawl
Resiliency
biblio
How to Build Static Checking Systems Using Orders of Magnitude Less Code
Submitted by grigby1 on Wed, 05/17/2017 - 1:47pm
bug finding
composability
Human behavior
micro-grammars
parsing
pubcrawl
Resiliency
static analysis
static code analysis
biblio
Safely Composable Type-Specific Languages
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
CMU
Oct'14
file
Omar_Safely_Composable_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
