Applications for Provably Secure Intent Protection with Bounded Input-Size Programs | IEEE Conference Publication | IEEE Xplore