Search for ".ibt" returned 9086 results

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes
69 min

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes

Amtliche Orthofotos zentral verfügbar: Eine Open-Source-Lösung für Deutschland
3 min

Amtliche Orthofotos zentral verfügbar: Eine Open-Source-Lösung für Deutschland

The Virtual Machine Architecture of "Infernal Runner"
60 min

The Virtual Machine Architecture of "Infernal Runner"

Nix for HPC: the case of cudaPackages
7 min

Nix for HPC: the case of cudaPackages

HUMUS sapiens
62 min

HUMUS sapiens

Open Soil Research

Trouble testing Kubernetes on your bespoke cloud? Kubetest2 to the rescue!
30 min

Trouble testing Kubernetes on your bespoke cloud? Kubetest2 to the rescue!

A step by step guide on writing a custom Kubetest2 Deployer…

Rust als Erstsprache?
46 min

Rust als Erstsprache?

SIMD in Higher Level Programming Languages
42 min

SIMD in Higher Level Programming Languages

Compiling to Nix: A Quick Overview
6 min

Compiling to Nix: A Quick Overview

Balkonkraftwerk ohne Balkon oder: wie ich lernte, Lobbyistin zu sein
64 min

Balkonkraftwerk ohne Balkon oder: wie ich lernte, Lobbyistin zu sein

OT Cyberchallenges
56 min

OT Cyberchallenges

The Rocky Road to TLS 1.3 and better Internet Encryption
60 min

The Rocky Road to TLS 1.3 and better Internet Encryption

The Only Thing We Know About Cyberspace Is That Its 640x480
60 min

The Only Thing We Know About Cyberspace Is That Its 640x480

One Terabyte of Kilobyte Age

Patterns hiding in DRAM initialization
62 min

Patterns hiding in DRAM initialization

Dokumentationsgetriebenes Monitoring mit NetBox und Prometheus
20 min

Dokumentationsgetriebenes Monitoring mit NetBox und Prometheus

Packaging Rust Applications for Arch Linux
19 min

Packaging Rust Applications for Arch Linux

Suing spyware in Europe: news from the front!
56 min

Suing spyware in Europe: news from the front!

Wir können dich durchschauen
46 min

Wir können dich durchschauen

Bildgebung in der Medizin

KOY Tastaturlayout
26 min

KOY Tastaturlayout

TVLuke über physikalischen Spam [Fünf-Minuten-Termine]
4 min

TVLuke über physikalischen Spam [Fünf-Minuten-Termine]

WSL, PowerShell & Chocolatey: Ein Hauch von Linux
48 min

WSL, PowerShell & Chocolatey: Ein Hauch von Linux

Geber, Newton, Thoth: What Alchemy Tells Us About Modern Science
19 min

Geber, Newton, Thoth: What Alchemy Tells Us About Modern Science

Anonymität nach Tor
54 min

Anonymität nach Tor

Building and maintaining large-scale data leak databases
17 min

Building and maintaining large-scale data leak databases

r0ket++
49 min

r0ket++

The CCC-Badge