CoSP

swMATH25389MaRDI QIDQ37128FDOQ37128

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=1653672

Cited In (8)

• Computational soundness of symbolic zero-knowledge proofs: weaker assumptions and mechanized verification
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
• The Applied Pi Calculus
• Bayesian authentication: quantifying security of the Hancke-Kuhn protocol
• OFMC
• EasyCrypt
• pGCL
• Probabilistic functions and cryptographic oracles in higher order logic

This page was built for software: CoSP