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 tool
biblio
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Submitted by grigby1 on Tue, 11/12/2019 - 3:30pm
Symbolic-Model
privacy
protocol verification
Protocols
pubcrawl
radiofrequency identification
RFID protocols
Security Properties
stateful cryptographic protocols
symbolic model
policy-based governance
Tamarin
Tamarin prover
Theorem Proving
tools
user-defined equational theories
verification tool
XOR operations
XOR theory
Cryptography
attack identification
automated unbounded verification
collaboration
composability
Compositionality
Computational modeling
Cryptographic Protocols
Cryptographic-Protocols
Analytical models
electronic payment protocols
equational theory
Exclusive-OR
exclusive-or operations
formal verification
Formal-Verification
Mathematical model
observational equivalence
biblio
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL
Submitted by K_Hooper on Wed, 02/28/2018 - 10:31am
Reactive power
verification tool
transport protocols
tools
Theorem Proving
standards
standard Transport Layer Security handshake
security protocols
security of data
security
Resistance
relative soundness result
algebra
pubcrawl
Protocols
proof assistants
proof argument
pen-and-paper proof
Isabelle/HOL
Isabelle-HOL security
formal verification
constraint-based approach
Compositionality
