Events for tag "Resilience"

The Internet in Cuba: A Story of Community Resilience

Get a unique tour of some of the world’s most unusual…

• 58 min
• 2017-12-30
• 2734
• Will Scott and kopek

Taming the Chaos: Can we build systems that actually work?

Possible paths from today's ghastly hackery to what…

• 58 min
• 2018-12-27
• 2328
• Peter Sewell

Analyze the Facebook algorithm and reclaim data sovereignty

Algorithms define your priorities. Who else besides you can…

• 63 min
• 2018-12-28
• 1148
• Claudio Agosti

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

• 61 min
• 2017-12-29
• 3887
• Adam Chlipala

Safe and Secure Drivers in High-Level Languages

How to write PCIe drivers in Rust, go, C#, Swift, Haskell,…

• 61 min
• 2018-12-29
• 6741
• Paul Emmerich, Simon Ellmann and Sebastian Voit

Wind: Off-Grid Services for Everyday People

Integrating nearby and offline connectivity with the…

• 60 min
• 2018-12-28
• 1159
• Hans-Christoph Steiner

The foodsaving grassroots movement

How cooperative online structures can facilitate…

• 37 min
• 2018-12-29
• 768
• Tilmann Becker, Nick sellen and Janina Abels

Sense without sight: a crash course on #BlindNavigation

• 59 min
• 2018-12-28
• 474
• Sai

Remo2hbo -Robustes und reparierbares Vitalparametermonitoring

Medizingeräte für Alle

• 46 min
• 2018-12-29
• 714
• Dagmar Krefting and Sebastian Jünemann

Bringing Linux back to server boot ROMs with NERF and Heads

• 29 min
• 2017-12-29
• 2661
• Trammell Hudson

Briar

Resilient P2P Messaging for Everyone

• 31 min
• 2017-12-30
• 2962
• Torsten Grote

Mietshäusersyndikat: den Immobilienmarkt hacken

Wie man ein Haus kaufen kann ohne es zu besitzen

• 30 min
• 2017-12-30
• 6390
• Anita Hopes

library operating systems

reject the default reality^W abstractions and substitute…

• 32 min
• 2017-12-30
• 747
• Mindy Preston

How does the Internet work?

An explanation of Inter-Net and everyday protocols

• 50 min
• 2018-12-27
• 6679
• Peter Stuge

Modern key distribution with ClaimChain

A decentralized Public Key Infrastructure that supports…

• 32 min
• 2017-12-30
• 817
• prometheas

Organisational Structures for Sustainable Free Software Development

• 31 min
• 2017-12-30
• 462
• mo

Cat & Mouse: Evading the Censors in 2018

Preserving access to the open Internet with circumvention…

• 55 min
• 2018-12-30
• 833
• kmc

A farewell to soul-crushing code

Towards correct software that enriches our lives

• 60 min
• 2018-12-28
• 2120
• Mike Sperber and Nicole Rauch

Growing Up Software Development

From Hacker Culture to the Software of the Future

• 31 min
• 2017-12-28
• 1898
• Mike Sperber

End-to-end formal ISA verification of RISC-V processors with riscv-formal

• 29 min
• 2017-12-27
• 1434
• Clifford Wolf

How Alice and Bob meet if they don't like onions

Survey of Network Anonymisation Techniques

• 61 min
• 2017-12-29
• 1857
• Tobias Mueller, Erik and Matthias

Matrix, the current status and year to date

• 39 min
• 2018-12-29
• 2875
• Ben Parsons from Matrix

Hardening Open Source Development

• 30 min
• 2017-12-30
• 929
• gronke

May contain DTraces of FreeBSD

• 30 min
• 2017-12-28
• 1529
• raichoo

How can you trust formally verified software?

• 28 min
• 2017-12-27
• 1753
• Alastair Reid

OONI: Let's Fight Internet Censorship, Together!

The Open Observatory of Network Interference

• 30 min
• 2017-12-29
• 494
• Arturo Filastò (hellais)

Censored Planet: a Global Censorship Observatory

• 56 min
• 2018-12-27
• 920
• Roya Ensafi

Repair-Cafés

… und warum ihr dabei mitmachen solltet

• 43 min
• 2018-12-29
• 1507
• Fraxinas

Scuttlebutt

The decentralized P2P gossip protocol

• 34 min
• 2018-12-27
• 3094
• Zenna / zelf

No evidence of communication and morality in protocols: Off-the-Record protocol version 4

• 44 min
• 2018-12-29
• 981
• Sofia Celi and Jurre van Bergen

Deep Learning Blindspots

Tools for Fooling the "Black Box"

• 53 min
• 2017-12-28
• 5835
• Katharine Jarmul

Planes and Ships and Saving Lives

How soft and hardware can play a key role in saving lives…

• 56 min
• 2018-12-29
• 793
• Trollofix

hacking disaster

mit Krisenintervention den Kapitalismus hacken

• 35 min
• 2017-12-27
• 7319
• Sebastian Jünemann

Practical Mix Network Design

Strong metadata protection for asynchronous messaging

• 46 min
• 2017-12-27
• 735
• David Stainton and jeffburdges

Ein Festival der Demokratie

Von Technik, Kollaborationen und Erreichtem zum G20-Gipfel…

• 61 min
• 2017-12-29
• 2404
• Daniel Möring (TINT Kollektiv), h01ger, nuriye@thereisnotime.net, maren@nadir.org and Oliver Gemballa