Tin Myo Win
Consultant, smart contract auditor, and Smart Contract Formal Verification in Dubai, UAE
With over a decade of dedicated experience in cybersecurity and Web3 security, I am Tin Myo Win. As a seasoned security researcher, I possess extensive expertise spanning both Web2 and Web3 security domains. I employ a diverse array of techniques including automation testing, symbolic execution, fuzzing, static analysis, and formal verification to address intricate security challenges. Additionally, I specialize in implementing formal verification tests to ensure the integrity of your system's invariants. Leveraging advanced technologies such as Halmos, Certora, Huff, Yul, Assembly, and Kontrol, I am committed to delivering comprehensive security solutions. Join our session to gain valuable insights into fortifying your cryptographic systems.
Smart Contract Researcher