# A Unified Framework for Formal Verification of Vyper Bytecode using Halmos

- Speakers: [Lucas
Goiriz ](https://streameth.org/speakers/lucas-goiriz)
- Event: [Secureum TrustX](https://streameth.org/secureum/secureum_trustx), Main Stage Secureum TrustX Istanbul
- Channel: [Secureum](https://streameth.org/secureum)
- Date: 2023-11-13
- Duration: 12:52
- Watch: https://streameth.org/watch/65b8f8d1a5b2d09b88ec1413
- Download: https://vod-cdn.lp-playback.studio/raw/jxf4iblf6wlsyor6526t4tcmtmqa/catalyst-vod-com/hls/7cd9n116kh9r6wih/1080p0.mp4

## About the speakers

### Lucas
Goiriz 

Scientific Researcher, CSIC JSR, Spearbit