Function flattening for lease-based, information-leak-free systems | IEEE Conference Publication | IEEE Xplore