Skip Navigation
Code4rena Logo

  • Ready to secure your project?

    The best time to start is now.

    Security solutions
    • Competitive audit

      We invented the format that disrupted the web3 industry. Find out why top protocols trust C4.

    • Zenith

      Zenith assembles auditors with proven track records to secure your project.

    Resources
    • Docs
    • Reports

  • Find bugs. Get paid.

    Put your security research skills to work.

    Audits
    • Ongoing audits
    • Upcoming audits
    • Past audits
    • Bounties
    Leaderboard
    • Past 90 days
    • Past 365 days
    • All time
    Resources
    • Reports
    • Help desk
    • Docs
    • GitHub
  • Support
  • Log in

    • Login

    login iconLog in / Register
Code4rena Logo
Avatar for brenda9_hcjbk6

brenda9_hcjbk6

We are a team of security researchers from the formal methods community with broad expertise in rigorous software development, development of automated blockchain testing solutions, formal verification, and comprehensive security audits.

Team Members

Avatar for aurelia59_oo0lrv
aurelia59_oo0lrv
Avatar for malinda_swaniawski1_7tfmy8
malinda_swaniawski1_7tfmy8
Avatar for rossie_boyle_nrr0u6
rossie_boyle_nrr0u6

Overview

Earnings
$8.7K
Total
$--
Last year
Rankings
#391
All-time
#--
Last year
Valid findings
6
High
4
Medium
Signal
--
No score
Helped secure (7)

Helped Secure

Solid State Port 332
Haptic System 331
Virtual Hard Drive 372
1080p Application 336
Digital Card 328
Neural Application 367
Cross-platform Panel 354

Highlights

  • 馃
    1st place路1080p Application 336
  • 馃挭
    12th place路Solid State Port 332

    Identified 1 medium risk findings

  • 馃挭
    26th place路Digital Card 328

    Identified 3 high risk and 2 medium risk findings

  • 馃挭
    33rd place路Cross-platform Panel 354
  • 馃挭
    46th place路Virtual Hard Drive 372

    Identified 1 medium risk findings

Audit History

  • Twitter
  • Discord
  • GitHub
  • Media kit
  • Terms
  • Privacy