Submissions by fanf2

SEninja: Symbolic execution plugin for Binary Ninja

Rust programs written in Rust, without Libc

Always-on processor magic: how "Find My" works while iPhone is powered off

CPL elementary programming manual [pdf]

Dr Russell Barkley's 30 essential ideas everybody needs to know about ADHD. (Y [video]

Does using Rust make DNS name decompression safer?

ARMv8 instruction set overview [pdf]

One size fits none: everything you learned in your DBMS class is wrong

An iOS dlsym() PAC calculation bug

Breaking down multipart parsers: file upload validation bypass

A critical bibliography about the pirate site LibGen

See a PostgreSQL query, byte by byte, over TLS

Macros in the Dart Programming Language

Better Binary Quantization (BBQ) in Lucene and Elasticsearch

Probabilistic programming: doing statistics using the tools of computer science

Fuzzing TLS certificates from their ASN.1 grammar

Compile-time speed analysis of compiler frameworks for database query compilatio [pdf]

Reasons Kubernetes is so complex (2022)

Internal Combustion Engine

Birth of the Bazel

TOTP Key URI Format

Fundamental flaws of SIMD ISAs (2021)

International meteor organization / international fireball program: amateur data

Memento filter: a fast, dynamic, and robust range filter

Reproducible builds for Debian: a big step forward

Proving a stupid sort algorithm with Dafny

Misconceptions about static analysis of loops in C (2024)