Works matching DE "INTERACTIVE proof methods"
Results: 3
An efficient authentication protocol using zero knowledge property and pairing on elliptic curves.
- Published in:
- International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 2155
- By:
- Publication type:
- Article
Coqoon: An IDE for interactive proof development in Coq.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 125, doi. 10.1007/s10009-017-0457-2
- By:
- Publication type:
- Article
KIV: overview and VerifyThis competition.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3
- By:
- Publication type:
- Article