
Rolf Rolles
@rolfrolles
Static reverse engineering, deobfuscation, program analysis and formal verification, training, mathematics, compilers, functional programming, etc.
ID: 60368411
http://msreverseengineering.com 26-07-2009 18:51:18
2,2K Tweet
14,14K Followers
361 Following



It is with profound sadness that we mourn the loss of our friend and mentor, [email protected]. Kelly had an indomitable spirit, and our world is a bit darker without her.




Congrats to Rolf Rolles for winning a DJI drone! No one else used the static analysis solution for the Linux Challenge 💯💯💯 #HEXACON




PLDI will also host the third EGRAPHS workshop on Monday, Jun 24. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. Come and learn more! Full program: pldi24.sigplan.org/home/egraphs-2…







Rolf Rolles (Rolf Rolles) will be teaching his ‘Static Analysis of C++’ training in this year’s Offensivecon. Sign up now as tickets are limited. offensivecon.org/trainings/2025…


BlackHoodie will be back at ringzerø.training && @[email protected] Bootcamp on March 21st with a training about Compiler Internals for Security Engineers, brought to you by.. me 😊 Registration is open, please tell your friends and hacker family, alternatively RTs appreciated 😁blackhoodie.re/Ringzer0_Boots…
