/papers/sok/proceedingspaper-9392124