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
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
biblio
Formal Proof of Security Algorithms Based on Reachability Reduction
Submitted by grigby1 on Tue, 06/27/2017 - 1:04pm
attack graph
attack graphs
formal proof
Human behavior
Identity management
identity snowball attack
Metrics
protocol verification
pubcrawl
reachability reduction
Resiliency
Scalability
security
sparsest\_cut
biblio
A Rewriting-based Forwards Semantics for Maude-NPA
Submitted by Jose Meseguer on Wed, 09/17/2014 - 6:30pm
Modeling
Science of Security
Simulation
Foundations
ACM CCS
Applied cryptography
cryptographic protocol analysis
Cryptographic Protocols
Cryptography
foundations
logical narrowing-based reachability analysis
model checking
modeling
protocol verification
reasoning modulo an equational theory
Science of Security
simulation
standard rewriting-based model checking
term rewriting
ACM CCS
Cryptography
Applied Cryptography
Cryptographic Protocols
« first
‹ previous
1
2
3
4
5
6
7
