Search for "687" returned 1863 results
49 min
BREACH in Agda
Security notions, proofs and attacks using dependently…
32 min
Verified Firewall Ruleset Verification
Math, Functional Programming, Theorem Proving, and an…
57 min
"Fluxus cannot save the world."
What hacking has to do with avantgarde art of the 1960ies…
39 min
Hurra, diese Welt geht unter!?
Welche kollektiven Erzählungen brauchen wir, um in der…
41 min
"Was sind eigentlich Audio Interventionen?"
Von Sound Grafitti und Protest-Jingles
38 min
Wir müssen über KI sprechen
trotz des Hypes
30 min
On Computing Numbers, with an Application to Problems of our Society
Journalism ♥ Computer Science
28 min
Home Distilling
Theory and practice of moonshining and legal distilling
26 min
Hacking the World
The struggle for security for all.
62 min
HUMUS sapiens
Open Soil Research
59 min
Provable Security
How I learned to stop worrying and love the backdoor
61 min
Enclosure-PUF
Tamper Proofing Commodity Hardware and other Applications
57 min