AGVI

swMATH2287MaRDI QIDQ14828FDOQ14828

Author name not available (Why is that?)

Official website: http://www.ece.cmu.edu/~adrian/projects/cav01/cav01.pdf

Cited In (10)

• TulaFale
• ASPIER
• Spi2Java
• UMLsec
• JavaSPI
• MJ
• Bouncy Castle
• ZKPDL
• Formally sound implementations of security protocols with JavaSPI
• Verified interoperable implementations of security protocols

This page was built for software: AGVI