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
verification
biblio
Decidability of Inferring Inductive Invariants
Submitted by grigby1 on Tue, 09/26/2017 - 12:33pm
collaboration
Compositionality
effectively propositional logic
invariant inference
privacy
protocol verification
pubcrawl
verification
well-quasi-order
biblio
Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
Cardinalities
collaboration
Compositionality
Concurrency
distributed systems
Parametric Systems
privacy
protocol verification
pubcrawl
verification
biblio
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
collaboration
Compositionality
Cryptography
dafny
fstar
HTTPs
lean
privacy
protocol
protocol verification
pubcrawl
security
TLS
verification
Z3
biblio
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Submitted by grigby1 on Tue, 09/05/2017 - 1:25pm
composability
CPS modeling
data-driven energy consumption models
embedded systems
energy optimisation
hardware-in-the-loop simulation
Metrics
Petri nets
pubcrawl
Resiliency
satisfiability modulo theories
simulation
synthesis
timed i/o automata
verification
biblio
In-Depth Enforcement of Dynamic Integrity Taint Analysis
Submitted by grigby1 on Tue, 05/30/2017 - 1:06pm
Algorithms
auditing
composability
Control Theory
languages
Metrics
pubcrawl
security
Security Audits
Security Policies Analysis
taint analysis
theory
verification
biblio
Secure and Verifiable Outsourcing of Nonnegative Matrix Factorization (NMF)
Submitted by grigby1 on Mon, 05/22/2017 - 1:52pm
Cloud Computing
collaboration
composability
Human behavior
information theoretic security
Metrics
nmf
pubcrawl
Resiliency
Scalability
secure outsourcing
verification
biblio
Viola: Trustworthy Sensor Notifications for Enhanced Privacy on Mobile Systems
Submitted by grigby1 on Tue, 05/16/2017 - 12:45pm
composability
indicators
invariants
mobile systems
notifications
pubcrawl
sensors
trustworthiness
trustworthy
verification
Virtualization
biblio
SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian?
Submitted by grigby1 on Mon, 04/24/2017 - 11:48am
cyber resilience
Experimentation
pubcrawl
resilience
Resiliency
validation
verification
biblio
Let me rephrase that: Transparent optimization in SDNs
Submitted by Brighten Godfrey on Mon, 04/03/2017 - 6:06pm
optimization
SDN
verification
biblio
Multi-representational Security Analysis
Submitted by grigby1 on Mon, 03/20/2017 - 10:46am
composability
Composition
modeling
pubcrawl
representation
security
verification
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
next ›
last »
