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
Compiler-Assisted Code Randomization
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
security of data
Scalability
Hardware
Runtime
security
Software
Resiliency
Human behavior
pubcrawl
composability
Robustness
metadata
software engineering
Prototypes
address space layout randomization
return-oriented programming
return oriented programming
applied code transformation
CCR
code randomization
code uniformity
compiler level protection
compiler-assisted code randomization
compiler-rewriter cooperation
fine-grained code randomization
fine-grained code transformation
LLVM compiler toolchain
program compilers
randomized variants
software distribution models
software distribution norms
software diversification
transformation-assisting metadata
biblio
A Systems Security Approach for Requirements Analysis of Complex Cyber-Physical Systems
Submitted by
grigby1
on Wed, 10/02/2019 - 2:55pm
architectural-level engineering considerations
complex cyber-physical systems
cyber-physical systems
dependably secure systems
design-level security criteria
eliciting security requirements
Formal Specification
functional-level security requirements
key architectural analysis definitions
pubcrawl
readily understandable description
requirements analysis
resilience
Resiliency
resiliency requirements
security architecture analysis approaches
security of data
security processes
software engineering
software engineering processes
STPA-Sec
systems security analysis
systems security engineering
system-theoretic process analysis approach
technology reliant environment
traceable security
viable systems security analysis approach
biblio
A Parallel Proof of Work to Improve Transaction Speed and Scalability in Blockchain Systems
Submitted by
grigby1
on Fri, 06/28/2019 - 10:37am
bitcoin
Bitcoin cryptocurrency
Bitcoin mining
blockchain
blockchain systems
Compositionality
cryptocurrencies
cryptocurrency
Data mining
distributed consensus
distributed ledger
financial data processing
financial sector
Metrics
nonce
parallel mining
parallel processing
Proof of Work
pubcrawl
resilience
Resiliency
reward system
Scalability
scalable verification
software engineering
solo mining
transaction speed
transaction verification process
transactions
biblio
Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed
Submitted by
willirn1
on Fri, 05/31/2019 - 10:41am
System-security co-design
actuation capability
Analytical models
Computational modeling
computer architecture
computer security
CPS attack experiments
cyber components
cyber physical systems
cyber-attack effect evaluation
cyber-physical system
cyber-physical systems
cybersecurity design process
embedded computers
embedded systems
Experimentation
Hardware
hardware-in-the loop simulation
hardware-in-the-loop
hardware-in-the-loop simulation testbed
HIL testbed
model based software development framework
Model Integrated Computing
physical components
physical system
platform specific performance measurements
railway transportation system
resilience
security of data
simulation environment
Software
software engineering
system functions
testbed
Vanderbilt
vulnerability assessment
biblio
Balancing Organizational Incentives to Counter Insider Threat
Submitted by
aekwall
on Wed, 05/08/2019 - 9:47am
authorisation
balanced combination
balances organizational incentives
balancing organizational incentives
best practices
computer security
contracts
dysfunctional management practices
employee welfare
Engagement
Human behavior
human resources management
insider threat
insider threat program
insider wrongdoing
Metrics
missing dimension
Monitoring
negative incentives
organisational aspects
organizational aspects
organizational context
organizational supportiveness
Organizations
perceived organizational support
Personnel
positive incentives
psychology
pubcrawl
resilience
security of data
sociotechnical systems
software engineering
traditional security practices
workforce management practices
biblio
Self-protection of Android Systems from Inter-component Communication Attacks
Submitted by
aekwall
on Mon, 03/04/2019 - 10:50am
Resiliency
pubcrawl
composability
Android security
Self-protecting system
software engineering
Automated Secure Software Engineering
biblio
Automating Threat Intelligence for SDL
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
security of data
Conferences
malware
security
Resiliency
pubcrawl
composability
Databases
Data mining
software engineering
enterprise information technology infrastructure
Feeds
IT infrastructure
open source threat information sources mining
product deployment
Product design
product development
product security
product specific threat indicators
SDL
security community
security development lifecycle
Stakeholders
tactical threat intelligence
threat intelligence
vulnerability disclosure
Automated Secure Software Engineering
biblio
CoderChain: A BlockChain Community for Coders
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
Conferences
Resiliency
pubcrawl
composability
blockchain
Handheld computers
computer security
knowledge based systems
software engineering
blockchain based database
blockchain community
code assessment
code review
CoderChain
cryptocurrencies
Distributed databases
knowledge contribution
online community
software development community
software related knowledge
Automated Secure Software Engineering
biblio
Threat Extraction Method Based on UML Software Description
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
Threat Modeling
security of data
security
Resiliency
pubcrawl
composability
Computational modeling
software security
Databases
software engineering
Extracting threats
human knowledge
knowledge based systems
security relevant attributes
sequence diagram
software application
software behavior
software development
software system
Software systems
threat extraction method
threat knowledge base
UML software description
Unified modeling language
Automated Secure Software Engineering
biblio
Software Ecosystem Call Graph for Dependency Management
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
security of data
security
Software
Resiliency
pubcrawl
composability
tools
Libraries
software engineering
automated tools
call graphs
centralized code repositories
client-server systems
Computer bugs
core package
counter measure
dependencies
dependency checkers
Dependency management
dependency networks
developers
ecosystem-level
Ecosystems
Equifax data breach
external libraries
fine-grained dependency network
impact
indicative information
leftpad package removal
open source software libraries
packages
popular form
program analysis
public domain software
software development management
software ecosystem
software libraries
software reusability
Software reuse
workspace
Automated Secure Software Engineering
1
2
3
4
5
6
next ›
last »
