bageyelet

[rev.ng @_revng]

🚀 BIG ANNOUNCEMENT! 🚀

The full rev.​ng decompiler pipeline is now fully open source!
Also, we'll soon start to invite people to participate in the UI closed beta.

Check out our latest blog post: https://t.co/9YchJS4RIG

[𝚊𝚕𝚔𝚊𝚕𝚒 @alkalinesec]

i've often wondered how well it would work to merge states every jump during symbolic execution.

the answer: it sort of works ok!

ill probably add it as a feature to the next release of radius2

[bageyelet @lucaborza]

#flareon10
After 4 years, here we go again :)
It was tough, but I had a lot of fun deobfuscating the last challenge!

[Robert Yates @yates82]

I made a video of how to solve Hex-Ray's CTF using path driven symbolic execution by using Binary Ninja and the plugin SENinja. :) https://t.co/LByO1QfIRA

[CyberChallengeIT @CyberChallengIT]

🚩 Il commosso ricordo di Camil Demetrescu, primo coordinatore di CyberChallengeIT prematuramente scomparso, da parte di @ercoppa apre la Cerimonia di Premiazione. In diretta streaming al link.

📺 https://t.co/vrAlSB8iNW

#CCIT22
#CyberChallengeIT
#cybersecurity
#Torino

[bageyelet @lucaborza]

Non ho veramente parole.
Grazie Camil! Per tutto.

[TRX @TheRomanXpl0it]

This is a huge loss, thanks for everything, for the passion transmitted to the students and the support to us and the entire CS community at @SapienzaRoma. You will not be forgotten.

[PHD Comics @PHDcomics]

Proof

[Davide Balzarotti @balzarot]

Elegant, gentle, soft-spoken Linus comment about anti-vax:
https://t.co/2RFXu8wIaR

[bageyelet @lucaborza]

https://t.co/KR1rs8bvV0

[bageyelet @lucaborza]

We have just released our approximate solver Fuzzy-SAT! Check it out if you are interested :)
Co-authors: @ercoppa and C. Demetrescu.

@ICSEconf preprint on FUZZY-SAT: https://t.co/9mToZxYKIA

Docs: https://t.co/eWprAULrqK

[Pietro Borrello @borrello_pietro]

Our work on "Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization" has been accepted at @acm_ccs 21! 🤩
Amazing collaboration with @vu5ec @c_giuffrida @dcdelia @lquerzoni
preprint: https://t.co/4WIYkyi46d
code: https://t.co/Z79P6pUJXc

[bageyelet @lucaborza]

I am happy to announce that our paper "Fuzzing Symbolic Expressions" has been accepted at @ICSEconf 2021! Co-authors: @ercoppa and C. Demetrescu.

We'll release soon Fuzzy-SAT and our new concolic executor FUZZOLIC

preprint: https://t.co/9mToZxYKIA
code: https://t.co/eWprAULrqK

[bageyelet @lucaborza]

#flareon6 Achievement unlocked ✓