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 - 12:31pm

biblio

Formal Verification of 5G EAP-AKA Protocol

Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm

biblio

Formal Verification of Secure Forwarding Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm

biblio

A Secure Mobile Payment Protocol for Handling Accountability with Formal Verification

Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm

biblio

Towards Formal Modeling and Analysis of UPI Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm

biblio

Compression Optimization For Automatic Verification of Network Configuration

Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm

biblio

Vertical Composition and Sound Payload Abstraction for Stateful Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm

biblio

An Interactive Prover for Protocol Verification in the Computational Model

Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm

biblio

Performing Security Proofs of Stateful Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm

Terms of Use | ©2023. CPS-VO