Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Starting soon… Verified Firewall Ruleset Verif...

view this post on Zulip Email Gateway (Aug 22 2022 at 12:06):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
https://events.ccc.de/congress/2015/Fahrplan/events/7195.html

Florian
signature.asc

view this post on Zulip Email Gateway (Aug 22 2022 at 12:06):

From: Manuel Eberl <eberlm@in.tum.de>
https://cdn.media.ccc.de/congress/32C3/h264-hd/32c3-7195-en-de-Verified_Firewall_Ruleset_Verification_hd.mp4

view this post on Zulip Email Gateway (Aug 22 2022 at 12:06):

From: Lars Hupel <hupel@in.tum.de>

Very interesting. Is there a recording of the original sound -- without
the German translation?

Not sure about the web player widget, but the video download
(<http://cdn.media.ccc.de/congress/2015/h264-hd/32c3-7195-en-de-Verified_Firewall_Ruleset_Verification_hd.mp4>)
has both audio tracks.

Cheers
Lars

Last updated: Nov 21 2024 at 12:39 UTC