julihoh

[ACSAC @ACSAC_Conf]

Our first #ACSAC2023 paper #preview for today is Geretto et al.'s work on accelerating #hybrid #fuzzing by reducing the time spent in the SMT solver via trie-based query #scheduling.
https://t.co/9f6y5vXj9r
@EliaGeretto @julihoh_ @c_giuffrida @herbertbos @EKouwe @kgleissen @vu5ec

[julihoh @julihoh_]

@AndreaBancora I’m very glad it saved your work :) after all, this is exactly what I made it for! Cheers!

[julihoh @julihoh_]

⚠️Attention macOS users! Ever lost PDF annotations when using Preview? It can be extremely frustrating to lose hours of work when providing feedback on a draft... Worry no more! My recovery tool just got a web app 🎉 https://t.co/8Eih8b3In2 #webassembly #rustlang

[julihoh @julihoh_]

@jbhuang0604 @dungnm1710 Just my 0,02€: Please don’t forget that creating an atmosphere where the student is comfortable with sharing „failed“ results is a precondition for any of this to work properly ❤️ the ability to tell the entire truth is paramount 💫

[julihoh @julihoh_]

.@Battlefield 2042 beta doesn’t run on my 7 y/o GPU due to „too old drivers“, which I can’t update due to AMD dropping support. Yet, one regedit.exe later, it plays just fine. I get it from an eng. perspective, but as a consumer: why this artificial block? #plannedobsolescence

[julihoh @julihoh_]

@andreafioraldi This idea is 🔥initial results seem promising, I’ll keep you posted!

[julihoh @julihoh_]

losing my mind over hybrid fuzzing... just introduced a bug that consistently gave me 4-5% more coverage. WTF? seems like rand() (more or less) is a great strategy to choose which bytes to symbolize in the input...

[julihoh @julihoh_]

@GHSecurityLab @mboehme_ What’s @vu5ec doing right up there with the big companies? Genuinely curious…

[julihoh @julihoh_]

I put quite a bit of effort into documentation! Check the article for links. I'd love to see other people start using it - it should be quite usable and I'm personally excited about what's possible using it! (including my own thesis :))) )

[julihoh @julihoh_]

GSoC 21 is over and I took some to summarise the past 10 weeks and reflect a bit https://t.co/FkS9vOC7VO . Finally meaningfully contributing to Open Source was inspiring & I hope it won't stop :) Cheers to @domenuk and @andreafioraldi for being awesome mentors!

[julihoh @julihoh_]

Also: I didn't have the time to create more technical write-ups yet. There are some suggestions in the blog post, so let me know if you are particularly interested in one of them!

[dmnk.bsky.social @domenuk]

More information about hybrid fuzzing by @julihoh_ here:

https://t.co/ScHiEvMfMl

[Andrea Fioraldi @andreafioraldi]

Based on SymCC with Rust bindings for custom runtimes (for custom constraint filtering etc...)

[julihoh @julihoh_]

@jzvw @domenuk There is still a bunch of documentation coming. I also want create something like a write-up as part of my duties for GSoC, so stay tuned! :)

[julihoh @julihoh_]

@domenuk finally created a real twitter account, just to retweet this :)

[dmnk.bsky.social @domenuk]

LibAFL now supoprt concolic execution, thanks to our #GSOC student Julius
https://t.co/uFnTsIYvny