Michael Steiner

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 10

Top Topics

Remote Attestation

Approximate Matches

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Annual Technical Conference

Publications

Sejun Kim, Wen Wang, Duhyeong Kim, Adish Vartak, Michael Steiner, Rosario Cammarota
Towards a Polynomial Instruction Based Compiler for Fully Homomorphic Encryption Accelerators. IACR Cryptol. ePrint Arch. 2024 (2024)
Rashmi Agrawal, Jung Ho Ahn, Flavio Bergamaschi, Ro Cammarota, Jung Hee Cheon, Fillipe D. M. de Souza, Huijing Gong, Minsik Kang, Duhyeong Kim, Jongmin Kim, Hubert de Lassus, Jai Hyun Park, Michael Steiner, Wen Wang
High-precision RNS-CKKS on fixed but smaller word-size architectures: theory and application. IACR Cryptol. ePrint Arch. 2023 (2023)
Rashmi Agrawal, Jung Ho Ahn, Flavio Bergamaschi, Ro Cammarota, Jung Hee Cheon, Fillipe D. M. de Souza, Huijing Gong, Minsik Kang, Duhyeong Kim, Jongmin Kim, Hubert de Lassus, Jai Hyun Park, Michael Steiner, Wen Wang
High-precision RNS-CKKS on fixed but smaller word-size architectures: theory and application. WAHC@CCS (2023)
Fan Sang, Ming-Wei Shih, Sangho Lee, Xiaokuan Zhang, Michael Steiner, Mona Vij, Taesoo Kim
PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis. USENIX Annual Technical Conference (2022)
Fritz Alder, N. Asokan, Arseny Kurnikov, Andrew Paverd, Michael Steiner
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX. CCSW@CCS (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. USENIX Security Symposium (2019)
Thomas Knauth, Michael Steiner, Somnath Chakrabarti, Li Lei, Cedric Xing, Mona Vij
Integrating Remote Attestation with Transport Layer Security. CoRR (2018)
Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
Formally Verified Hardware/Software Co-Design for Remote Attestation. CoRR (2018)
Fritz Alder, N. Asokan, Arseny Kurnikov, Andrew Paverd, Michael Steiner
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX. CoRR (2018)
Mic Bowman, Andrea Miele, Michael Steiner, Bruno Vavala
Private Data Objects: an Overview. CoRR (2018)
Sky Faber, Stanislaw Jarecki, Hugo Krawczyk, Quan Nguyen, Marcel-Catalin Rosu, Michael Steiner
Rich Queries on Encrypted Data: Beyond Exact Matches. IACR Cryptol. ePrint Arch. 2015 (2015)
Sky Faber, Stanislaw Jarecki, Hugo Krawczyk, Quan Nguyen, Marcel-Catalin Rosu, Michael Steiner
Rich Queries on Encrypted Data: Beyond Exact Matches. ESORICS (2) (2015)
David Cash, Joseph Jaeger, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation. IACR Cryptol. ePrint Arch. 2014 (2014)
David Cash, Joseph Jaeger, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation. NDSS (2014)
Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
Outsourced symmetric private information retrieval. CCS (2013)
David Cash, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries. CRYPTO (1) (2013)
Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
Outsourced Symmetric Private Information Retrieval. IACR Cryptol. ePrint Arch. 2013 (2013)
David Cash, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries. IACR Cryptol. ePrint Arch. 2013 (2013)
Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema
Composable Security Analysis of OS Services. ACNS (2011)
Suresh Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin, Josyula R. Rao, Pankaj Rohatgi, Helmut Scherzer, Michael Steiner, David C. Toll
Designing a Side Channel Resistant Random Number Generator. CARDIS (2010)
Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema
Composable Security Analysis of OS Services. IACR Cryptol. ePrint Arch. 2010 (2010)
Sebastian Gajek, Jörg Schwenk, Michael Steiner, Chen Xuan
Risks of the CardSpace Protocol. ISC (2009)
Frederik De Keukelaere, Sumeer Bhola, Michael Steiner, Suresh Chari, Sachiko Yoshihama
SMash: secure component model for cross-domain mashups on unmodified browsers. WWW (2008)
Ran Canetti, Shai Halevi, Michael Steiner
Mitigating Dictionary Attacks on Password-Protected Local Storage. IACR Cryptol. ePrint Arch. 2006 (2006)
Ran Canetti, Shai Halevi, Michael Steiner
Mitigating Dictionary Attacks on Password-Protected Local Storage. CRYPTO (2006)
Ran Canetti, Shai Halevi, Michael Steiner
Hardness Amplification of Weakly Verifiable Puzzles. TCC (2005)
Liqun Chen, Matthias Enzmann, Ahmad-Reza Sadeghi, Markus Schneider, Michael Steiner
A Privacy-Protecting Coupon System. Financial Cryptography (2005)
Armin Scholl, Laura Manthey, Roland Helm, Michael Steiner
Solving multiattribute design problems with analytic hierarchy process and conjoint analysis: An empirical comparison. Eur. J. Oper. Res. 164 (3) (2005)
Ran Canetti, Shai Halevi, Michael Steiner
Hardness amplification of weakly verifiable puzzles. IACR Cryptol. ePrint Arch. 2004 (2004)
Michael Steiner
Regional knowledge networks as evolving social technologies. Int. J. Technol. Manag. 26 (2/3/4) (2003)
Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner
Polynomial Fairness and Liveness. CSFW (2002)
Roland Helm, Laura Manthey, Armin Scholl, Michael Steiner
Preference Measurement with Conjoint Analysis and AHP: An Empirical Comparison. OR (2002)
Ahmad-Reza Sadeghi, Michael Steiner
Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference. IACR Cryptol. ePrint Arch. 2002 (2002)
Ahmad-Reza Sadeghi, Michael Steiner
Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference. EUROCRYPT (2001)
Chun-Li Lin, Hung-Min Sun, Michael Steiner, Tzonelih Hwang
Three-party encrypted key exchange without server public-keys. IEEE Commun. Lett. 5 (12) (2001)
Michael Steiner, Peter Buhler, Thomas Eirich, Michael Waidner
Secure password-based cipher suite for TLS. ACM Trans. Inf. Syst. Secur. 4 (2) (2001)
N. Asokan, Philippe A. Janson, Michael Steiner, Michael Waidner
State of the art in electronic payment systems. Adv. Comput. 53 (2000)
Peter Buhler, Thomas Eirich, Michael Waidner, Michael Steiner
Secure Password-Based Cipher Suite for TLS. NDSS (2000)
Mihir Bellare, Juan A. Garay, Ralf C. Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Els Van Herreweghen, Michael Waidner
Design, implementation, and deployment of the iKP secure electronic payment system. IEEE J. Sel. Areas Commun. 18 (4) (2000)
Michael Steiner, Gene Tsudik, Michael Waidner
Key Agreement in Dynamic Peer Groups. IEEE Trans. Parallel Distributed Syst. 11 (8) (2000)
Giuseppe Ateniese, Michael Steiner, Gene Tsudik
New multiparty authentication services and key agreement protocols. IEEE J. Sel. Areas Commun. 18 (4) (2000)
N. Asokan, Hervé Debar, Michael Steiner, Michael Waidner
Authenticating public terminals. Comput. Networks 31 (8) (1999)
Michael Steiner, Gene Tsudik, Michael Waidner
CLIQUES: A New Approach to Group Key Agreement. ICDCS (1998)
José L. Abad Peiro, N. Asokan, Michael Steiner, Michael Waidner
Designing a Generic Payment Service. IBM Syst. J. 37 (1) (1998)
N. Asokan, Els Van Herreweghen, Michael Steiner
Towards a Framework for Handling Disputes in Payment Systems. USENIX Workshop on Electronic Commerce (1998)
Giuseppe Ateniese, Michael Steiner, Gene Tsudik
Authenticated Group Key Agreement and Friends. CCS (1998)
N. Asokan, Philippe A. Janson, Michael Steiner, Michael Waidner
The State of the Art in Electronic Payment Systems. Computer 30 (9) (1997)
Michael Steiner, Gene Tsudik, Michael Waidner
Diffie-Hellman Key Distribution Extended to Group Communication. CCS (1996)
Michael Steiner, Gene Tsudik, Michael Waidner
Refinement and Extension of Encrypted Key Exchange. ACM SIGOPS Oper. Syst. Rev. 29 (3) (1995)
Mihir Bellare, Amir Herzberg, Michael Steiner, Gene Tsudik, Michael Waidner, Ralf C. Hauser, Juan A. Garay
iKP - A Family of Secure Electronic Payment Protocols. USENIX Workshop on Electronic Commerce (1995)
Ralf C. Hauser, Michael Steiner
Generic Extensions of WWW Browsers. USENIX Workshop on Electronic Commerce (1995)