AGVI

MaRDI QIDQ14828swMATHFDO

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

Cited in

(10)

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

This page was built for software: AGVI