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
tools
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
Servers
pubcrawl
policy-based governance
collaboration
computer network security
Analytical models
Protocols
Computer crime
composability
Denial of Service attacks
Formal Specification
formal verification
Policy Based Governance
DDoS
Bandwidth
amplification DoS attacks
complexity
computational complexity
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
formal verification model
powerful intruders
protocol execution
protocol theories
PSPACE-complete
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
service resource usage
service unavailable
unlimited resources
Compositionality
protocol verification
biblio
Automated Verification of Accountability in Security Protocols
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
pubcrawl
policy-based governance
collaboration
Cryptographic Protocols
Cryptography
Protocols
composability
computer security
formal verification
Policy Based Governance
accountability
accountability automated verification
accountable algorithms protocol
Calculus
certificate transparency
cognition
formal methods and verification
mechanized method
protocol-agnostic definition
security property
security protocol design
security protocols
security violation
traditional trust assumptions
Compositionality
protocol verification
biblio
Cuckoo’s Malware Threat Scoring and Classification: Friend or Foe?
Submitted by
grigby1
on Fri, 03/27/2020 - 11:38am
tools
collaboration
information security
pubcrawl
policy-based governance
composability
pattern classification
malware
invasive software
sandboxing
cuckoo sandbox
dynamic analysis
automated tools
malicious software
malware behavior
Malware behavior analysis
malware detection
malware incident response
malware sample
malware threat classification
measured response
microsoft windows
sandbox
scoring classification
severity classification
threat alert
threat classification
threat classification rating
threat score
threat scoring
victim host system
Virtual machining
biblio
CapExec: Towards Transparently-Sandboxed Services
Submitted by
grigby1
on Fri, 03/27/2020 - 11:37am
tools
collaboration
security
pubcrawl
policy-based governance
composability
Runtime
Libraries
Memory management
application security
Capsicum
Cats
compartmentalization
Containers
sandboxing
service manager
biblio
SafeCheck: Safety Enhancement of Java Unsafe API
Submitted by
grigby1
on Fri, 03/27/2020 - 11:29am
application program interfaces
bytecode
bytecode verification
collaboration
Computer bugs
dynamic analysis
Human behavior
Human Factors
Java
Java core library
Java runtime
Java unsafe API
JVM crash
Libraries
low- level system code
Memoey Safety
memory checker
Memory Protection
memory safety
Metrics
openJDK bug system
policy-based governance
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Runtime
Safe Coding
Safety
safety enhancement
security of data
storage management
tools
unsafe crash patterns
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
Demo: DroidNet - An Android Permission Control Recommendation System Based on Crowdsourcing
Submitted by
aekwall
on Mon, 03/23/2020 - 1:31pm
security of data
Monitoring
Scalability
data privacy
mobile computing
Resiliency
pubcrawl
privacy
Databases
internet
tools
Data mining
control systems
smartphone
smart phones
Web Application Security
Human Factors
android
Android (operating system)
recommender systems
Permission
Android permission control recommendation system
app
application
apps
crowd-sourced Android recommendation tool
crowdsourcing
DroidNet
expert users
mobile application security
recommendation
technical expertise
biblio
Initial Validation of the Cybersecurity Concept Inventory: Pilot Testing and Expert Review
Submitted by
grigby1
on Wed, 03/18/2020 - 11:51am
Scalability
computer security
education
tools
assessment validation.
Cats
Cybersecurity Assessment Tools (CATS) Project
Cybersecurity Concept Inventory (CCI)
cybersecurity education
Instruments
Interviews
Reliability
pubcrawl
composability
collaboration
Policy-Governed Secure Collaboration
Metrics
Resiliency
resilience
Human behavior
Science of Security
biblio
Powering Hands-on Cybersecurity Practices with Cloud Computing
Submitted by
grigby1
on Wed, 03/18/2020 - 11:50am
Chameleon cloud
Cloud Computing
cloud-agnostic
cloud-based platform named EZSetup
collaboration
Communication networks
composability
computer science education
computer security
cybersecurity education
education
educational courses
hands-on cybersecurity practice
hands-on lab
Human behavior
Metrics
multiple clouds
Policy-Governed Secure Collaboration
powering hands-on cybersecurity practices
private OpenStack cloud
pubcrawl
resilience
Resiliency
Scalability
Science of Security
security of data
specific virtual computing service provider
tools
Virtual machine monitors
virtualisation
web services
biblio
Evaluating Scientific Workflow Engines for Data and Compute Intensive Discoveries
Submitted by
aekwall
on Mon, 03/16/2020 - 10:41am
Software
Task Analysis
Data models
pubcrawl
Computational modeling
tools
Analytical models
Engines
resilience
Predictive Metrics
Compositionality
Scientific Computing Security
Converged Workloads
Data Intensive Discoveries
End-to-End Workflows
Scientific Experiments
scientific workflows
Workflow Engines
1
2
3
4
5
6
7
8
9
…
next ›
last »
