Looks like @dodisberg hasn't received any replies yet!