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
protocol verification
biblio
Continuous Verification for Cryptographic Protocol Development
Submitted by grigby1 on Thu, 05/24/2018 - 12:21pm
Compositionality
Cryptographic Protocols
IoT
Policy
policy-based collaboration
privacy
protocol verification
pubcrawl
verification
biblio
An IDE for the Design, Verification and Implementation of Security Protocols
Submitted by grigby1 on Wed, 01/10/2018 - 12:19pm
intuitive language AnB
verification
tools
software engineering
security protocols
security of data
secure distributed applications
Resiliency
pubcrawl
Protocols
protocol verification
program verification
program compilers
model checker OFMC
Java
AnBx compiler
integrated development environment
implementation
Generators
formal verification
Formal Specification
formal modelling
formal method tools
encryption
Eclipse-based IDE
design
dependable distributed applications
composability
compiler security
code generator
biblio
Importance of Repeatable Setups for Reproducible Experimental Results in IoT
Submitted by grigby1 on Tue, 09/26/2017 - 12:33pm
collaboration
Compositionality
experimentation testbeds
Internet of Things
large scale
open platform
performance evaluation
privacy
protocol verification
pubcrawl
repeatability
reproducibility
wireless sensor networks
biblio
Lightweight Authentication for COAP Based IOT
Submitted by grigby1 on Tue, 09/26/2017 - 12:33pm
authentication
Certificate-less
CoAP
collaboration
Compositionality
Elliptic curve cryptography
IKEv2
IoT
privacy
protocol verification
pubcrawl
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
Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
application protection
collaboration
Compositionality
crash consistency
para-verification
privacy
protocol verification
pubcrawl
virtualization-based security
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
Automated Verification in Cryptography System
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
3DES
collaboration
Compositionality
CRAM-MD5
E-Voting Protocol
HMAC-MD5
Multiphase Encryption
Multiple Encryption
privacy
protocol verification
pubcrawl
RSA
UID
biblio
Verification of a Multi-Domain Authentication and Authorization Infrastructure Yamata-no-Orochi
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
Access Control
collaboration
Compositionality
Diameter Base Protocol
EAP
multi-domain authentication and authorization
privacy
protocol verification
pubcrawl
Yamata-no-Orochi
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
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
