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
XAI-Based Fuzzy SWOT Maps for Analysis of Complex Systems
Submitted by aekwall on Mon, 03/01/2021 - 5:00pm
Scalability
real-time systems
Resiliency
pubcrawl
fuzzy set theory
software tools
cognition
complex systems
Artificial Intelligence
cognitive systems
FCM
xai
Optimized production technology
Fuzzy cognitive maps
computing with words
Dynamic SWOT analysis
explainable artificial intelligence
explanation
Fuzzy SWOT Maps
fuzzy SWOT maps network structure
software tool
SWOT analyses
SWOT+CWW network
XAI-Based system analysis
biblio
Software Development of Electronic Digital Signature Generation at Institution Electronic Document Circulation
Submitted by aekwall on Mon, 02/08/2021 - 1:45pm
Scalability
Cryptography
Software
Resiliency
pubcrawl
blockchain
software engineering
software development
digital signatures
Information systems
RSA
document handling
DSA
electronic digital signature
Consumer electronics
ECDSA
blockchain storage
blockchain storage of electronic signatures
central Web-server
cryptographic module
documented information exchanging
electronic digital signature generation
electronic document circulation
GOST RF Standard 34.10–2018
institution electronic document circulation
secure key storage
software tools
Web-interface
biblio
Challenges in ROS Forensics
Submitted by grigby1 on Thu, 12/17/2020 - 1:36pm
availability attacks
communication link
computer network security
confidential security purposes
cyber-physical security threats
Denial-of-Service
Digital Forensics
Forensics
Forensics acquisition and data recovery
Gazbo Turtlebot simulator
Human behavior
Human Factors
integrity attacks
internet
mobile computing
mobile robots
Network connections
network system
operating systems
peer to peer application
Peer-to-peer computing
policy-based governance
pubcrawl
RAT
remote administration tool
resilience
Resiliency
robot behavior
Robot hack
robot hack acquistion
Robot Operating System
robot operating systems
Robot sensing systems
ROS forensics
security
security attacks
Service robots
software tools
Transport Layer Security
biblio
SoCINT: Resilient System-on-Chip via Dynamic Intrusion Detection
Submitted by grigby1 on Mon, 11/02/2020 - 12:29pm
composability
dynamic intrusion detection approach
field programmable gate arrays
FPGA platform
Hardware
Hardware Security
hardware tracing
Hardware Trojans
industrial property
intellectual properties
intellectual property security
Intrusion Detection
IP networks
Monitoring
open source processor
policy-based governance
pubcrawl
Registers
resilience
Resiliency
Runtime system
security
SoCINT
SoCs
software tools
system-on-chip
Trojan horses
biblio
A Scaffolding Design Framework for Developing Secure Interoperability Components in Digital Manufacturing Platforms
Submitted by grigby1 on Mon, 11/02/2020 - 11:40am
code generation technique
Connected Smart Factories
cyber-physical systems
Cybersecurity
Digital manufacturing platforms
enterprise resource planning
enterprise resource planning systems
Fi-Ware
human computer interaction
i-o systems security
i/o systems security
legacy file formats
open systems
operating systems (computers)
platform integration automation
platform security
program logic controllers
programmable controllers
pubcrawl
scaffolding design framework
Scalability
secure interoperability components
security of data
software applications
software scaffolding
software tools
System Interoperability
system security
vf-OS IO components
vf-OS IO toolkit generator
vf-OS security command centre
virtual open operating system
biblio
Smarter Smart Contract Development Tools
Submitted by grigby1 on Fri, 03/27/2020 - 11:29am
blockchain
blockchain environments
blockchain platforms
blockchain software development tools
blockchain software engineering tool set
buggy code
collaboration
Computer bugs
Computer languages
contracts
Human behavior
Human Factors
Metrics
policy-based governance
program compilers
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Safe Coding
security of data
security vulnerabilities
smart contracts
smarter smart contract development
Software
software engineering
software tools
tools
usability of programming languages
biblio
Attack Modeling and Verification for Connected System Security
Submitted by aekwall on Wed, 05/01/2019 - 1: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 - 10: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 - 11: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 - 3: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
1
2
next ›
last »
