Priyanka-Mondal/Coq-Proofs-for-FLAQR- Priyanka-Mondal/Coq-Proofs-for-FLAQR-

  • Stars
    star
    1
  • Language Coq
  • Created over 6 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Priyanka-Mondal/Coq-Proofs-for-FLAQR-
github

Priyanka-Mondal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Coq proofs of robust authorization

More Repositories

1

FlameChor

A Haskell library that adds information flow and consensus and fault-tolerant language constructs to HasChor
Haskell
1
star
2

priyanka-mondal.github.io

HTML
1
star