After receiving two inquiries about the coldboot attack paper which were best answered by looking at the code or by comparing with our code, I figured it was about time I put it online. So here it is:
For this code to run you’ll need to apply this patch to Sage:
which adds an interface to SCIP. Unfortunately, this patch crashes on OSX and I didn’t figure out yet why. Anybody willing to help, please step forward 🙂
Also, I assume the code on bitbucket needs some patching to work with the most recent version of Sage. Patches very welcome!