Search for "Maik" returned 1709 results

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

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

Finfisher verklagen
59 min

Finfisher verklagen

Rechtsbrüche beim Export von Überwachungssoftware

Safe and Secure Drivers in High-Level Languages
61 min

Safe and Secure Drivers in High-Level Languages

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

Was hat die PSD2 je für uns getan?
60 min

Was hat die PSD2 je für uns getan?

Pleiten, Pech und Pannen in der Zahlungsdiensteregulierung

c3 NewsShow + Brennpunkt "Flaschen"
21 min

c3 NewsShow + Brennpunkt "Flaschen"

Tag 3

The eXperimental Robot Project
50 min

The eXperimental Robot Project

An open-hardware bipedal walking machine

Risky Business?! – Rechte und Pflichten von IT-SicherheitsforscherInnen
50 min

Risky Business?! – Rechte und Pflichten von IT-SicherheitsforscherInnen

Infrastructure-Review + Closing
7 min

Infrastructure-Review + Closing

Scholz greift durch: Die AfD wird verboten - Deepfakes auch!
43 min

Scholz greift durch: Die AfD wird verboten - Deepfakes auch!

Das Zentrum für politische Schönheit und der Flyerservice…

Namensauflösung im Internet - ein neues Geschäftsmodell?
42 min

Namensauflösung im Internet - ein neues Geschäftsmodell?

Transmission Control Protocol
39 min

Transmission Control Protocol

TCP/IP basics

Fantastic build system failure modes and how to fix them
22 min

Fantastic build system failure modes and how to fix them

Vierjahresrückblick des CCC
115 min

Vierjahresrückblick des CCC

Nix los und viel zu tun

Die Faxgeräte im Zentrum der Macht
53 min

Die Faxgeräte im Zentrum der Macht

Security Nightmares 0x14
70 min

Security Nightmares 0x14

Was Sie schon immer nicht über darüber wissen wollten wer…

Stop general data retention in the EU – current plans for mass surveillance
89 min

Stop general data retention in the EU – current plans for mass surveillance

Practical bruteforce of military grade AES-1024
75 min

Practical bruteforce of military grade AES-1024

Attacking CPUs with Power Side Channels from Software: Warum leaked hier Strom? (en)
59 min

Attacking CPUs with Power Side Channels from Software: Warum leaked hier Strom? (en)

Hackerparagraph § 202c StGB // Reality Check
42 min

Hackerparagraph § 202c StGB // Reality Check

Cybercrime-Ermittlungen: Vorsicht vor der Polizei! Oder:…

Chaos Communication Camp 2023 Opening
23 min

Chaos Communication Camp 2023 Opening

Reproducible Builds, the first ten years
23 min

Reproducible Builds, the first ten years

Fridays for Future (de)
41 min

Fridays for Future (de)

Schule schwänzen für das Klima

Measuring radioactivity using low-cost silicon sensors
42 min

Measuring radioactivity using low-cost silicon sensors

A DIY particle physics detector in a tin box.

Demystifying Network Cards
31 min

Demystifying Network Cards

Things you always wanted to know about NIC drivers

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…