Events for tag "Resilience"

Safe and Secure Drivers in High-Level Languages

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

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

Matrix, the current status and year to date

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

Planes and Ships and Saving Lives

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

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

Briar

Resilient P2P Messaging for Everyone

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

Scuttlebutt

The decentralized P2P gossip protocol

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

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

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

Organisational Structures for Sustainable Free Software Development

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

How does the Internet work?

An explanation of Inter-Net and everyday protocols

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

library operating systems

reject the default reality^W abstractions and substitute…

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

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

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

Mietshäusersyndikat: den Immobilienmarkt hacken

Wie man ein Haus kaufen kann ohne es zu besitzen

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

Analyze the Facebook algorithm and reclaim data sovereignty

Algorithms define your priorities. Who else besides you can…

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

Cat & Mouse: Evading the Censors in 2018

Preserving access to the open Internet with circumvention…

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

Deep Learning Blindspots

Tools for Fooling the "Black Box"

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

Remo2hbo -Robustes und reparierbares Vitalparametermonitoring

Medizingeräte für Alle

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

Ein Festival der Demokratie

Von Technik, Kollaborationen und Erreichtem zum G20-Gipfel…

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

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

Survey of Network Anonymisation Techniques

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

The foodsaving grassroots movement

How cooperative online structures can facilitate…

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

A farewell to soul-crushing code

Towards correct software that enriches our lives

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

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

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

OONI: Let's Fight Internet Censorship, Together!

The Open Observatory of Network Interference

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

Repair-Cafés

… und warum ihr dabei mitmachen solltet

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

Hardening Open Source Development

• 30 min
• 2017-12-30
• 887
• gronke

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

Possible paths from today's ghastly hackery to what…

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

hacking disaster

mit Krisenintervention den Kapitalismus hacken

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

Bringing Linux back to server boot ROMs with NERF and Heads

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

Sense without sight: a crash course on #BlindNavigation

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

Censored Planet: a Global Censorship Observatory

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

Growing Up Software Development

From Hacker Culture to the Software of the Future

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

How can you trust formally verified software?

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

Modern key distribution with ClaimChain

A decentralized Public Key Infrastructure that supports…

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

Practical Mix Network Design

Strong metadata protection for asynchronous messaging

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

May contain DTraces of FreeBSD

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

Wind: Off-Grid Services for Everyday People

Integrating nearby and offline connectivity with the…

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

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
• 2432
• Will Scott and kopek