Michael Steiner

According to our database, Michael Steiner authored at least 39 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Towards a Polynomial Instruction Based Compiler for Fully Homomorphic Encryption Accelerators.

Sejun Kim, Wen Wang, Duhyeong Kim, Adish Vartak, Michael Steiner, Rosario Cammarota

IACR Cryptol. ePrint Arch., 2024

SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification.

Fan Sang, Jaehyuk Lee, Xiaokuan Zhang, Meng Xu, Scott Constable, Yuan Xiao, Michael Steiner, Mona Vij, Taesoo Kim

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

2023

High-precision RNS-CKKS on fixed but smaller word-size architectures: theory and application.

Rashmi Agrawal, Jung Ho Ahn, Flávio 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

IACR Cryptol. ePrint Arch., 2023

2022

PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis.

Fan Sang, Ming-Wei Shih, Sangho Lee, Xiaokuan Zhang, Michael Steiner, Mona Vij, Taesoo Kim

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2019

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

Proceedings of the 28th USENIX Security Symposium, 2019

S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX.

Fritz Alder, N. Asokan, Arseny Kurnikov, Andrew Paverd, Michael Steiner

Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop, 2019

2018

Formally Verified Hardware/Software Co-Design for Remote Attestation.

Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

CoRR, 2018

Private Data Objects: an Overview.

Mic Bowman, Andrea Miele, Michael Steiner, Bruno Vavala

CoRR, 2018

Integrating Remote Attestation with Transport Layer Security.

Thomas Knauth, Michael Steiner, Somnath Chakrabarti, Li Lei, Cedric Xing, Mona Vij

CoRR, 2018

2015

Rich Queries on Encrypted Data: Beyond Exact Matches.

Sky Faber, Stanislaw Jarecki, Hugo Krawczyk, Quan Nguyen, Marcel-Catalin Rosu, Michael Steiner

IACR Cryptol. ePrint Arch., 2015

2014

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

IACR Cryptol. ePrint Arch., 2014

2013

Outsourced Symmetric Private Information Retrieval.

Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner

IACR Cryptol. ePrint Arch., 2013

Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries.

David Cash, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner

IACR Cryptol. ePrint Arch., 2013

2010

Composable Security Analysis of OS Services.

Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema

IACR Cryptol. ePrint Arch., 2010

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, David C. Toll

Proceedings of the Smart Card Research and Advanced Application, 2010

2009

Risks of the CardSpace Protocol.

Sebastian Gajek, Jörg Schwenk, Michael Steiner, Chen Xuan

Proceedings of the Information Security, 12th International Conference, 2009

2008

SMash: secure component model for cross-domain mashups on unmodified browsers.

Frederik De Keukelaere, Sumeer Bhola, Michael Steiner, Suresh Chari, Sachiko Yoshihama

Proceedings of the 17th International Conference on World Wide Web, 2008

2006

Mitigating Dictionary Attacks on Password-Protected Local Storage.

Ran Canetti, Shai Halevi, Michael Steiner

IACR Cryptol. ePrint Arch., 2006

2005

A Privacy-Protecting Coupon System.

Liqun Chen, Matthias Enzmann, Ahmad-Reza Sadeghi, Markus Schneider, Michael Steiner

Proceedings of the Financial Cryptography and Data Security, 2005

2004

Hardness amplification of weakly verifiable puzzles.

Ran Canetti, Shai Halevi, Michael Steiner

IACR Cryptol. ePrint Arch., 2004

2003

Regional knowledge networks as evolving social technologies.

Michael Steiner

Int. J. Technol. Manag., 2003

2002

Secure group key agreement.

Michael Steiner

PhD thesis, 2002

Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference.

Ahmad-Reza Sadeghi, Michael Steiner

IACR Cryptol. ePrint Arch., 2002

Polynomial Fairness and Liveness.

Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001

Secure password-based cipher suite for TLS.

Michael Steiner, Peter Buhler, Thomas Eirich, Michael Waidner

ACM Trans. Inf. Syst. Secur., 2001

Three-party encrypted key exchange without server public-keys.

Chun-Li Lin, Hung-Min Sun, Michael Steiner, Tzonelih Hwang

IEEE Commun. Lett., 2001

2000

Key Agreement in Dynamic Peer Groups.

Michael Steiner, Gene Tsudik, Michael Waidner

IEEE Trans. Parallel Distributed Syst., 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, Gene Tsudik, Els Van Herreweghen, Michael Waidner

IEEE J. Sel. Areas Commun., 2000

New multiparty authentication services and key agreement protocols.

Giuseppe Ateniese, Michael Steiner, Gene Tsudik

IEEE J. Sel. Areas Commun., 2000

State of the art in electronic payment systems.

N. Asokan, Philippe A. Janson, Michael Steiner, Michael Waidner

Adv. Comput., 2000

1999

Authenticating public terminals.

N. Asokan, Hervé Debar, Michael Steiner, Michael Waidner

Comput. Networks, 1999

1998

Designing a Generic Payment Service.

José L. Abad Peiro, N. Asokan, Michael Steiner, Michael Waidner

IBM Syst. J., 1998

Towards a Framework for Handling Disputes in Payment Systems.

N. Asokan, Els Van Herreweghen, Michael Steiner

Proceedings of the 3rd USENIX Workshop on Electronic Commerce, Boston, Massachusetts, USA, August 31, 1998

CLIQUES: A New Approach to Group Key Agreement.

Michael Steiner, Gene Tsudik, Michael Waidner

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Authenticated Group Key Agreement and Friends.

Giuseppe Ateniese, Michael Steiner, Gene Tsudik

Proceedings of the CCS '98, 1998

1996

Diffie-Hellman Key Distribution Extended to Group Communication.

Michael Steiner, Gene Tsudik, Michael Waidner

Proceedings of the CCS '96, 1996

1995

Refinement and Extension of Encrypted Key Exchange.

Michael Steiner, Gene Tsudik, Michael Waidner

ACM SIGOPS Oper. Syst. Rev., 1995

Generic Extensions of WWW Browsers.

Ralf C. Hauser, Michael Steiner

Proceedings of the First USENIX Workshop on Electronic Commerce, 1995

iKP - A Family of Secure Electronic Payment Protocols.

Mihir Bellare, Amir Herzberg, Michael Steiner, Gene Tsudik, Michael Waidner, Ralf C. Hauser, Juan A. Garay

Proceedings of the First USENIX Workshop on Electronic Commerce, 1995