peritoflores

Blockchain Security Auditor. Computer Forensic Analyst. Computer and Electronics Engineer

Argentina

Pinned Repositories

2022-05-velodrome
Language:Solidity00
androidremoteforensics
This tool is used to make forensics remotely in Android Devices
Language:Java00
aquait
00
CertoraTutorials
Practical tutorials of Certora Prover
Language:Solidity00
compound-protocol
The Compound On-Chain Protocol
Language:TypeScript00
genericBofexploit
A generic BoF for stack-based buffer overflow
Language:Python00
images
images
00
peritoflores.github.io
Language:Ruby00
seaport
Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.
Language:Solidity00
tellorMonitor
Track tellor security
Language:JavaScript10

peritoflores's Repositories

peritoflores/tellorMonitor
Track tellor security
Language:JavaScript10
peritoflores/2022-05-velodrome
Language:Solidity00
peritoflores/androidremoteforensics
This tool is used to make forensics remotely in Android Devices
Language:Java00
peritoflores/aquait
00
peritoflores/CertoraTutorials
Practical tutorials of Certora Prover
Language:Solidity00
peritoflores/compound-protocol
The Compound On-Chain Protocol
Language:TypeScript00
peritoflores/genericBofexploit
A generic BoF for stack-based buffer overflow
Language:Python00
peritoflores/images
images
00
peritoflores/peritoflores.github.io
Language:Ruby00
peritoflores/seaport
Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.
Language:Solidity00
peritoflores/simplevulnservertrun
Simple exploit y fuzzer para TRUN de VULNSERVER
Language:Python00
peritoflores/tutorials-code
Certora Tutorials Borda
Language:Solidity00
peritoflores/vimconfig
Vim Config with Certora CVL 2
Language:Vim Script