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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
software tools
biblio
Attack Modeling and Verification for Connected System Security
Submitted by
aekwall
on Wed, 05/01/2019 - 12:05pm
Adaptation models
Attack Modeling
composability
connected system security
critical systems
dynamic system modeling
Dynamical Systems
embedded systems
error detection
error propagation
extended attack tree
Formal Specification
IoT
Metrics
model checker
model checking
Petri nets
program diagnostics
program verification
pubcrawl
Resiliency
security
security of data
Software Architecture
software tools
static system modeling
SysML
SysML connectivity profile
system security specifications
system specifications
system validation
system verification
systems engineering
Systems modeling
Temporal Logic
Unified modeling language
biblio
FP -TESTER : Automated Testing of Browser Fingerprint Resilience
Submitted by
grigby1
on Fri, 04/05/2019 - 9:27am
privacy
internet
data privacy
security of data
testing
resilience
pubcrawl
Human behavior
Metrics
Browsers
Entropy
online front-ends
Browser Fingerprinting
Fingerprint recognition
Browser Security
Compositionality
program testing
Sociology
Statistics
Resiliency
Automated Testing
browser fingerprint resilience
browser tracking
browser vendors
FP-TESTER
privacy leaks
software tools
testing toolkit
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by
grigby1
on Thu, 08/23/2018 - 10:57am
security
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
data structures
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
Information Leakage
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
information-flow control tools
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
biblio
Identifying and Documenting False Positive Patterns Generated by Static Code Analysis Tools
Submitted by
grigby1
on Thu, 06/07/2018 - 2:12pm
commercial tool
composability
Conferences
Context
false positive pattern documentation
false positive pattern identification
Human behavior
Open Source Software
open-source tools
program diagnostics
pubcrawl
public domain software
resilience
Resiliency
security
software engineering
software tools
static code analysis
static code analysis tools
system documentation
tools
warning message
biblio
S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing
Submitted by
K_Hooper
on Wed, 04/04/2018 - 8:58am
Binary Analysis
Compositionality
Computer bugs
Explosions
fuzzing
Fuzz Testing
fuzzy set theory
hard-to-reach vulnerabilities
Human behavior
low frequency input
Metrics
path explosion
program testing
Prototypes
pubcrawl
Resiliency
semisymbolic fuzz testing
software tools
Software Vulnerability
Symbolic Execution
test case generation
tools
vulnerability detection
vulnerability detection tools
biblio
Software-Design for Internal Security Checks with Dynamic Integrity Measurement (DIM)
Submitted by
grigby1
on Tue, 02/06/2018 - 12:58pm
Aerospace electronics
attestation operations
binary code
Binary codes
central components
complex attestation strategies
composability
cooperation project
cryptographic hashes
Cryptography
data integrity
DIM
DRA
dynamic integrity measurement
Dynamic Runtime Attestation
extensibility
extensible architecture
flexibility
flexible architecture
Guidelines
IMA
integrity measurement architecture
internal security checks
Kernel
kernel architecture
Linux
malicious components
Memory management
memory measurment
multiple related components
pubcrawl
Resiliency
security software tools
software design
Software measurement
software tools
system components
system state verification
TCG
The Concise Binary Object Representation (CBOR)
Trusted Platform Module (TPM)
trusted platform modules
biblio
FairTest: Discovering Unwarranted Associations in Data-Driven Applications
Submitted by
K_Hooper
on Fri, 02/02/2018 - 10:02am
unwarranted association discovery
UA framework
tools
testing
Systems
Statistics
software tools
sensitive user attributes
pubcrawl
program debugging
Predictive Metrics
Metrics
Medical services
Measurement
machine learning algorithms
Google
FairTest
fairness metrics
decision-making
Decision Making
debugging capabilities
data-driven applications
data privacy
Data collection
data analysis
Computer bugs
algorithmic fairness formalization
Algorithmic Fairness
biblio
A model for the analysis of security policies in service function chains
Submitted by
grigby1
on Tue, 12/12/2017 - 12:31pm
Ad hoc networks
Analytical models
collaboration
computer network security
Cryptography
formal model
Monitoring
network function virtualization
NFV
policy-based governance
program verification
pubcrawl
SDN
security policies
Security Policies Analysis
service function chains
SFC
Software
software defined networking
software tools
Virtual private networks
virtualisation
biblio
High performance computation tools for real-time security assessment
Submitted by
BrandonB
on Thu, 04/30/2015 - 1:19pm
Adams-Bashforth-Moulton predictor-corrector method
computation tools
computer software
computing machine
contingency analysis
CPU time
data visualisation
DE-OE0000628
Decision Making
dynamic simulation software
EPRI
ETMSP performance
extended transient midterm simulation program
hybrid measurement-based-simulation-based security-assessment tool
hybrid simulation-measurement-based tools
integration
MPI-based parallelization
operation security risk
phasor measurement
power engineering computing
power system
power system security
power system transient stability
power transmission control
predictor-corrector methods
proactive operator decision-support
SCADA
SCADA systems
security assessment
software tools
sparse linear solver
SuperLU_MT library
synchrophasor measurement data
system control actions
thread-parallelization
transient stability analysis
transmission operators
U.S. Department of Energy grant
