Skip to content
View matmilbury's full-sized avatar
๐Ÿš€
Securing web3
๐Ÿš€
Securing web3

Block or report matmilbury

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
matmilbury/README.md

๐Ÿ‘‹ Hi, I'm Mat, the CEO of Tenset and a co-founder of Tenset Security ๐Ÿ›ก๏ธ

With a rich background in both software engineering and security research, I've dedicated my career to pioneering cutting-edge solutions in the rapidly evolving world of web3.

At Tenset Security, we are committed to safeguarding the decentralized digital landscape, and I'm proud to lead a team of talented researchers who share this passion.

Specializations ๐Ÿ”’

  • Strategic Security Leadership: Guiding the vision and execution of comprehensive security solutions.
  • Smart Contract Auditing: Utilizing deep expertise to ensure the robustness of decentralized applications.
  • Software Engineering: Building and optimizing complex systems with a security-first approach.
  • Innovative Research: Pioneering new methods in fuzzy testing, formal verification, property-based testing, model-based testing, and differential testing.

Technologies and Tools ๐Ÿ‘จโ€๐Ÿ’ป

My toolkit spans a wide array of technologies, including:

  • Smart Contract Auditing Tools: Slither, Echidna, Foundry
  • Software Development Languages: Solidity, TypeScript
  • Formal Verification Tools: Certora, Scribble
  • Security Frameworks: OWASP, Smart Contract Security Verification Standard

Leading Tenset Security ๐Ÿ›ก๏ธ

As the helm of Tenset Security, I focus on:

  • Vision and Strategy: Charting the course for scalable and resilient security solutions.
  • Mentorship and Team Building: Cultivating a collaborative and innovative culture.
  • Research and Development: Spearheading new initiatives and staying at the forefront of technological advancements.

Hobbies and Interests ๐Ÿ‘จโ€๐Ÿณ

I'm passionate about privacy, security, and the pursuit of truth in software and life.

Away from the digital world, I enjoy cooking, mountain biking, and relaxing with family and friends around a bonfire.

Let's Connect ๐Ÿคœ๐Ÿค›

Whether you're curious about Tenset Security's offerings, want to collaborate on a project, or just want to chat about the future of web3, I'm always available. Feel free to drop me a line or connect with me on LinkedIn.

Popular repositories Loading

  1. matmilbury matmilbury Public

    1

  2. adr adr Public

    Forked from phodal/adr

    Architecture Decision Records in Node.js with Reporter, supported Windows, GNU/Linux, macOS - ่ฝป้‡็บงๆžถๆž„ๅ†ณ็ญ–่ฎฐๅฝ•ๅทฅๅ…ท

    TypeScript

  3. remix remix Public

    Forked from remix-run/remix

    Build Better Websites. Create modern, resilient user experiences with web fundamentals.

    TypeScript

  4. eslint-plugin-unicorn eslint-plugin-unicorn Public

    Forked from sindresorhus/eslint-plugin-unicorn

    Various awesome ESLint rules

    JavaScript

  5. metamask-docs metamask-docs Public

    Forked from MetaMask/metamask-docs

    MetaMask project documentation

    JavaScript

  6. remix-i18next remix-i18next Public

    Forked from sergiodxa/remix-i18next

    The easiest way to translate your Remix apps

    TypeScript