🔥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

WOOO!

Welldone Dimitri Kokkonis !

11am today at #ICSE2025: Rust provides memory safety to low-level code, but in practice Rust libraries link to unsafe C. Ian McCormack, Joshua Sunshine, and I used dynamic analysis to find 46 cases where the C code broke Rust's memory rules, causing undefined behavior.

📢Xyntia 0.2.0 is now available 📢 You are a reverse engineer, and you need to simplify highly obfuscated expressions (e.g., MBA)? Try Xyntia 0.2.0, the black-box deobfuscator: github.com/binsec/xyntia It includes many new features!

The submission site for #ACSAC2025 is now open for paper submissions: papers.submit.acsac.org You can also find the full details of the call for papers on the website: acsac.org/2025/submissio…

Check out our ROSARUM benchmark, part of our #icse2025 paper on backdoors and fuzzing: ▶️ It is a fuzzing benchmark (can fuzzers trigger backdoors reliably and fast?) ▶️ It is a backdoor detection benchmark (can code analyses find backdoors reliably?) ⬇️ github.com/binsec/rosarum

Going to PLDI 2025? Consider attending the BINSEC Team @ Université Paris-Saclay, CEA, List tutorial on binary-level symbolic execution for security analysis. We are waiting for you!

The CheckMATE workshop about reverse attack and defense is back, co-located with ACM CCS 2025 in beautiful Taipei - deadline June 20 - regular papers or talk replays checkmate-workshop.github.io/call_for_paper…

🥳Thrilled to say that RAID’25 will run a poster session as the first time in the conference. We look forward to your poster submissions. More info: raid2025.github.io/call_poster.ht…

Happy to have presented our SECUBIC project to the French research community in system security (RESSI'25)! 🏠 secubic-ptcc.github.io 🧑‍🔬 Sébastien Bardin Jean-Yves Marion Stefano Zacchiroli Thanks to the RESSI organizers who had even provided a pool to finish my #OOPSLA reviews! 😇

You have a last-minute idea for a great workshop that would fit #ACSAC2025? Then prepare a quick proposal and send it in before he deadline today 26th May (AoE): acsac.org/2025/submissio…

On my way to PLDI 2025. Want to learn more about BINSEC Team @ Université Paris-Saclay, CEA, List, discuss PhD or postdoc positions in the team or simply chat? Feel free to say hello!

If you are curious about using LLMs to generate smart contract exploits, check out: github.com/gustavo-grieco… Gustavo is not on twitter, but he is one of the original minds behind Echidna and has been exploring ML-driven exploits for over a decade, so he knows his stuff

Woah! big move by ACM!

Are you preparing for POPL'26? Now it's the perfect time to make your submissions! Call for papers (due July 10 AOE): popl26.sigplan.org/track/POPL-202… Call for Workshops and Co-located Events (due July 25 AOE): popl26.sigplan.org/track/POPL-202… We're looking forward to another exciting year!!!

Good news, the deadline for the CheckMATE workshop has been extended to *July 8* (after CCS deadline) checkmate-workshop.github.io

No funding = no research = no Internet. The Internet Society & #NDSSSymposium2025 sponsors recognize this value & welcome others to join us in supporting & appreciating the efforts of the network distributed systems & security research fraternity. internetsociety.org/blog/2025/06/n…

How is your POPL submission going?