Search for "DI" returned 9941 results

What have you done against covid
46 min

What have you done against covid

(a personal retrospective)

Formal Verification of Verilog HDL with Yosys-SMTBMC
52 min

Formal Verification of Verilog HDL with Yosys-SMTBMC

The Gospel of IRMA
55 min

The Gospel of IRMA

Attribute Based Credentials in Practice

Fundamentals of EEG based Brain-Computer Interfaces
20 min

Fundamentals of EEG based Brain-Computer Interfaces

🌟 B&B Panel: Enabling Democratic Discourse Beyond Privatized Digital Public Spheres (EN)
61 min

🌟 B&B Panel: Enabling Democratic Discourse Beyond Privatized Digital Public Spheres (EN)

UPSat - the first open source satellite
33 min

UPSat - the first open source satellite

Going to space the libre way

3D geo data in the Mapbox-gl viewer with 3D tiles
16 min

3D geo data in the Mapbox-gl viewer with 3D tiles

SCADA - Gateway to (s)hell
45 min

SCADA - Gateway to (s)hell

Hacking industrial control gateways

The state of ARM - a 64bit view of what does/doesn't work
24 min

The state of ARM - a 64bit view of what does/doesn't work

Crowdsourcing Genome Wide Association Studies
45 min

Crowdsourcing Genome Wide Association Studies

Freeing Genetic Data from Corporate Vaults

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

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

Thunderbolt 3 hardware enablement for GNU/Linux
23 min

Thunderbolt 3 hardware enablement for GNU/Linux

PolyCoin - A game played across MCH
36 min

PolyCoin - A game played across MCH

How it works and what is inside it

Internet of toilets
35 min

Internet of toilets

Trends in the sanitarian territory

Protecting the Wild
57 min

Protecting the Wild

Conservation Genomics between Taxonomy, Big Data,…

Reading politics of the supposedly neutral
21 min

Reading politics of the supposedly neutral

Green Coding - Measuring energy use of arbitrary applications and software stacks (EN)
53 min

Green Coding - Measuring energy use of arbitrary applications and software stacks (EN)

Intelexit
60 min

Intelexit

Calling secret service agents to quit their jobs

Quantum Cryptography
60 min

Quantum Cryptography

from key distribution to position-based cryptography

Practical Mix Network Design
46 min

Practical Mix Network Design

Strong metadata protection for asynchronous messaging

Hardening hardware and choosing a #goodBIOS
47 min

Hardening hardware and choosing a #goodBIOS

Clean boot every boot - rejecting persistence of malicious…

The Great Migration? (Part 2)
31 min

The Great Migration? (Part 2)

Not this again. But wait! Maybe...

PQCHacks
60 min

PQCHacks

A gentle introduction to post-quantum cryptography

cryptocurrencies, smart contracts, etc.: revolutionary tech?
69 min

cryptocurrencies, smart contracts, etc.: revolutionary tech?

short answer: Yes!

CloudABI
62 min

CloudABI

Pure capability-based security for UNIX