Search for "【"m" returned 11762 results

How can you trust formally verified software?
28 min

How can you trust formally verified software?

Low Cost Non-Invasive Biomedical Imaging
35 min

Low Cost Non-Invasive Biomedical Imaging

An Open Electrical Impedance Tomography Project

Monero Hardware Development
63 min

Monero Hardware Development

Gamified Control?
39 min

Gamified Control?

China's Social Credit Systems

Monerujo - Android Monero Wallet
44 min

Monerujo - Android Monero Wallet

KRACKing WPA2 by Forcing Nonce Reuse
61 min

KRACKing WPA2 by Forcing Nonce Reuse

Lets break modern binary code obfuscation
60 min

Lets break modern binary code obfuscation

A semantics based approach

A simulator for sketching mesh net routing algorithms
27 min

A simulator for sketching mesh net routing algorithms

Relativitätstheorie für blutige Anfänger
32 min

Relativitätstheorie für blutige Anfänger

Raum, Zeit, Licht und Gravitation, wie hängt das zusammen?

Algorithmic science evaluation and power structure: the discourse on strategic citation and 'citation cartels'
31 min

Algorithmic science evaluation and power structure: the discourse on strategic citation…

Unleash your smart-home devices: Vacuum Cleaning Robot Hacking
31 min

Unleash your smart-home devices: Vacuum Cleaning Robot Hacking

Why is my vacuum as powerful as my smartphone?

1-day exploit development for Cisco IOS
45 min

1-day exploit development for Cisco IOS

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

T-Minus Zero
38 min

T-Minus Zero

The first days in the life of the "Flying Laptop" satellite

Catch me if you can: Internet Activism in Saudi Arabia
30 min

Catch me if you can: Internet Activism in Saudi Arabia

Squeezing a key through a carry bit
50 min

Squeezing a key through a carry bit

Tightening the Net in Iran
47 min

Tightening the Net in Iran

The Situation of Censorship and Surveillance in Iran, and…

Microarchitectural Attacks on Trusted Execution Environments
55 min

Microarchitectural Attacks on Trusted Execution Environments

Die göttliche Informatik
61 min

Die göttliche Informatik

Die Informatik löst formale (mathematisch modellierte)…

Eröffnung: tuwat
21 min

Eröffnung: tuwat

Privacy-Oriented Distributed Networking for an Ethical Internet - including 50 subsystems of GNUnet
46 min

Privacy-Oriented Distributed Networking for an Ethical Internet - including 50 subsystems…

Modeling Trust in a Distributed Private Social Network - secushare.org
21 min

Modeling Trust in a Distributed Private Social Network - secushare.org

Ecstasy 10x yellow Twitter 120mg Mdma
29 min

Ecstasy 10x yellow Twitter 120mg Mdma

Shipped from Germany for 0.1412554 Bitcoins

Die fabelhafte Welt des Mobilebankings
33 min

Die fabelhafte Welt des Mobilebankings

Namecoin as a Decentralized Alternative to Certificate Authorities for TLS
44 min

Namecoin as a Decentralized Alternative to Certificate Authorities for TLS