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
tools
biblio
Scaling Application-Level Dynamic Taint Analysis to Enterprise-Scale Distributed Systems
Submitted by grigby1 on Mon, 11/29/2021 - 2:27pm
Complexity theory
composability
distributed systems
dynamic taint analysis
faces
Metrics
new bugs
pubcrawl
Scalability
software engineering
software tools
static analysis
taint analysis
tools
biblio
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks
Submitted by grigby1 on Mon, 11/29/2021 - 2:27pm
composability
fuzzing
Metrics
Neural networks
Performance analysis
pubcrawl
Runtime
security
taint analysis
Task Analysis
tools
biblio
Situational Awareness in Distribution Grid Using Micro-PMU Data: A Machine Learning Approach
Submitted by aekwall on Mon, 11/29/2021 - 2:09pm
Transforms
Support vector machines
tools
power systems
pubcrawl
Resiliency
composability
Predictive Metrics
Phasor measurement units
situational awareness
event detection
power quality
biblio
Identification and Mitigation Tool For Cross-Site Request Forgery (CSRF)
Submitted by aekwall on Mon, 11/08/2021 - 3:16pm
information security
Organizations
tools
Conferences
pubcrawl
Metrics
Resiliency
Human behavior
Forgery
Cross-Site Request Forgery (CSRF)
vulnerability identification
Vulnerability Mitigation Introduction
Web application
threat mitigation
biblio
Technical Threat Intelligence Analytics: What and How to Visualize for Analytic Process
Submitted by aekwall on Mon, 11/08/2021 - 3:15pm
Task Analysis
visualization
tools
Analytical models
pubcrawl
Metrics
Resiliency
Human behavior
computer security
cyber security
Data visualization
visual analytics
threat intelligence
threat mitigation
biblio
Tactical Provenance Analysis for Endpoint Detection and Response Systems
Submitted by aekwall on Tue, 10/12/2021 - 3:20pm
security
Task Analysis
tools
pubcrawl
Metrics
Resiliency
Human behavior
composability
Manuals
Provenance
Fatigue
knowledge based systems
Skeleton
biblio
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
composability
Compositionality
Computer languages
CTLK
epistemic logic
model checking
OBDD
Petri nets
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
security
tools
biblio
Tamarin software – the tool for protocols verification security
Submitted by aekwall on Tue, 10/12/2021 - 3:06pm
Software
privacy
Internet of Things
Protocols
tools
encryption
pubcrawl
composability
standards
Compositionality
Safety
policy-based governance
security protocols
sensor networks
Tamarin software
protocol verification
biblio
PrivacyCheck's Machine Learning to Digest Privacy Policies: Competitor Analysis and Usage Patterns
Submitted by grigby1 on Tue, 10/12/2021 - 2:53pm
PrivacyCheck
Usable Privacy
tools
Software
Scalability
pubcrawl
Privacy Policy
Privacy Policies
privacy enhancing technologies
browser extension
privacy
PET
Organizations
machine learning
Intelligent Agents
Human behavior
competitor analysis
Browsers
biblio
Examining the Relationship of Code and Architectural Smells with Software Vulnerabilities
Submitted by grigby1 on Tue, 10/12/2021 - 2:47pm
Architectural Smell
Code Smell
Metrics
Organizations
Predictive models
predictive security metrics
pubcrawl
security
Software
software engineering
software security
static analysis
tools
Vulnerability
« first
‹ previous
…
15
16
17
18
19
20
21
22
23
…
next ›
last »