If you are currently onsite at @EthereumDenver ⛰️, be sure to set aside time for the talk titled “Audited. Formally Verified. Totally Compromised.” Hosted by @diogper, this session takes place Today from 11:20–11:40am at the Protocol Engineering Summit. The presentation will analyze the technical flaws responsible for a major Web3 hack and provide scalable defense strategies that teams can use to significantly strengthen their cyber resilience.