Mario Lins

@coderlime.bsky.social

Security Researcher (https://coderlime.at), co-founder of Light Squares Ltd (https://lightsquares.dev) and CEO of Lins Security GmbH (https://linssecurity.com).

Had a look at how cargo-vet is doing (spoiler: growing quickly). I really enjoy it for my projects and was wondering how projects deal with audit burden (especially with many crate updates). Wrote up a little summary here: lightsquares.dev/blog/cargo-v... 🦀

A look at cargo-vet in 2026

Cargo-vet requires audits of third-party Rust dependencies before they ship. We analyzed 408 open-source projects to measure adoption, audit workload, exemptions, and audit lag.

lightsquares.dev

If you want to make a copy of the entire Bluesky network (or some subset of it, or some other app built on atproto), Tap is now the best way do do it. I hope this will enable more people do do, for example, interesting social network analysis research

daniel holmgren 🫠@dholms.at · 9mo ago

finally landed it! Tap is your all-in-one sync tool for the Atmosphere: webhooks, backfill, filtering, signaling collections, no cbor/msts/signatures/cursors. this thing's got it all! give it a go and let me know what you think & if you run into any issues docs.bsky.app/blog/introdu...

How to trust that the binaries that we deploy are truthfully built from the correct source code? 🤝 Just back from ACM CCS '25 🌏 where we presented Attestable Builds as a solution to this challenge. It complements Reproducible Builds and uses TEEs as a trust anchor. With @coderlime.bsky.social

The picture shows Mario and Daniel presenting the last slide of their presentation at ACM CCS 2025 in Taipei. The text on the slide reads: A-Bs provide source-to-binary provenance using TEEs and sandboxing; complements Reproducible Builds and both can be combined in an any-trust model; practical evaluation (see our GitHub) and formal verification using Tamarin.