Avatar for Douglas Stebila from gravatar.com

Douglas Stebila

Username    dstebila
Date joined   Joined

2 projects

proof-frog

Last released

A tool for checking transitions in cryptographic game-hopping proofs

texfrog

Last released

Tool for organizing and rendering LaTeX cryptographic game-hopping proofs

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page