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
formal verification
biblio
Ransomware Inside Out
Submitted by grigby1 on Fri, 11/03/2017 - 11:27am
Metrics
smart phones
security
Resiliency
ransomware functionality
Ransomware
pubcrawl
model checking
mobile environment
mobile computing
Mobile communication
android
malware
Java
invasive software
Humanoid robots
Human behavior
formal verification
formal methods
formal method
composability
Androids
biblio
Axiomatic Semantics for Compiler Verification
Submitted by K_Hooper on Fri, 10/13/2017 - 10:28am
compiler correctness
composability
Compositionality
Computing Theory
formal verification
pubcrawl
Weakest preconditions
biblio
A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules
Submitted by grigby1 on Tue, 09/26/2017 - 12:42pm
Access Control
Coq
formal verification
Human behavior
policy analysis
program correctness
pubcrawl
Resiliency
Scalability
Security Policies Analysis
XACML
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
cloud
co-residence
Compositionality
formal verification
isolation
Metrics
openstack
pubcrawl
Resiliency
Scalability
scalable verification
security auditing
Security Audits
Security Policies Analysis
Virtualization
biblio
Planning for Change in a Formal Verification of the Raft Consensus Protocol
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
collaboration
Compositionality
Coq
distributed systems
formal verification
privacy
proof assistants
protocol verification
pubcrawl
Raft
Verdi
biblio
A Routing Protocol Method That Sets Up Multi-hops in the Ad-hoc Network
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
Ad-Hoc Network
collaboration
Compositionality
formal verification
multipath
privacy
protocol verification
pubcrawl
Routing Protocol
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Wed, 08/02/2017 - 1:58pm
cloud
co-residence
composability
formal verification
Human behavior
isolation
Metrics
openstack
privacy
pubcrawl
Resiliency
security auditing
Virtualization
virtualization privacy
biblio
Recency-Bounded Verification of Dynamic Database-Driven Systems
Submitted by grigby1 on Mon, 06/05/2017 - 12:29pm
collaboration
data deletion
data-aware dynamic systems
database driven dynamic systems
formal verification
Human behavior
model checking
monadic second order logic
nested words
pubcrawl
recency boundedness
relational transition systems
Scalability
under-approximation
biblio
A Design and Verification Methodology for Secure Isolated Regions
Submitted by grigby1 on Mon, 05/22/2017 - 1:42pm
channel coding
composability
confidentiality
confinement
Enclave Programs
formal verification
Human behavior
pubcrawl
Resiliency
Secure computation
Securing Compilers
biblio
Formal Analysis of Robustness at Model and Code Level
Submitted by grigby1 on Wed, 05/17/2017 - 1:48pm
composability
control software
formal verification
Human behavior
pubcrawl
Resiliency
robustness margins
semi-definite programming
static analysis
static code analysis
« first
‹ previous
…
9
10
11
12
13
14
15
16
17
next ›
last »
