Mike Stay

Director Of Research And Development at F1R3FLY.io

Lindon, Utah, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Mike Stay is a research-driven engineering leader with 18 years of experience bridging mathematical physics, cryptanalysis, and production software security. He holds a PhD exploring intersections of math physics and CS and has practical impact ranging from a ciphertext-only Zip attack and coauthoring the best-known AES attack until 2009 to leading security work at Google that influenced ECMAScript 5. As CTO of Pyrofex he built and managed an R&D team and co-designed the Casanova consensus algorithm that powered a prototype achieving 57k TPS, and he continues to lead R&D at F1R3FLY.io. Mike combines deep theoretical insight with hands-on exploits and product delivery—he even recovered significant Bitcoin via improved crypto analysis—and enjoys solving hard, unconventional technical problems. Based in Lindon, Utah, he is primarily open to consulting and high-leverage research engagements.
code18 years of coding experience
job21 years of employment as a software developer
bookDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Auckland
bookBachelor of Science (BS), Physics, Bachelor of Science (BS), Physics at Brigham Young University
languagesEnglish, Spanish
github-logo-circle

Github Skills (41)

markdown10
gist10
couchdb10
javascript10
blogger10
stackedit10
css10
wordpress10
typescript10
zendesk10
gitlab10
angularjs10
html10
editor9
jquery9

Programming languages (10)

TypeScriptJavaC++RustTeXScalaJavaScriptVue

Github contributions (5)

github-logo-circle
leithaus/pi4u

Mar 2015 - Jul 2017

A collection of papers about new models and applications of mobile process calculi
Contributions:165 commits, 144 pushes, 4 branches in 2 years 3 months
mobile
metaweta/jscategory

Dec 2014 - Jun 2017

Contributions:19 commits, 16 pushes in 2 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial