CTFs

Outils de sécurité

Articles / Documents à lire

• Feuille de route pour la sécurité de la blockchain - https://lnkd.in/gPw7Nf4J

• L'Œil d'Horus : repérer et analyser les attaques sur les contrats intelligents Ethereum - https://lnkd.in/gnzDrXaH

• BLOCKEYE - À la recherche des attaques DeFi sur la blockchain - https://lnkd.in/gvxmW8Hu

• Détection topologique d'anomalies dans les réseaux blockchain multicouches dynamiques - https://lnkd.in/gPG6vrAM

• Vérification de l'algorithme d'arbre de Merkle incrémental avec Dafny - https://lnkd.in/gfk3YrEd

• GoHammer, outil de test de performance blockchain - https://lnkd.in/gHhjWdHj

• EtherClue : enquête numérique sur les attaques de contrats intelligents Ethereum - https://lnkd.in/gvuaaKaT

• Analyses des exigences et évaluations des plateformes blockchain selon des cas d'utilisation possibles - https://lnkd.in/g7G9Rpxj

• Note sur la confidentialité dans les teneurs de marché à fonction constante - https://lnkd.in/guEEV7Gm

• Une approche pour détecter la vulnérabilité de déni de service dans les contrats intelligents Ethereum - https://lnkd.in/gT3C-9fq

• AGSolT : un outil de génération automatique de cas de test pour les contrats intelligents Solidity - https://lnkd.in/gYDvEndF

• Identification de la vulnérabilité de réentrance dans les contrats intelligents Ethereum - https://lnkd.in/g6EVMjpg

• Coinbugs : énumération des vulnérabilités courantes au niveau de l'implémentation des blockchains - https://lnkd.in/gqTS47JW

• SuMo : une stratégie de test par mutation pour les contrats intelligents Solidity - https://lnkd.in/gm_ut_ev

• Un cadre et un ensemble de données pour les bogues dans les contrats intelligents Ethereum - https://lnkd.in/gGNzC8iz

• Extraction de contrats intelligents testés et vérifiés en Coq - https://lnkd.in/gYv2VgFJ

• Ponts blockchain sans confiance et préservant la confidentialité - https://lnkd.in/gxzndTd2

• Listes de contrôle de sécurité pour le développement de contrats intelligents Ethereum : modèles et bonnes pratiques - https://lnkd.in/grF8DuMU

• Détection dynamique de vulnérabilités sur les contrats intelligents à l'aide de l'apprentissage automatique - https://lnkd.in/gpbsEGve

• Cibler le maillon faible : attaques d'ingénierie sociale dans les contrats intelligents Ethereum - https://lnkd.in/g38PzXy3

• OptSmart : exécution concurrente optimiste économe en espace des contrats intelligents - https://lnkd.in/gFJhgamn

• DEFECTCHECKER : détection automatisée des défauts de contrats intelligents par analyse du bytecode EVM - https://lnkd.in/gKNNN34h

• Profilage des fuites de gaz dans les contrats intelligents Solidity - https://lnkd.in/g2dMHYac

• Détection de vulnérabilités dans les contrats intelligents Ethereum à l'aide de réseaux de neurones profonds et de l'apprentissage par transfert - https://lnkd.in/gV8Thsxe

Autres ressources utiles

• Le livre des auditeurs

• Liste de contrôle d'audit Solidity de CryptoFin

• Registre SWC

• Liste de référence de Trail of Bits

Soutenez-moi

Votre soutien est crucial pour m'aider à continuer à faire ce que j'aime : éduquer les utilisateurs de DeFi et de la crypto.

Si vous trouvez de la valeur dans mon travail et souhaitez le soutenir, vous pouvez m'envoyer un don à l'adresse –

• Adresse Ethereum/Polygon/BSC/Arbiturm/etc – 0xB8B14B7f0E4dF000f0654aF98498d52e567F2bfE

• Adresse Solana – 2fM5d1cupj2Mceh1wSYTrq1PSz2JbTbcYipJ4RxRSgMB

• Bitcoin – bc1q5nmjw8x40upjd3k9akpmtj682xa3zus7sr7rm3

• DogeCoin - DPFhZeZkybzLZj3ReJPdWHnDzv1zU5pugA

• LiteCoin - ltc1qzs3tj276zdjtuv5qy7aww3cc3frus8yvjdukln

• Lien de parrainage Binance

Merci infiniment à chacun d'entre vous ! Votre soutien me permet de créer plus de contenu, d'améliorer la qualité de mon travail et, en fin de compte, d'avoir un impact positif sur la communauté.

Envoyez-moi un message sur LinkedIn si vous avez des doutes ou besoin d'aide –

Linktree

Merci ! Restez en sécurité !