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
Read-only archive of site from September 29, 2023.
CPS-VO
computer security
biblio
On Compositional Information Flow Aware Refinement
Submitted by aekwall on Fri, 08/12/2022 - 2:53pm
confidentiality
composability
verification
Unwinding
specification
ORAM
observation
noninterference
Knowledge
Ignorance
security
multi-agent systems
pubcrawl
Random access memory
Observers
Kernel
computer security
Semantics
simulation
biblio
Gradual Security Types and Gradual Guarantees
Submitted by grigby1 on Fri, 08/12/2022 - 1:09pm
Monitoring
pubcrawl
Resiliency
composability
Runtime
computer security
Metrics
Semantics
noninterference
compiler security
Refining
annotations
gradual guarantees
gradual typing
Information Flow Control
biblio
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
Submitted by grigby1 on Fri, 08/12/2022 - 1:08pm
pubcrawl
Resiliency
Safety
composability
Program processors
computer security
Metrics
secure compilation
full abstraction
compiler security
Picture archiving and communication systems
Capability machines
biblio
Verifying Accountability for Unbounded Sets of Participants
Submitted by grigby1 on Wed, 08/03/2022 - 3:12pm
pubcrawl
Protocols
verification
composability
computer security
accountability
trustworthiness
formal-methods
electronic voting
Security-Protocols
biblio
Communication Security Design of Distribution Automation System with Multiple Protection
Submitted by grigby1 on Fri, 07/29/2022 - 4:14pm
encryption
pubcrawl
resilience
Resiliency
Conferences
computer security
power grids
Consumer electronics
automation
Operating systems security
communication security
distribution automation system
encryption distribution terminal
multiple protection
biblio
A Study on UAV Operating System Security and Future Research Challenges
Submitted by grigby1 on Fri, 07/29/2022 - 4:13pm
pubcrawl
resilience
Resiliency
Conferences
computer security
Task Analysis
operating systems
Transportation
surveillance
drones
Operating systems security
operating system security
Drone security
embedded system security
unmanned aerial vehicle
biblio
Methods of Detecting and Neutralizing Potential DHCP Rogue Servers
Submitted by grigby1 on Fri, 07/29/2022 - 4:13pm
tools
Servers
IP networks
pubcrawl
resilience
Resiliency
Routing
network security
computer security
computer networks
operating systems
testing
Operating systems security
DHCP rogue servers
DHCP servers
GNU/Linux operating systems
biblio
CyberBERT: A Deep Dynamic-State Session-Based Recommender System for Cyber Threat Recognition
Submitted by grigby1 on Fri, 07/15/2022 - 11:21am
Training
Predictive models
pubcrawl
Human behavior
resilience
Resiliency
Scalability
History
real-time systems
computer security
malware
Aerodynamics
recommender systems
biblio
Wireless Cybersecurity Education: A Focus on Curriculum
Submitted by grigby1 on Wed, 07/13/2022 - 12:16pm
Metrics
wireless cyber education
Wireless communication
tools
Telecommunications
Standards organizations
Scalability
Resiliency
resilience
pubcrawl
policy governance
collaboration
Internet of Things
Human behavior
experiential training
cybersecurity education
Cybersecurity
cyber education paradigm
curricular design
computer security
composability
Communication system security
biblio
Towards modeling of naval systems interdependencies for cybersecurity
Submitted by grigby1 on Tue, 07/12/2022 - 2:36pm
Metrics
Cyber Dependencies
naval systems dependencies
graph representation
international trade
operational technology
Transportation
Image edge detection
Compositionality
Cybersecurity
Proposals
pubcrawl
cyber-physical systems
computer security
Oceans
composability
information technology
Scalability
Resiliency
resilience
Human behavior
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
