LBTool: A stochastic toolkit for leave-based key updates | IEEE Conference Publication | IEEE Xplore