Search for "Yu Ding" returned 2090 results
32 min
Verified Firewall Ruleset Verification
Math, Functional Programming, Theorem Proving, and an…
42 min
Domain Name System
Hierarchical decentralized naming system used since 30 years
37 min
Information Biology - Investigating the information flow in living systems
From cells to dynamic models of biochemical pathways and …
95 min
Platform System Interface
Design und Evaluation holistischer Computerarchitektur
51 min
Virtual Secure Boot
Secure Boot support in qemu, kvm and ovmf.
29 min
Hacking collective as a laboratory
Hackers' knowledge studied by sociologist of science
38 min
A deep dive into the world of DOS viruses
Explaining in detail just how those little COM files…
54 min
Tactical Embodiment
Activism and Performance In Hostile Spaces Online
58 min
Self-encrypting deception
weaknesses in the encryption of solid state drives (SSDs)
61 min
Holography of Wi-Fi radiation
Can we see the stray radiation of wireless devices? And…
60 min
Quantum Cryptography
from key distribution to position-based cryptography
59 min
De-anonymizing Programmers
Large Scale Authorship Attribution from Executable Binaries…
62 min
A hacker's guide to Climate Change - What do we know and how do we know it?
An introduction to the basics of climate research and what…
64 min
On the Security and Privacy of Modern Single Sign-On in the Web
(Not Only) Attacks on OAuth and OpenID Connect
63 min
Reproducible Builds
Moving Beyond Single Points of Failure for Software…
26 min
Data Mining for Good
Using random sampling, entity resolution, communications…
60 min
