Composable Security in the Tamper-Proof Hardware Model under Minimal Complexity Posted August 13, 2020 by Yonit Homburger