https://raoulschaffranek.github.io/2022-10-20-devcon-rounding-errors/ 2022-10-20T00:00:00-04:00 https://raoulschaffranek.github.io/2023-12-01-evm-summit-symbolic-debugging-workshop/ 2023-12-01T00:00:00-05:00 https://raoulschaffranek.github.io/2023-12-07-trustx-the-symbolic-solidity-debugger/ 2023-12-07T00:00:00-05:00 https://raoulschaffranek.github.io/2024-03-30-eth-bucharest-exploring-time-and-space/ 2024-03-30T00:00:00-04:00 https://raoulschaffranek.github.io/2024-05-06-eth-cluj/ 2024-05-06T00:00:00-04:00 https://raoulschaffranek.github.io/2024-06-05-eth-belgrade-solidity-debugging-meets-formal-methods/ 2024-06-05T00:00:00-04:00 https://raoulschaffranek.github.io/2024-06-07-web3-security-summit/ 2024-06-07T00:00:00-04:00 https://raoulschaffranek.github.io/2024-07-08-securefi-panel/ 2024-07-08T00:00:00-04:00 https://raoulschaffranek.github.io/2024-09-06-formal-verification-for-dummies-episode-1/ 2024-09-06T00:00:00-04:00 https://raoulschaffranek.github.io/2024-09-12-formal-verification-for-dummies-episode-2/ 2024-09-12T00:00:00-04:00 https://raoulschaffranek.github.io/2024-09-20-formal-verification-for-dummies-episode-3/ 2024-09-20T00:00:00-04:00 https://raoulschaffranek.github.io/2024-11-08-defi-security-summit/ 2024-11-08T00:00:00-05:00 https://raoulschaffranek.github.io/2024-11-22-formal-verification-for-dummies-episode-4/ 2024-11-22T00:00:00-05:00 https://raoulschaffranek.github.io/aboutme/ https://raoulschaffranek.github.io/ https://raoulschaffranek.github.io/tags/