Search for "smtw" returned 58 results

Formal Verification of Verilog HDL with Yosys-SMTBMC
52 min

Formal Verification of Verilog HDL with Yosys-SMTBMC

Legacy IP? Gibts nicht mehr. Aber kein Netz ist auch keine Lösung. Modernes IP aus Sicht eines "Research Networks"
22 min

Legacy IP? Gibts nicht mehr. Aber kein Netz ist auch keine Lösung. Modernes IP aus Sicht…

Attacking end-to-end email encryption
60 min

Attacking end-to-end email encryption

Efail, other attacks and lessons learned.

Demystifying eSIM Technology
57 min

Demystifying eSIM Technology

Bring Your Own IDentity
48 min

Bring Your Own IDentity

Delta Chat messenger
19 min

Delta Chat messenger

unlocking the potential of e-mail and the web

How can you trust formally verified software?
28 min

How can you trust formally verified software?

Gemeinsam Gesichter-Suchmaschinen stoppen
25 min

Gemeinsam Gesichter-Suchmaschinen stoppen

RFC 9420 or how to scale end-to-end encryption with Messaging Layer Security
40 min

RFC 9420 or how to scale end-to-end encryption with Messaging Layer Security

Eine kurze Einführung in die Signalisierung von Gruppe 3 Fernkopierer
21 min

Eine kurze Einführung in die Signalisierung von Gruppe 3 Fernkopierer

LibreSilicon
60 min

LibreSilicon

Decentralizing semiconductor manufacturing

High-assurance crypto software
61 min

High-assurance crypto software

Hacker Jeopardy
120 min

Hacker Jeopardy

Zahlenraten für Geeks

OpenPGP-verschlüsselte Mails mit Python
31 min

OpenPGP-verschlüsselte Mails mit Python

IFG – Mit freundlichen Grüßen
33 min

IFG – Mit freundlichen Grüßen

Neue Energie für die Informationsfreiheit

Deploying TLS 1.3: the great, the good and the bad
61 min

Deploying TLS 1.3: the great, the good and the bad

Improving the encrypted the web, one round-trip at a time

Domain Name System
42 min

Domain Name System

Hierarchical decentralized naming system used since 30 years

SCADA StrangeLove 2
41 min

SCADA StrangeLove 2

We already know

BBSs and early Internet access in the 1990ies
61 min

BBSs and early Internet access in the 1990ies

Modems, FIDO, Z-Netz, Usenet, UUCP, SLIP and ISDN

Now I sprinkle thee with crypto dust
61 min

Now I sprinkle thee with crypto dust

Internet reengineering session

Bullshit made in Germany
60 min

Bullshit made in Germany

So hosten Sie Ihre De-Mail, E-Mail und Cloud direkt beim…

Cryptography demystified
53 min

Cryptography demystified

An introduction without maths

Tor onion services: more useful than you think
60 min

Tor onion services: more useful than you think

Warum in die Ferne schweifen, wenn das Ausland liegt so nah?
60 min

Warum in die Ferne schweifen, wenn das Ausland liegt so nah?

Erinnerungen aus dem virtuellen Ausland in Frankfurt,…

Restreale Technikgeschichte(n)
45 min

Restreale Technikgeschichte(n)