iKP - A Family of Secure Electronic Payment Protocols. - Mihir Bellare; Amir Herzberg; Michael Steiner 001; Gene Tsudik; Michael Waidner; Ralf C. Hauser; Juan A. Garay (USENIX Workshop on Electronic Commerce, 1995)

Generic Extensions of WWW Browsers. - Ralf C. Hauser; Michael Steiner 001 (USENIX Workshop on Electronic Commerce, 1995)

Refinement and Extension of Encrypted Key Exchange. - Michael Steiner 001; Gene Tsudik; Michael Waidner (ACM SIGOPS Oper. Syst. Rev., 1995)

Diffie-Hellman Key Distribution Extended to Group Communication. - Michael Steiner 001; Gene Tsudik; Michael Waidner (CCS, 1996)

Authenticated Group Key Agreement and Friends. - Giuseppe Ateniese; Michael Steiner 001; Gene Tsudik (CCS, 1998)

CLIQUES: A New Approach to Group Key Agreement. - Michael Steiner 001; Gene Tsudik; Michael Waidner (ICDCS, 1998)

Towards a Framework for Handling Disputes in Payment Systems. - N. Asokan; Els Van Herreweghen; Michael Steiner 001 (USENIX Workshop on Electronic Commerce, 1998)

Designing a Generic Payment Service. - José L. Abad Peiro; N. Asokan; Michael Steiner 001; Michael Waidner (IBM Syst. J., 1998)

Authenticating public terminals. - N. Asokan; Hervé Debar; Michael Steiner 001; Michael Waidner (Comput. Networks, 1999)

State of the art in electronic payment systems. - N. Asokan; Philippe A. Janson; Michael Steiner 001; Michael Waidner (Adv. Comput., 2000)

New multiparty authentication services and key agreement protocols. - Giuseppe Ateniese; Michael Steiner 001; Gene Tsudik (IEEE J. Sel. Areas Commun., 2000)

Design, implementation, and deployment of the iKP secure electronic payment system. - Mihir Bellare; Juan A. Garay; Ralf C. Hauser; Amir Herzberg; Hugo Krawczyk; Michael Steiner 001; Gene Tsudik; Els Van Herreweghen; Michael Waidner (IEEE J. Sel. Areas Commun., 2000)

Key Agreement in Dynamic Peer Groups. - Michael Steiner 001; Gene Tsudik; Michael Waidner (IEEE Trans. Parallel Distributed Syst., 2000)

Three-party encrypted key exchange without server public-keys. - Chun-Li Lin; Hung-Min Sun; Michael Steiner 001; Tzonelih Hwang (IEEE Commun. Lett., 2001)

Secure password-based cipher suite for TLS. - Michael Steiner 001; Peter Buhler; Thomas Eirich; Michael Waidner (ACM Trans. Inf. Syst. Secur., 2001)

Polynomial Fairness and Liveness. - Michael Backes 001; Birgit Pfitzmann; Michael Steiner 001; Michael Waidner (CSFW, 2002)

Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference. - Ahmad-Reza Sadeghi; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2002)

Secure group key agreement. - Michael Steiner 001 (2002)

Regional knowledge networks as evolving social technologies. - Michael Steiner 001 (Int. J. Technol. Manag., 2003)

Hardness amplification of weakly verifiable puzzles. - Ran Canetti; Shai Halevi; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2004)

A Privacy-Protecting Coupon System. - Liqun Chen 002; Matthias Enzmann; Ahmad-Reza Sadeghi; Markus Schneider 002; Michael Steiner 001 (Financial Cryptography, 2005)

Mitigating Dictionary Attacks on Password-Protected Local Storage. - Ran Canetti; Shai Halevi; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2006)

SMash: secure component model for cross-domain mashups on unmodified browsers. - Frederik De Keukelaere; Sumeer Bhola; Michael Steiner 001; Suresh Chari; Sachiko Yoshihama (WWW, 2008)

Risks of the CardSpace Protocol. - Sebastian Gajek; Jörg Schwenk; Michael Steiner 001; Chen Xuan (ISC, 2009)

Designing a Side Channel Resistant Random Number Generator. - Suresh Chari; Vincenzo V. Diluoffo; Paul A. Karger; Elaine R. Palmer; Tal Rabin; Josyula R. Rao; Pankaj Rohatgi; Helmut Scherzer; Michael Steiner 001; David C. Toll (CARDIS, 2010)

Composable Security Analysis of OS Services. - Ran Canetti; Suresh Chari; Shai Halevi; Birgit Pfitzmann; Arnab Roy 001; Michael Steiner 001; Wietse Z. Venema (IACR Cryptol. ePrint Arch., 2010)

Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries. - David Cash; Stanislaw Jarecki; Charanjit S. Jutla; Hugo Krawczyk; Marcel-Catalin Rosu; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2013)

Outsourced Symmetric Private Information Retrieval. - Stanislaw Jarecki; Charanjit S. Jutla; Hugo Krawczyk; Marcel-Catalin Rosu; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2013)

Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation. - David Cash; Joseph Jaeger; Stanislaw Jarecki; Charanjit S. Jutla; Hugo Krawczyk; Marcel-Catalin Rosu; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2014)

Rich Queries on Encrypted Data: Beyond Exact Matches. - Sky Faber; Stanislaw Jarecki; Hugo Krawczyk; Quan Nguyen 006; Marcel-Catalin Rosu; Michael Steiner 001 (IACR Cryptol. ePrint Arch., 2015)

Integrating Remote Attestation with Transport Layer Security. - Thomas Knauth; Michael Steiner 001; Somnath Chakrabarti; Li Lei; Cedric Xing; Mona Vij (CoRR, 2018)

Private Data Objects: an Overview. - Mic Bowman; Andrea Miele; Michael Steiner 001; Bruno Vavala (CoRR, 2018)

Formally Verified Hardware/Software Co-Design for Remote Attestation. - Karim Eldefrawy; Ivan Oliveira Nunes; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (CoRR, 2018)

S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX. - Fritz Alder; N. Asokan; Arseny Kurnikov; Andrew Paverd; Michael Steiner 001 (CCSW, 2019)

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (USENIX Security Symposium, 2019)

PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. - Fan Sang; Ming-Wei Shih; Sangho Lee 001; Xiaokuan Zhang; Michael Steiner 001; Mona Vij; Taesoo Kim (USENIX ATC, 2022)

High-precision RNS-CKKS on fixed but smaller word-size architectures: theory and application. - Rashmi Agrawal 001; Jung Ho Ahn; Flávio Bergamaschi; Ro Cammarota; Jung Hee Cheon; Fillipe D. M. de Souza; Huijing Gong; Minsik Kang; Duhyeong Kim; Jongmin Kim 007; Hubert de Lassus; Jai Hyun Park; et al. (IACR Cryptol. ePrint Arch., 2023)

SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification. - Fan Sang; Jaehyuk Lee; Xiaokuan Zhang; Meng Xu; Scott Constable; Yuan Xiao 001; Michael Steiner 001; Mona Vij; Taesoo Kim (NDSS, 2024)

Towards a Polynomial Instruction Based Compiler for Fully Homomorphic Encryption Accelerators. - Sejun Kim; Wen Wang 007; Duhyeong Kim; Adish Vartak; Michael Steiner 001; Rosario Cammarota (IACR Cryptol. ePrint Arch., 2024)

Enabling Cloud-Scale Distributed Capabilities. - Otto White; Yaoxin Jing; Adrien Ghosn; Michael Steiner 001; Anjo Vahldiek-Oberwagner; Mona Vij; Lluís Vilanova (HCDS, 2025)