Search for "Ari" returned 5383 results

The seizure of the Iuventa
32 min

The seizure of the Iuventa

How search and rescue in the mediterranean was criminalized

Liberté, Égalité, Fraternité... and privacy ?!
64 min

Liberté, Égalité, Fraternité... and privacy ?!

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

The Yes Men from Tricksters in an age of dirty tricks
65 min

The Yes Men from Tricksters in an age of dirty tricks

Let's Encrypt -- What launching a free CA looks like
60 min

Let's Encrypt -- What launching a free CA looks like

Das Diskmags-Projekt
42 min

Das Diskmags-Projekt

Frühes digitales Kulturerbe aufbereiten für Forschung und…

Wikicite panel
25 min

Wikicite panel

When hardware must „just work“
58 min

When hardware must „just work“

An inside look at x86 CPU design

Formal Verification of Verilog HDL with Yosys-SMTBMC
52 min

Formal Verification of Verilog HDL with Yosys-SMTBMC

THE DATABASE NATION, a.k.a THE STATE OF SURVEILLANCE
62 min

THE DATABASE NATION, a.k.a THE STATE OF SURVEILLANCE

Calafou, postcapitalist ecoindustrial community
62 min

Calafou, postcapitalist ecoindustrial community

Building a space for grassroots sustainable technology…

Telescope Making
69 min

Telescope Making

How to make your own telescope

New usages of Wikidata to support underserved language communities
26 min

New usages of Wikidata to support underserved language communities

net neutrality: days of future past?
60 min

net neutrality: days of future past?

Taking stock after two years of net neutrality in the…

Geolocation methods in mobile networks
30 min

Geolocation methods in mobile networks

30C3 Keynote
55 min

30C3 Keynote

Programming with dependent types in Idris
56 min

Programming with dependent types in Idris

Hacking the World
26 min

Hacking the World

The struggle for security for all.

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs
59 min

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs

Weichenstellung
61 min

Weichenstellung

In welcher digitalen Welt werden wir leben?

BGP and the Rule of Custom
31 min

BGP and the Rule of Custom

How the internet self-governs without international law

Tor: Hidden Services and Deanonymisation
63 min

Tor: Hidden Services and Deanonymisation

Prototype Fund Hardware: Einblicke & Ausblicke
31 min

Prototype Fund Hardware: Einblicke & Ausblicke

Cloudcalypse: It looks like you've reached the end. How to take your data into net2o
46 min

Cloudcalypse: It looks like you've reached the end. How to take your data into net2o

HAL - The Open-Source Hardware Analyzer
60 min

HAL - The Open-Source Hardware Analyzer

A dive into the foundations of hardware reverse engineering…