G2C

swMATH25265MaRDI QIDQ37007FDOQ37007

Author name not available (Why is that?)

Official website: https://www.infsec.cs.uni-saarland.de/~reischuk/g2c/

Described by source

• G2C: cryptographic protocols from goal-driven specifications

This page was built for software: G2C