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
computer security
biblio
Privacy Protection Method for Experts' Evaluation Ability Calculation of Peer Review
Submitted by grigby1 on Tue, 09/20/2022 - 1:27pm
pubcrawl
Human behavior
Scalability
privacy
data privacy
Information systems
computer security
Perturbation methods
privacy protection
usability
expert systems
Human Factors
Data Perturbation
evaluation ability
peer review
biblio
Fuzzy Logic Data Protection Management
Submitted by grigby1 on Fri, 09/16/2022 - 4:46pm
information security
security
pubcrawl
Metrics
resilience
Decision Making
computer security
Inference algorithms
Technological innovation
Fuzzy logic
Data protection
Resiliency
biblio
Providing Resilience on Cloud Computing
Submitted by grigby1 on Fri, 08/26/2022 - 1:21pm
Complexity theory
Execution Path Analysis (EPA)
virtual machine
Control Theory
System performance
Human Factors
Informatics
Cloud Security
Access Control
Cloud Computing
Virtual machine monitors
Virtual machining
computer security
Scalability
Resiliency
resilience
Human behavior
pubcrawl
biblio
Cybersecurity Certification for Agile and Dynamic Software Systems – a Process-Based Approach
Submitted by aekwall on Fri, 08/26/2022 - 12:10pm
security
Software
pubcrawl
Resiliency
composability
computer security
certification
Predictive Metrics
process control
ISO standards
Standards organizations
IEC standards
Agile development
Dynamical Systems
biblio
Forensic Analysis of Automotive Controller Area Network Emissions for Problem Resolution
Submitted by aekwall on Fri, 08/26/2022 - 11:57am
Forensics
vehicle
emissions
EMI
electromagnetic compatibility
eavesdropping
fault diagnosis
Magnetic field measurement
Cybersecurity
electromagnetic interference
pubcrawl
cyber-physical systems
controller area network security
CAN
automotive
controller area network
telecommunication traffic
computer security
Internet of Things
Resiliency
biblio
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL
Submitted by aekwall on Fri, 08/12/2022 - 3:53pm
Cryptography
Computational modeling
tools
computer security
Complexity theory
pubcrawl
composability
biblio
Concise UC Zero-Knowledge Proofs for Oblivious Updatable Databases
Submitted by aekwall on Fri, 08/12/2022 - 3:53pm
Task Analysis
Protocols
Databases
Aggregates
computer security
pubcrawl
Writing
universal composability
Vector commitments
ZK proofs of knowledge
composability
biblio
On Compositional Information Flow Aware Refinement
Submitted by aekwall on Fri, 08/12/2022 - 3: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 - 2: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 - 2:08pm
pubcrawl
Resiliency
Safety
composability
Program processors
computer security
Metrics
secure compilation
full abstraction
compiler security
Picture archiving and communication systems
Capability machines
1
2
3
4
5
6
7
8
9
…
next ›
last »
