kuprum
Available for Hire
Highlights
Activity
Helped Secure
Available for hire
I am a security and formal methods researcher with expertise in security audits, protocol and architecture analysis, testing and verification. Get in touch!
Get a quoteAbout
Security and formal methods researcher. Master-unfolder of complexities. Deep-diver for bugs.
Helped Secure