×

34c3-9105-eng-deu-Coming_Soon_Machine-Checked_Mathematical_Proofs_in_Everyday_Software_and_Hardware_Development_hd-slides.mp4

Home / Discover /cdn.media.ccc.de/congress/34c3/slides-h264-hd/

  Parent Folder


34c3-9105-eng-deu-Coming_Soon_Machine-Checked_Mathematical_Proofs_in_Everyday_Software_and_Hardware_Development_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9104-eng-deu-fra-How_Alice_and_Bob_meet_if_they_dont_like_onions_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9106-eng-deu-Pointing_Fingers_at_The_Media_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9095-deu-eng-Antipatterns_und_Missverstaendnisse_in_der_Softwareentwicklung_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9110-eng-deu-History_and_implications_of_DRM_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9111-eng-deu-Public_FPGA_based_DMA_Attacking_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9094-eng-deu-fra-Modern_key_distribution_with_ClaimChain_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9113-eng-deu-MQA_-_A_clever_stealth_DRM-Trojan_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9092-deu-eng-Ladeinfrastruktur_fuer_Elektroautos_Ausbau_statt_Sicherheit_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9087-eng-deu-Organisational_Structures_for_Sustainable_Free_Software_Development_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9119-deu-eng-Ein_Festival_der_Demokratie_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9125-eng-deu-fra-Net_Neutraliy_Enforcement_in_the_EU_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9086-eng-deu-Protecting_Your_Privacy_at_the_Border_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9134-deu-eng-Es_sind_die_kleinen_Dinge_im_Leben_II_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9085-eng-deu-spa-Uncertain_Concern_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9135-eng-deu-ASLR_on_the_line_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9077-eng-deu-spa-Humans_as_software_extensions_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9138-eng-deu-Closing_the_loop_Reconnecting_social-technologial_dynamics_to_Earth_System_science_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9075-eng-deu-LatticeHacks_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   
34c3-9142-deu-eng-Resilienced_Kryptographie_hd-slides.mp4
MP4 7 years ago 10 bytes
Copy Link   

Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.