Search for "578" returned 1911 results

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Domain Name System
42 min

Domain Name System

Hierarchical decentralized naming system used since 30 years

Netzpolitik in der Schweiz
60 min

Netzpolitik in der Schweiz

NDG, BÜPF und wie wir uns dagegen wehren

Finding the Weak Crypto Needle in a Byte Haystack
32 min

Finding the Weak Crypto Needle in a Byte Haystack

Automatic detection of key-reuse vulnerabilities

Home Distilling
28 min

Home Distilling

Theory and practice of moonshining and legal distilling

Hacking the World
26 min

Hacking the World

The struggle for security for all.

Security Nightmares 0x14
70 min

Security Nightmares 0x14

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

Hebocon
36 min

Hebocon

The sumo robot fight for the technically ungifted

Electronic Evicence in Criminal Matters
46 min

Electronic Evicence in Criminal Matters

An introduction and critique of the EC proposal for a…