The extension of our problem-space attacks paper has been accepted at TOPS