{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification - A Peek at a New\" src=\"https://video.typesafe.org/videos/embed/4SQBnsiQFpWFytgKCsXhwC\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification - A Peek at a New","author_name":"DEF CON","author_url":"https://video.typesafe.org/video-channels/defcon","provider_name":"PeerTube","provider_url":"https://video.typesafe.org","thumbnail_url":"https://video.typesafe.org/lazy-static/previews/907df8d2-4737-4f1c-9c99-7103cbb6f48f.jpg","thumbnail_width":850,"thumbnail_height":480}