Modèles de bugs dans Solidity et audit de contrats intelligents | Yannis Smaragdakis à SmartCon 2022 | Knoovi