@inproceedings {280800, author = {Fan Sang and Ming-Wei Shih and Sangho Lee and Xiaokuan Zhang and Michael Steiner and Mona Vij and Taesoo Kim}, title = {{PRIDWEN}: Universally Hardening {SGX} Programs via {Load-Time} Synthesis}, booktitle = {2022 USENIX Annual Technical Conference (USENIX ATC 22)}, year = {2022}, isbn = {978-1-939133-29-69}, address = {Carlsbad, CA}, pages = {455--472}, url = {https://www.usenix.org/conference/atc22/presentation/sang}, publisher = {USENIX Association}, month = jul } @inproceedings {236230, author = {Ivan De Oliveira Nunes and Karim Eldefrawy and Norrathep Rattanavipanon and Michael Steiner and Gene Tsudik}, title = {{VRASED}: A Verified {Hardware/Software} {Co-Design} for Remote Attestation}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1429--1446}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/de-oliveira-nunes}, publisher = {USENIX Association}, month = aug } @inproceedings {261143, author = {N. Asokan and Els Van Herreweghen and Michael Steiner}, title = {Towards a Framework for Handling Disputes in Payment Systems}, booktitle = {3rd USENIX Workshop on Electronic Commerce (EC 98)}, year = {1998}, address = {Boston, MA}, url = {https://www.usenix.org/conference/3rd-usenix-workshop-electronic-commerce/towards-framework-handling-disputes-payment}, publisher = {USENIX Association}, month = aug } @inproceedings {260353, author = {Ralf Hauser and Michael Steiner}, title = {Generic Extensions of {WWW} Browsers}, booktitle = {First USENIX Workshop on Electronic Commerce ( First USENIX Workshop on Electronic Commerce)}, year = {1995}, address = {New York, NY}, url = {https://www.usenix.org/conference/first-usenix-workshop-electronic-commerce/generic-extensions-www-browsers}, publisher = {USENIX Association}, month = jul } @inproceedings {260359, author = {Mihir Bellare and Juan A. Garay and Ralf Hauser and Amir Herzberg and Hugo Krawczyk and Michael Steiner and Gene Tsudik and Michael Waidner}, title = {{iKP} - A Family of Secure Electronic Payment Protocols}, booktitle = {First USENIX Workshop on Electronic Commerce ( First USENIX Workshop on Electronic Commerce)}, year = {1995}, address = {New York, NY}, url = {https://www.usenix.org/conference/first-usenix-workshop-electronic-commerce/ikp-family-secure-electronic-payment-protocols}, publisher = {USENIX Association}, month = jul }