Toggle navigation
test1
test2
test3
C3Subtitles
Lukas Schieren
Proving stuff in Isabelle. Computer networks and security.
Infos
Event(s):
32. Chaos Communication Congress
Language(s):
English
Track(s):
Science
Links:
Academic activities
@popitter_net @ twitter
Iptables_Semantics at github
Statistics
Nothing yet? :(
Create more subtitles!
0.0% Checking done
0.0%
0.0% Syncing done
0.0%
0.0% Transcribing done
0.0%
100.0% Nothing done yet
100.0%
Verified Firewall Ruleset Verification
Event
32c3
Date
Dec. 28, 2015, 4:30 p.m.
Language
English
Video-Duration
00:32:30
Speaker
Lukas Schieren
en:
0.0% Checking done
0.0%
0.0% Syncing done
0.0%
0.0% Transcribing done
0.0%
100.0% Nothing done yet
100.0%
Last revision: 3 years, 11 months ago