Haskell implementation of the server-side verifier for Web Authentication API - View it on GitHub