lukas seidel
lukas seidel
@pr0me.bsky.social
Firmware Security • Embedded Systems • AI x Infosec • Researcher @binarly • PhD Candidate @TUBerlin • Capturing Flags with ENOFLAG
420 followers209 following54 posts
lukas seidel reposted
📢 Excited to announce that the results on BaseBridge, our project on improving cellular baseband emulation, are going public this week. Dyon will present at IEEE S&P on Monday 3pm, while David and I will be on stage at @offensivecon.bsky.social on Saturday 11am with even more details! 1/6
new CCS workshop on decompilation, reversing, root cause analysis, debugging, etc. 👀
We are excited to announce that the 1st Workshop on Software Understanding and Reverse Engineering (SURE) will be co-located at ACM CCS 2025 in Taiwan! We invite the community to submit their awesome research sure-workshop.org/. So, what is SURE? More in the 🧵
the guy who reversed the denuvo drm @momo5502.bsky.social works on a high-perf windows emulator for security research. I noticed that it supports icicle as a backend, a fuzzing-specific emulator. awesome to see academic work being continuously developed and making it into the real world
the paper by Michael Chesser et al. is a good read in any case: arxiv.org/pdf/2301.13346 Sogen Windows emulator: github.com/momo5502/sogen
the recording of my talk "Rethinking Emulation for Fu(zzi)n(g) and Profit: Near-Native Rehosting for Embedded ARM Firmware" is online! I had an absolute blast speaking and being at @re-verse.io, so many great talks and hallway discussions
We were slow with the last video update so we figured we'd do a two for one! Lukas talks about rehosting firmware for fuzzing (youtu.be/o_ckTnTQlfs) and Robin shows off a fantastic new tool for exploring code relationships beyond single binaries (www.youtube.com/watch?v=LsDn...)
more exciting stuff coming to libAFL @aflplusplus.bsky.social , including a binary-only ASan implementation in Rust for QEMU and integration with the unicorn emulator! reminds me of how @dmnk.bsky.social and I got the unicornafl rust bindings up and running to fuzz some basebands 5 years ago
some convenient features coming to binja, incl. auto-classification of embedded devices based on peripheral accesses making firmware hacking maybe a little less painful cc @stacksmashing.bsky.social
We've been teasing it for a while, but the full features of Firmware Ninja are officially available on dev and will be in the 5.0 release later this month! Doing reverse engineering of embedded firmware? Check out how FWN can make your life better:
beautiful and incredibly interesting talk on reverse engineering the OG xbox by @ret2systems.bsky.social's Markus, incl. building a custom interposer to upgrade the CPU a deep dive into hardware hacking, an ode to hw engineering and a call for software-focused researchers to try new things
Our first video from RE//verse 2025 is live! Part journey of personal discovery, part technical deep-dive, this presentation from Markus Gaasedelen was the highest rated in the feedback survey and is a must-see talk:
libAFL is a beast. it has so many settings to tweak, different modes to select and the code can be quite scary at first. but writing a target-specific custom fuzzer is super powerful! to get started, Trail of Bits just published a nice primer: appsec.guide/docs/fuzzing...
thank you so much Vector35, @psifertex.bsky.social et al. for a great conference! also thanks to Binarly, it's always great to hang out with the team!
excellent blog post on garbage collectors: "Memory Hell" it addresses many of humanity's great questions: - do we actually know how to do garbage collection? - pointers, indices or handlers? - and what are typesafe use-after-frees?
Your slides ended up inspiring me to write a veritable treatise of a blog post on how implementing garbage collection in a memory / type safe engine can, is, and ought to be done. It's a bit of a ramble, maybe, but also a direct response to your excellent questions <3 trynova.dev/blog/memory-...
lukas seidel reposted
2024 was a significant year for decompilation, constituting a possible resurgence in the field. Major talks, the thirty-year anniversary of research, movements in AI, and an all-time high for top publications in decompilation. Join me for a retrospective: mahaloz.re/dec-progr...
lukas seidel reposted
Rehost embedded ARM firmware at near-native speeds! Lukas Seidel @pr0me.bsky.social introduces SAFIREFUZZ, achieving 690x fuzzing throughput with ARM Cortex-M firmware. Dive into instruction rewriting, emulation, and performance gains. https://re-verse.sessionize.com/session/784004 #REverse2025
www.mdpi.com/1999-5903/17... by Zhou et al.
lukas seidel reposted
Hooked on computer security, adversarial learning, or even both? 🤩 The BIFOLD Graduate School has 10 open PhD positions! Join us in vibrant Berlin to work with top-notch researchers on machine learning, data management, and, of course, security! 🔗 mlsec.org/jobs.html#jobs
lukas seidel reposted
RULECOMPILE - Undocumented Ghidra decompiler rule language. A blog post about how frustration with poor decompilation led me to dive deep into Ghidra's decompiler to discover (and reverse-engineer) - an obscure, undocumented DSL msm.lt/re/ghidra/ru... #reverseengineering #ghidra
[1] media.ccc.de/v/38c3-hacki... by Aedan Cullen (initial challenge / bounty by @hextreeio.bsky.social ) [2] media.ccc.de/v/38c3-hacki... by PistonMiner [3] voidstarsec.com/blog/jtag-pi... by voidstarsec
[4] github.com/onekey-sec/B... by onekey_sec [5] www.binarly.io/blog/pkfail-... by @binarly.bsky.social [6] github.com/tomasz-lisow... by @nsinusr.bsky.social et al. [7] security.googleblog.com/2024/09/depl... by @dmnk.bsky.social et al.
lukas seidel reposted
recovering a satellite by creatively using existing telecommands and overwriting vtables to persistently add new commands without needing to touch (and risk breaking) the running OBC firmware. also, because that firmware didn't have an update mechanism incredible talk! media.ccc.de/v/38c3-hacki...
lukas seidel reposted
My videos for Flare-On 2024 are live! Watch me reverse engineer all the challenges from start to end. 🎉🥳 + Commentary video featuring SuperFashi, where we review the chals together. * 45 hours of content * 400+ GB of raw footage Merry Christmas! Link: www.youtube.com/watch?v=vwW9...
lukas seidel reposted
In case you missed it from #LABScon24: BINARLY’s @matrosov.bsky.social and @pagabuc.bsky.social reveal their research into a firmware supply-chain security issue that affected major device vendors and hundreds of models, PKfail. 📺 Watch the full video: s1.ai/PKfail
lukas seidel reposted
Is your GPU trustworthy? 🤔 Today, Julian presents our work on implanting machine learning backdoors in hardware at @acsacconf.bsky.social. Our backdoors reside within a hardware ML accelerator, manipulating models on-the-fly and invisible from outside. mlsec.org/docs/2024-ac... 1/3
lukas seidel reposted
The yearly academic security circus concludes. Exponential growth continues with 1146 published papers (vs 947 in '23 and 93 in '05). Essentially, we published 14% of all security papers this year. Two authors cracked 100 papers and 13 published >=10 this year. Details: nebelwelt.net/pubstats/top...
I started curating an infosec academia starter pack: go.bsky.app/Ff3WYBA I'm sure I'm still missing a ton of people, so feel free to let me know :) if you want an infosec research focused feed without following a bunch of people, you can also just pin my corresponding list bsky.app/profile/did:...
lukas seidel reposted
lukas seidel reposted
Scientists, academics, researchers: We’re excited to share that @altmetric.com is now tracking mentions of your research on Bluesky! 🧪
There are already many articles for which there is more attention on Bluesky than on other comparable micro-blogging sites, meaning the academic community and the general public have clearly adopted Bluesky as one of its core places to disseminate and discuss new research. A Place of Joy.
TIL about ropes was well aware of all the problems with strings but never looked into the solution, e.g., what editors handling large files and collaborative editing use great explanation by the @zed.dev team: zed.dev/blog/zed-dec...
this is very true. especially in fuzzing, a thorough evaluation (statistically sound and reproducible) is super important for any claims you want to make. I can highly recommend @mu00d8.bsky.social et al.'s work "Prudent Evaluation Practices for Fuzzing" if you want to avoid mistakes
The biggest mistake CS did historically is moving too close to the pure math department and forgetting that as an engineering discipline teaching everyone sound empirical science is important.
"SoK: Prudent Evaluation Practices for Fuzzing" paper link: arxiv.org/pdf/2405.10220
lukas seidel reposted
ESET analyze bootkitty, a UEFI bootkit for Linux systems: www.welivesecurity.com/en/eset-rese...