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
collaboration
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
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
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
« first
‹ previous
…
91
92
93
94
95
96
97
98
99
…
next ›
last »
