🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

This challenge was uploaded by Jonathan Salwan, and I thought it was a good challenge to try myself and write about the solution. I think this challenge was done by Tim Blazytko. I have also played with frameworks like LLVM IR (llvm.org) and SiMBA++ by BlipsAndChitz🚀

OH FOR CHRIST'S SAKE

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-Bounded Exhaustive Search psl.hanyang.ac.kr/assets/pdf/top…

Hydra: Generalizing Peephole Optimizations with Program Synthesis users.cs.utah.edu/~regehr/genera… Manasij Mukherjee (@manasij7479) and John Regehr (mastodon.social/@regehr/112045…) OOPSLA 2024 (SPLASH Conference)

Just spotted two otters covered in oil after the vessel accident here in Singapore this morning. It looks really bad 😢 #singapore #oil

h0mbre I open-sourced my C/C++ build indexer. It has a really cool and extensive API: github.com/trailofbits/mu…

SLOT: SMT-LLVM Optimizing Translation Slides: llvm.org/devmtg/2024-04… github.com/mikekben/SLOT

(1) Decided to release the source code for my LLVM-based static binary analysis framework (github.com/Colton1skees/D…). It implements, among other things, an iterative control flow graph reconstruction algorithm heavily inspired by SATURN, using Remill and Souper.

Reversing virtualized binaries is no easy task. Our intern Jack took on exploring automated devirtualization techniques, and presents in our latest blog post an efficient, modular, taint-based approach that leverages LLVM IR: blog.thalium.re/posts/llvm-pow…

How AMD Is Taking Standard C/C++ Code To Run Directly On GPUs phoronix.com/news/AMD-Stand…

The line-up for RE//verse is impressive, but one talk I’m particularly excited about is from Vikas Gupta and BlipsAndChitz🚀: “Standing on the Shoulders of Giants: De-Obfuscating WebAssembly using LLVM” re-verse.sessionize.com/session/763329

Ready to get out of the cold? Come to RE//verse and see some of our amazing lineup. re-verse.io Also stay tuned we're going to be announcing our 2 keynote speakers very soon!

DeepSeek R1 is giving correct simplifications for several MBAs I tried. Really impressive!

WebAssembly de-obfuscation with LLVM. Vikas Gupta & Peter Garba (BlipsAndChitz🚀) reveal how to reverse Wasm obfuscation using compiler optimizations. Simplify complex code without pattern rules & tackle real-world scenarios. re-verse.sessionize.com/session/763329 #REverse2025 #Wasm

Check out this interesting paper. We’re thinking about doing something similar! arxiv.org/abs/1909.01752