Tweetovi

	Rolf Rolles @RolfRolles	31. sij
	Odgovor korisniku/ci @s4tan It is a perfect fit - I reverse engineered it last year. Got any others?
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	29. sij
	Odgovor korisniku/ci @wipawel Short answer is that there are no "plans" for that. Longer answer is that I'm looking into hiring somebody to organize future courses for me, which would make ideas like that one a lot more viable going forward.
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	28. sij
	Odgovor korisniku/ci @JasonGeffner @EA Congratulations!
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	24. sij
	Odgovor korisniku/ci @mkahsari It's a deliberate business decision I've made. I re-evaluate it occasionally, but so far I have not found the case in favor of online classes to be compelling. My judgment may be wrong, but that's the way it is for now.
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	24. sij
	Odgovor korisniku/ci @mkahsari No, it will be taught in-person at the venue listed on the signup form.
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	24. sij
	Mobius Strip Reverse Engineering is announcing public sessions for its Static Reverse Engineering and SMT-Based Binary Program Analysis training classes in May 2020 in Manassas, VA. More details can be found on our website: msreverseengineering.com/training-class…
	Prikaz sažetka ·

	Rolf Rolles @RolfRolles	22. sij
	Odgovor korisniku/ci @enricflorit Thanks. I didn't see anything suitable in Bard, sadly. (The zero divisors are a feature, not a bug!)
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	21. sij
	Lazyweb: is it a common technique in algebraic cryptanalysis to embed the base ring for a polynomial system into a larger ring (e.g. Z2 into Z4) and study the larger system? (Wondering if I did something original or if there's something I should cite)
	Prikaži podatke ·

	Rolf Rolles @RolfRolles	15. sij
	Odgovor korisniku/ci @johnregehr @TomChen17 @fitzgen The incremental solving improvement I mentioned upthread could potentially help with that, by the way. It allows (some) learned clauses to be re-used across iterations, which cumulatively prunes the search space, thus reducing redundant exploration of the wiring subspace
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	14. sij
	Odgovor korisniku/ci @arnaugamez I seem to be slipping more into mentorship in my old age. Sure, email me at rolf@[my domain].
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	14. sij
	Odgovor korisniku/ci @matalaz Hey, the original was 58 pages ;-)
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	14. sij
	Odgovor korisniku/ci @fitzgen @johnregehr (By the way @johnregehr, I looked at Souper yesterday and discovered that you could benefit from this as well, among some other deviations from the paper by Gulwani et al)
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	14. sij
	Odgovor korisniku/ci @fitzgen Basically, don't re-generate the whole synthesis formula from the I/O pairs every time; instead, add each point iteratively to the same solver object, retaining the formulas generated previously. (Do use fresh solver instances for the equivalence checking, though.) Big perf. win!
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	14. sij
	Good walkthrough of a paper that people often find intimidating; extra points for providing an implementation twitter.com/fitzgen/status…
	Prikaži podatke ·

	Rolf Rolles @RolfRolles	14. sij
	Odgovor korisniku/ci @fitzgen Yes: use incremental solving. Basically change this line to re-use the same solver object for every iteration github.com/fitzgen/synth-… and this line to add the counterexamples to that same persistent solver instance github.com/fitzgen/synth-…
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	13. sij
	Odgovor korisniku/ci @johnregehr @zwegner @dougallj I have implementations for all standard bitvector operations, if that's convenient for equivalence checking: github.com/RolfRolles/Ghi…
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	9. sij
	Odgovor korisniku/ci @xEFFFFFFF If any NSA internal publication ever discussed my research, I hope it's never declassified. Those things are never kind.
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	7. sij
	Odgovor korisniku/ci @ModernVintageG Indeed I am, so the pleasure is mine re: promoting the channel by tweeting about it. Video game copy protections (on PC) is a subject near and dear to my heart; perhaps we can collaborate in the future. (Forewarning that my definition of "vintage" is younger than yours.)
	Prikaz razgovora ·

	Rolf Rolles @RolfRolles	7. sij
	I recently discovered @ModernVintageG's channel on YouTube. A lot of stuff about old video game copy protections (arcade, console, PC), emulation, game development, etc. Good production values, too. Great stuff for reverse engineering enthusiasts. youtu.be/vCtXZM8iG-o
	Prikaži podatke ·

	Rolf Rolles @RolfRolles	7. sij
	Odgovor korisniku/ci @maddiestone Can't let Moby Dick get the best of you!
	Prikaz razgovora ·