Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

policy-based collaboration

biblio

On the Soundness of Infrastructure Adversaries

Submitted by grigby1 on Thu, 02/24/2022 - 11:31am

biblio

Formal Verification of 5G EAP-AKA Protocol

Submitted by grigby1 on Thu, 02/24/2022 - 11:31am

biblio

Formal Verification of Secure Forwarding Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 11:31am

biblio

A Secure Mobile Payment Protocol for Handling Accountability with Formal Verification

Submitted by grigby1 on Thu, 02/24/2022 - 11:30am

biblio

Towards Formal Modeling and Analysis of UPI Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 11:30am

biblio

Compression Optimization For Automatic Verification of Network Configuration

Submitted by grigby1 on Thu, 02/24/2022 - 11:30am

biblio

Vertical Composition and Sound Payload Abstraction for Stateful Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 11:29am

biblio

An Interactive Prover for Protocol Verification in the Computational Model

Submitted by grigby1 on Thu, 02/24/2022 - 11:29am

biblio

Performing Security Proofs of Stateful Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 11:29am

Terms of Use | ©2023. CPS-VO