Cited By
View all- Liu WWang WChen HWang XLu YChen KWang XShen QChen YTang H(2021)Practical and Efficient in-Enclave Verification of Privacy Compliance2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)10.1109/DSN48987.2021.00052(413-425)Online publication date: Jun-2021
- Miller D(2019)A Distributed and Trusted Web of Formal ProofsDistributed Computing and Internet Technology10.1007/978-3-030-36987-3_2(21-40)Online publication date: 9-Dec-2019
- Jakobs MWehrheim H(2017)Compact Proof WitnessesNASA Formal Methods10.1007/978-3-319-57288-8_28(389-403)Online publication date: 9-Apr-2017
- Show More Cited By