For the confused reader, they probably meant thread, not threat.

I wrote this fuzzer together with Lucca and Steve in 2021 at Inria, Nancy. ToB allowed to pick up that novel fuzzing technique and push it even further.

If you want to read more about protocol verification using the Dolev-Yao model I can recommend this paper: https://ieeexplore.ieee.org/document/8418623

I'm expecting to see more great findings with further iterations on the fuzzer. LibAFL served as a basis for this project.

Fuzzer source: https://github.com/tlspuffin/tlspuffin

GitHub: https://github.com/maplibre/maplibre-rs Demo: https://webgl.demo.maplibre-rs.maplibre.org/

wgpu felt right for the project from the first minute. Let's just hope that the WebGPU succeed. But even if it does not, wgpu is still a great HAL

The step up from OpenGL is astounding and overdue. Vulkan is ok but also too much.

thats cool! sadly I haven't looked into rendering raster tiles for satellite imagery

Vector tiles are just much cooler! :D