0xPinto

0xPinto

Formal Methods Engineer

@0xPinto

30

Public earnings

$12

816th


Public findings

1

Biography

Biography

Formal Methods Engineer in the railway domain Aerospace Engineer

Top competitions

View all
Contest
Position
Date
Payout
Euler-v2

Euler-v2

62

/ 601

May 2024$12
metamorpho-and-periphery

metamorpho-and-periphery

22

/ 242

November 2023$0

Security portfolio

Title
Description
Code_Hawks