[marenkay]

This is what you want: https://people.eecs.berkeley.edu/~dawnsong/papers/se.pdf