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
Coq
biblio
Compositional Non-Interference for Fine-Grained Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 10:25am
Metrics
Separation Logic
logical relations
fine-grained concurrency
non-interference
Coq
Concurrency
Iris
automation
Concurrent computing
security
Buildings
Computer languages
Manuals
composability
privacy
Resiliency
resilience
pubcrawl
biblio
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach
Submitted by grigby1 on Tue, 05/25/2021 - 2:48pm
CPS resilience
Analytical models
Coq
cyber physical systems
cyber-physical systems
fault tolerance
Maude
Protocols
pubcrawl
resilience
Resiliency
Rewriting Logic
security
Task Analysis
tools
biblio
Property Based Formal Security Verification for Hardware Trojan Detection
Submitted by grigby1 on Mon, 11/02/2020 - 12:35pm
Resiliency
invasive software
Logic gates
malicious Hardware Trojans
modern computer hardware
policy-based governance
pubcrawl
register transfer level information flow security models
resilience
intellectual property security
secret information
security
security behavior
Security Properties
Semantics
Theorem Proving
third-party intellectual property cores
Trojan horses
golden reference design
composability
Coq
fine grained gate level information flow model
formal representations
formal security verification
Formal Specification
formal verification
formal verification method
Complexity theory
Hardware
hardware designs
Hardware Security
hardware trojan
industrial property
information flow analysis
Integrated circuit modeling
biblio
Mechanising Blockchain Consensus
Submitted by grigby1 on Tue, 11/12/2019 - 3:28pm
blockchain
collaboration
composability
Compositionality
Consensus
Coq
policy-based governance
privacy
protocol verification
pubcrawl
biblio
A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules
Submitted by grigby1 on Tue, 09/26/2017 - 11:42am
Access Control
Coq
formal verification
Human behavior
policy analysis
program correctness
pubcrawl
Resiliency
Scalability
Security Policies Analysis
XACML
biblio
Planning for Change in a Formal Verification of the Raft Consensus Protocol
Submitted by grigby1 on Tue, 09/26/2017 - 11:32am
collaboration
Compositionality
Coq
distributed systems
formal verification
privacy
proof assistants
protocol verification
pubcrawl
Raft
Verdi
file
Formal Verification of C Programs with Floating-Point Computations: Certified Error Bounds for Signal Processing
Submitted by akarns on Tue, 01/26/2016 - 2:52pm. Contributor:
Tahina Ramananandro
Presented as part of the
2016 HCSS conference
.
C
Coq
error bounds
floating-point
Radar
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
