Sécurité des contrats intelligents

Apprenez la sécurité des contrats intelligents à partir de véritables hacks DeFi | Guide complet de sécurité Web3 (Partie 1)

Bienvenue sur CodeByAnkita ! Dans cette vidéo, nous commençons notre guide complet de sécurité Web3 en explorant comment se produisent de vé...

Audit de contrats intelligents : Meilleures pratiques de sécurité pour DeFi | Guide complet pour débutants

🔐 Apprenez tout sur l'audit de contrats intelligents et les meilleures pratiques de sécurité pour les protocoles DeFi ! Dans ce guide compl...

Top 5 Outils Essentiels pour les Bug Bounties Web3 | Slither, Echidna, Mithril, Tenderly et Glider

Prêt à élever votre jeu de bug bounty Web3 ? Dans cette vidéo, nous plongeons dans les 5 Outils pour les Chercheurs en Sécurité Web3 que cha...

Tests de contrat intelligent Slither Partie 1

Commencez à apprendre sur des tests spécifiques de Slither dans cet exemple. Cette vidéo provient du cours avancé de Metacrafters.io sur Sol...

Utiliser Slither pour analyser les contrats intelligents à la recherche de vulnérabilités

Apprenez à utiliser Slither pour détecter des vulnérabilités en utilisant un contrat de stockage par défaut comme exemple. Cette vidéo provi...

Guide de la vérification formelle | Élevez la sécurité à un niveau supérieur

1 000 000 $ de financement de subventions pour l'audit de sécurité des contrats intelligents est maintenant disponible, sponsorisé par Guard...

Comment tester des contrats intelligents avec Echidna

Découvrez comment utiliser Echidna pour tester des invariants définis par l'utilisateur dans ce tutoriel ! Cette vidéo fait partie du cours....

Vulnérabilités dans les contrats intelligents et analyse des outils de sécurité

Vulnérabilités dans les contrats intelligents et analyse des outils de sécurité Par : Rohit Sathye

Fuzzing Solidity & Tests Web3 | Ingénieur Sécurité Trail of Bits

Nous abordons : - Méthodologies de test - Fuzzing - Analyse statique Avec l'ingénieur sécurité de Trail of Bits, Troy ! 🐦 Troy : https://tw...

100 000 $ en Bug Bounty 💸 en apprenant l'Audit de Smart Contracts grâce aux rapports de CODE4RENA !

📥 Téléchargez le code source et les matériaux : https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE Comment de...

Fuzzing de contrats intelligents Solidity/Ethereum avec Foundry/Forge

📥 Téléchargez le code source et les matériaux : https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE Dans cette...

Comment pirater des contrats intelligents avec Slither et Echinda

🤑 Devenez un MAÎTRE de la blockchain recherché : https://dappuniversity.com/bootcamp CODE : https://github.com/dappuniversity/Auditing-with...

Auditez facilement vos contrats intelligents Solidity avec Slither

Apprenez à auditer vos contrats intelligents Solidity en utilisant un outil appelé Slither. #solidity #Slither #defi #tutoriel #hardhat Écha...

Construire des contrats sécurisés : Utilisez Echidna comme un pro | Devcon Bogotá

Visitez https://archive.devcon.org/ pour accéder à l'ensemble de la bibliothèque des conférences Devcon avec la facilité de filtrage, des pl...

État de l'art du fuzzing des contrats intelligents Ethereum en 2022 [EthCC5]

📥 Téléchargez les diapositives : https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=youtube Le fuzzing est connu comm...

Josselin Feist & Natalie Chin - Construire des contrats sécurisés : Comment utiliser le fuzzing comme un pro

Dans cet atelier, les participants acquerront une expérience pratique avec Echidna - un fuzzer de contrats intelligents open source - pour c...

Fuzzing Tools Series: Echidna

The first of the "Fuzzing Tools Series", where we invite blockchain security experts to display a particular smart contract fuzzing tool use...

Qu'est-ce que la vérification formelle

✅ Tous les liens des réseaux sociaux et codes promo ! 👉 https://linktr.ee/ryanmatta Qu'est-ce que la vérification formelle ? Selon wikipedi...

Fuzzing des contrats intelligents Solidity !

fuzzing des contrats intelligents EVM (solidity) avec des tests de propriété (Echidna) #solidity #sécurité #fuzzing #bug #echidna Dans cette...

Configuration de l'environnement de test de contrats intelligents dans le cloud & Slither 101 - Analyseur statique Solidity

Mohamed, le fondateur de BlokFiny et Blokgames et chercheur en sécurité, a présenté une conférence sur la configuration d'un environnement d...

Fuzzing des timestamps et des appelants avec Echidna

Exemples de la façon de fuzzing des timestamps et des appelants dans Echidna #Solidity #SmartContract #Ethereum #スマートコントラクト https://solidity...

Analyse de contrat intelligent Ethereum et audit Solidity avec Mythril - Sécurité Blockchain #2

📥 Téléchargez le code source et les matériaux : https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE Suite à la...

Trouver des bugs avec Echidna

Exemple introductif sur l'utilisation d'Echidna pour écrire des tests basés sur des propriétés pour des contrats intelligents Solidity. #Sol...

Fuzzing de contrats intelligents Ethereum avec Echidna - Sécurité Blockchain #1

📥 Téléchargez le code source et les matériaux : https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE Dans cette...

Secereum - Techniques et Outils d'Audit 101 (Sécurité des Contrats Intelligents Ethereum)

Obtenez la série gratuite de 30 jours sur la maîtrise de l'IA 💌 : https://insights.gradientlabs.co/ Travaillez avec moi 💪 : https://offeri...

Secureum SafeCast #3

Secureum SafeCast #SAFUwithSecureum avec Josselin Feist de Trail of Bits. - Outils - Slither - https://github.com/crytic/slither - Echidna -...

Attaque par réentrance ｜Des failles mystérieuses cachées dans les contrats intelligents

Commencez par les quatre aspects de la méthode de transfert, de la fonction de fallback, du code vulnérable et de l'analyse du code source,....

Raymond donne une conférence sur l'analyse statique des contrats intelligents en utilisant Slither

Sécurité par conception et audits de contrats intelligents | Shayan Eskandari

Bienvenue à "Sécurité par conception et audits de contrats intelligents" avec Shayan Eskandari. Cette présentation a été donnée le vendredi....

SEC554 : Sécurité des Blockchains et des Smart Contracts - Comment perdre 280 millions de dollars avec une seule ligne de code

Cours affilié : https://www.sans.org/sec554 Présenté par : Steven Walbroehl Suivez-moi ici : https://twitter.com/halbornsteve Les Blockchain...

Présentation du code de Slither

Hacking de Smart Contracts - 0x0D - Correction de l'autorisation avec des Modificateurs

Correction des problèmes d'autorisation et de logique métier dans le smart contract vulnérable. Depuis le blog The Console Cowboys https://c...

DEF CON Mode Sûr Village Blockchain - Martin Abbatemarco - 7 Phases du Hacking de Contrats Intelligents

7 Phases du Hacking de Contrats Intelligents

Dan Guido : Trail of Bits – L'évolution de la sécurité des contrats intelligents #346

Tout comme tous les logiciels, les contrats intelligents sur la blockchain sont sujets à de graves vulnérabilités de sécurité et à des erreu...

Ethainter - Un analyseur de sécurité de contrat intelligent pour les vulnérabilités composites

Atelier sur les tests de contrats intelligents

Veronica Zheng, ingénieure chez Coinbase, a animé un atelier sur les tests de contrats intelligents. Dans cet atelier pratique, nous avons a...

Slither : Comment ça fonctionne et comment l'utiliser

Enregistrement des heures de bureau de Trail of Bits du mardi 22 janvier 2019. Ceci reflète Slither v0.5.1. Plus d'informations sur les heur...

Anatomie d'un langage de programmation de contrat intelligent non sécurisé

Cette présentation dissèque Solidity : le langage de programmation de contrat intelligent le plus populaire. Divers exemples de son comporte...

Tests de propriété avec Echidna et Manticore pour des contrats intelligents sécurisés

Les tests basés sur les propriétés sont un outil incroyablement simple et puissant pour la découverte de bugs, mais malgré leur efficacité,....

Blockchain et contrats intelligents : Pertinence des faits et mythes de la sécurité pour le contrôle industriel

La présentation sur la blockchain et les contrats intelligents par Richard R. Brooks de l'Université de Clemson lors de la Conférence sur la...