Biblio

Export 5 results:
Filters: Author is Michael Steiner  [Clear All Filters]
2022
Sang F, Shih M-W, Lee S, Zhang X, Steiner M, Vij M, Kim T.  2022.  PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :455--472.
2019
Nunes IDe Oliveir, Eldefrawy K, Rattanavipanon N, Steiner M, Tsudik G.  2019.  VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. 28th USENIX Security Symposium (USENIX Security 19). :1429--1446.
1998
Asokan N., Van Herreweghen E, Steiner M.  1998.  Towards a Framework for Handling Disputes in Payment Systems. 3rd USENIX Workshop on Electronic Commerce (EC 98).
1995
Hauser R, Steiner M.  1995.  Generic Extensions of WWW Browsers. First USENIX Workshop on Electronic Commerce ( First USENIX Workshop on Electronic Commerce).
Bellare M, Garay JA, Hauser R, Herzberg A, Krawczyk H, Steiner M, Tsudik G, Waidner M.  1995.  iKP - A Family of Secure Electronic Payment Protocols. First USENIX Workshop on Electronic Commerce ( First USENIX Workshop on Electronic Commerce).