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 engineering
biblio
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
Submitted by aekwall on Tue, 06/01/2021 - 1:20pm
programming
security
pubcrawl
composability
software engineering
Lattices
Writing
Semantics
Compositionality
Information Flow Control
Concurrent computing
concurrent
Generalization
non-interference
Programming Language
sequential
biblio
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Submitted by aekwall on Mon, 05/03/2021 - 1:14pm
Task Analysis
Resiliency
pubcrawl
machine learning
Neurons
tools
Neural networks
software engineering
Biological neural networks
verification
Scalability
deep learning
Predictive Metrics
Compositionality
scalable verification
differential analysis
Differential Verification
formal methods
MIMICs
biblio
Software Assurance of Autonomous Spacecraft Control
Submitted by grigby1 on Fri, 04/09/2021 - 11:21am
pubcrawl
Human behavior
Metrics
policy-based governance
collaboration
resilience
Resiliency
Software
mobile robots
Scalability
composability
software engineering
Task Analysis
aerospace control
Space vehicles
aerospace computing
software engineers
Hazards
software assurance
assurance case style
assurance cases
autonomous control
autonomous spacecraft control
autonomy demonstration experiment
Fault protection
hazard analysis method
in-orbit CubeSat
software documentation
software hazard analysis
software interactions
Information Assurance
biblio
Toward an Ontology for Insider Threat Research: Varieties of Insider Threat Definitions
Submitted by grigby1 on Thu, 04/08/2021 - 4:54pm
insider threat
security of data
Organizations
security
pubcrawl
Human behavior
policy-based governance
resilience
Resiliency
Metrics
Ontologies
ontologies (artificial intelligence)
taxonomy
Ontology
software engineering
Educational institutions
conceptual model
definitions
insider
insider threat definitions
insider threat research
OWL
Taxonomies
biblio
Identifying indicators of insider threats: Insider IT sabotage
Submitted by grigby1 on Thu, 04/08/2021 - 4:53pm
insider threat
security of data
Organizations
security
pubcrawl
Human behavior
policy-based governance
resilience
Resiliency
Databases
information technology
Metrics
software engineering
Weapons
attack planning
chronological timelines
Educational institutions
indicators
insider IT sabotage
insider threat cases
insider threats indicators
Materials
sabotage
Sociotechnical
software installation
biblio
Human-centric Software Engineering for Next Generation Cloud- and Edge-based Smart Living Applications
Submitted by grigby1 on Mon, 03/29/2021 - 1:16pm
aging
Cloud Computing
data analysis
data analysis applications
data privacy
data visualisation
diverse software usability defects
diversity and inclusion
domain-specific visual models
edge computing
edge computing applications
edge-based smart living applications
edge-based software systems
end user emotions
expert systems
Formal Specification
human computer interaction
Human Factors
human usage patterns
human-centric security
human-centric software engineering
Intelligent sensors
Internet of Things
next generation cloud
next-generation applications
privacy
Privacy Requirements
pubcrawl
Scalability
smart cities
smart city-related data
Smart homes
smart living systems
Software
software activities
software development
software engineering
software requirements engineering
user centred design
user interfaces
visualization
biblio
Analysing Android App Privacy Using Classification Algorithm
Submitted by aekwall on Mon, 03/22/2021 - 1:09pm
security of data
authorization
data privacy
malware
mobile computing
Resiliency
pubcrawl
smart phones
software engineering
classification algorithm
expandability
Android (operating system)
Compositionality
Android application
Androids
Humanoid robots
analysing android app privacy
authorizations posting
Cellular phones
delicate individual information
gadget
Google Play necessities
helpful data
interesting authorization
material security
pertinent segments
pertinent sentences
Play Store
privateer
protection arrangement
security ramifications
security-related dangers
sensitive information territory
shrewd authorizations
subjective utility
unsafe applications
unwavering quality
biblio
Continuous Compliance
Submitted by aekwall on Mon, 03/22/2021 - 1:08pm
Cloud Computing
Cryptography
Data Security
data privacy
Resiliency
pubcrawl
Compliance
standards
tools
Production
Industries
software engineering
public domain software
encryption
program diagnostics
program verification
Predictive Metrics
Compositionality
encryption audits
Open Source Software
Manuals
key length
SoC
PCI DSS
auditing source code
cloud data stores
compliance certificate
continuous compliance process
cryptographically unsafe algorithms
FedRAMP
Hard-coded credentials
large cloud-services company
lightweight verification tools
open-source software
pluggable type systems
source-code compliance requirement
biblio
A Solution of Text Based CAPTCHA without Network Flow Consumption
Submitted by grigby1 on Thu, 03/18/2021 - 2:35pm
authorisation
CAPTCHA technology
captchas
client
client malicious programs
client-server systems
composability
distributed information processing
encryption
formal verification
high-security text-based CAPTCHA solution
Human behavior
information processing
information processing security issues
network flow
pubcrawl
security
security risks
server
Servers
software engineering
telecommunication traffic
text based CAPTCHA
text-based CAPTCHA
verification logic
biblio
Extracting Taint Specifications for JavaScript Libraries
Submitted by grigby1 on Mon, 03/15/2021 - 1:10pm
access path mechanism
authoring languages
command injection attacks
composability
cross-site scripting
dynamic analysis
Entry points
exit points
JavaScript applications
JavaScript libraries
Libraries
Metrics
Node.js platform
npm repository
package dependency structure
program diagnostics
program testing
pubcrawl
resilience
Resiliency
security
security of data
security vulnerabilities
software engineering
static analysis
static analysis tools
taint analysis
taint sinks
taint specifications
test suites
testing
third-party libraries
tools
Writing
1
2
3
4
5
6
7
8
9
…
next ›
last »
