Search for "Yu Ding" returned 2090 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

Painting Tech Dystopia: How the West tells itself fairytales about Asia - and believes they are real
51 min

Painting Tech Dystopia: How the West tells itself fairytales about Asia - and believes…

Evolution of Brain-Computer Interfaces
35 min

Evolution of Brain-Computer Interfaces

The future of Neuro-Headsets and concepts towards…

Verhalten bei Hausdurchsuchungen
61 min

Verhalten bei Hausdurchsuchungen

Praktische Hinweise für den Kontakt mit der Staatsmacht

Modernizing Wikipedia
38 min

Modernizing Wikipedia

Degrowth is coming - be ready to repair
59 min

Degrowth is coming - be ready to repair

Rebel Cities
33 min

Rebel Cities

Towards A Global Network Of Neighbourhoods And Cities…

Surviving marriage using Wikidata
30 min

Surviving marriage using Wikidata

Software Defined Emissions
60 min

Software Defined Emissions

A hacker’s review of Dieselgate

India's Surveillance State
51 min

India's Surveillance State

Beyond Anti Evil Maid
60 min

Beyond Anti Evil Maid

Making it easier to avoid low-level compromise, and why…

The Rocky Road to TLS 1.3 and better Internet Encryption
60 min

The Rocky Road to TLS 1.3 and better Internet Encryption

Virtual Machine Introspection
58 min

Virtual Machine Introspection

From the Outside Looking In

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

JODI - Apache is functioning normally
31 min

JODI - Apache is functioning normally

A net.art collective since 1995. Understanding the browser…

Hacking Ecology
60 min

Hacking Ecology

How Data Scientists can help to avoid a sixth global…

Home Distilling
28 min

Home Distilling

Theory and practice of moonshining and legal distilling

Everything you want to know about x86 microcode, but might have been afraid to ask
57 min

Everything you want to know about x86 microcode, but might have been afraid to ask

An introduction into reverse-engineering x86 microcode and…

Locked up science
41 min

Locked up science

Tearing down paywalls in scholarly communication

Wikidata Statistics: What, Where, and How?
25 min

Wikidata Statistics: What, Where, and How?

Lützerath Lebt! Einblicke in den Widerstand
44 min

Lützerath Lebt! Einblicke in den Widerstand

Für globale Klimagerechtigkeit kämpfen

Apple's iPhone 15: Under the C
36 min

Apple's iPhone 15: Under the C

Hardware hacking tooling for the new iPhone generation

Updates von der europäischen Außengrenze
41 min

Updates von der europäischen Außengrenze

Science is broken
30 min

Science is broken

How much can we trust science in light failed replications,…

Don't Ruck Us Too Hard - Owning Ruckus AP Devices
48 min

Don't Ruck Us Too Hard - Owning Ruckus AP Devices

3 different RCE vulnerabilities on Ruckus Wireless access…