Michael Steiner

55 papers A* 10A 1B 2C 2Journal 25Unranked 13
YearRankTypeTitle / Venue / Authors
2026 — conf
HERACLES: 8192-Way SIMD Programmable Scalable Fully-Homomorphic Encryption SoC for Privacy-Preserving Cloud Computing in Intel 3 CMOS.
ISSCC
Anupam Golder, Raghavan Kumar, Sachin Taneja, Kylan Race, Paolo A. Aseron, James Greensky, Wen Wang, Huijing Gong, Lalith Kethareswaran, Vikram B. Suresh, Adish Vartak, AppaRao Challagundla, Jeremy Casas, Poornima Lalwaney, Duhyeong Kim, Christopher N. Gutierrez, Ernesto Zamora Ramos, Wonhee Cho, Jose M. Rojas Chaves, Michael Steiner, Dan Lake, Nataraj Yennampelli, Karthik Nivarthi, Kamalakanth Bijinapally, Bala Prasad Talamala, Sravanth Valluri, Vasantha Srirambhatla, Chris Wilkerson, Rosario Cammarota, Sanu Mathew
2025 — conf
Enabling Cloud-Scale Distributed Capabilities.
HCDS
Otto White, Yaoxin Jing, Adrien Ghosn, Michael Steiner, Anjo Vahldiek-Oberwagner, Mona Vij, Lluís Vilanova
2025 — conf
Using Recursive Attestation to Scale Trust in Modern Heterogeneous Cloud Architectures.
APSys
Yaoxin Jing, Michael Steiner, Anjo Vahldiek-Oberwagner, Mona Vij, Lluís Vilanova
2024 A* conf
SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification.
NDSS
Fan Sang, Jaehyuk Lee, Xiaokuan Zhang, Meng Xu, Scott Constable, Yuan Xiao, Michael Steiner, Mona Vij, Taesoo Kim
2024 J jnl
Towards a Polynomial Instruction Based Compiler for Fully Homomorphic Encryption Accelerators.
IACR Cryptol. ePrint Arch.
Sejun Kim, Wen Wang, Duhyeong Kim, Adish Vartak, Michael Steiner, Rosario Cammarota
2023 — conf
High-precision RNS-CKKS on fixed but smaller word-size architectures: theory and application.
WAHC@CCS
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
2023 J jnl
High-precision RNS-CKKS on fixed but smaller word-size architectures: theory and application.
IACR Cryptol. ePrint Arch.
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
2022 — conf
PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis.
USENIX ATC
Fan Sang, Ming-Wei Shih, Sangho Lee, Xiaokuan Zhang, Michael Steiner, Mona Vij, Taesoo Kim
2019 — conf
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX.
CCSW
Fritz Alder, N. Asokan, Arseny Kurnikov, Andrew Paverd, Michael Steiner
2019 A* conf
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation.
USENIX Security Symposium
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
2018 J jnl
Formally Verified Hardware/Software Co-Design for Remote Attestation.
CoRR
Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
2018 J jnl
Integrating Remote Attestation with Transport Layer Security.
CoRR
Thomas Knauth, Michael Steiner, Somnath Chakrabarti, Li Lei, Cedric Xing, Mona Vij
2018 J jnl
Private Data Objects: an Overview.
CoRR
Mic Bowman, Andrea Miele, Michael Steiner, Bruno Vavala
2018 J jnl
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX.
CoRR
Fritz Alder, N. Asokan, Arseny Kurnikov, Andrew Paverd, Michael Steiner
2015 — conf
Rich Queries on Encrypted Data: Beyond Exact Matches.
ESORICS (2)
Sky Faber, Stanislaw Jarecki, Hugo Krawczyk, Quan Nguyen, Marcel-Catalin Rosu, Michael Steiner
2015 J jnl
Rich Queries on Encrypted Data: Beyond Exact Matches.
IACR Cryptol. ePrint Arch.
Sky Faber, Stanislaw Jarecki, Hugo Krawczyk, Quan Nguyen, Marcel-Catalin Rosu, Michael Steiner
2014 A* conf
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation.
NDSS
David Cash, Joseph Jaeger, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
2014 J jnl
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation.
IACR Cryptol. ePrint Arch.
David Cash, Joseph Jaeger, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
2013 — conf
Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries.
CRYPTO (1)
David Cash, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
2013 J jnl
Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries.
IACR Cryptol. ePrint Arch.
David Cash, Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
2013 J jnl
Outsourced Symmetric Private Information Retrieval.
IACR Cryptol. ePrint Arch.
Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
2013 A* conf
Outsourced symmetric private information retrieval.
CCS
Stanislaw Jarecki, Charanjit S. Jutla, Hugo Krawczyk, Marcel-Catalin Rosu, Michael Steiner
2011 B conf
Composable Security Analysis of OS Services.
ACNS
Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema
2010 J jnl
Composable Security Analysis of OS Services.
IACR Cryptol. ePrint Arch.
Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema
2010 C conf
Designing a Side Channel Resistant Random Number Generator.
CARDIS
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
2009 C conf
Risks of the CardSpace Protocol.
ISC
Sebastian Gajek, Jörg Schwenk, Michael Steiner, Chen Xuan
2008 A* conf
SMash: secure component model for cross-domain mashups on unmodified browsers.
WWW
Frederik De Keukelaere, Sumeer Bhola, Michael Steiner, Suresh Chari, Sachiko Yoshihama
2006 A* conf
Mitigating Dictionary Attacks on Password-Protected Local Storage.
CRYPTO
Ran Canetti, Shai Halevi, Michael Steiner
2006 J jnl
Mitigating Dictionary Attacks on Password-Protected Local Storage.
IACR Cryptol. ePrint Arch.
Ran Canetti, Shai Halevi, Michael Steiner
2005 — conf
A Privacy-Protecting Coupon System.
Financial Cryptography
Liqun Chen, Matthias Enzmann, Ahmad-Reza Sadeghi, Markus Schneider, Michael Steiner
2005 B conf
Hardness Amplification of Weakly Verifiable Puzzles.
TCC
Ran Canetti, Shai Halevi, Michael Steiner
2004 J jnl
Hardness amplification of weakly verifiable puzzles.
IACR Cryptol. ePrint Arch.
Ran Canetti, Shai Halevi, Michael Steiner
2003 J jnl
Regional knowledge networks as evolving social technologies.
Int. J. Technol. Manag.
Michael Steiner
2002 J jnl
Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference.
IACR Cryptol. ePrint Arch.
Ahmad-Reza Sadeghi, Michael Steiner
2002 — conf
Polynomial Fairness and Liveness.
CSFW
Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner
2002 — —
Secure group key agreement.
Michael Steiner
2001 A* conf
Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference.
EUROCRYPT
Ahmad-Reza Sadeghi, Michael Steiner
2001 J jnl
Secure password-based cipher suite for TLS.
ACM Trans. Inf. Syst. Secur.
Michael Steiner, Peter Buhler, Thomas Eirich, Michael Waidner
2001 J jnl
Three-party encrypted key exchange without server public-keys.
IEEE Commun. Lett.
Chun-Li Lin, Hung-Min Sun, Michael Steiner, Tzonelih Hwang
2000 J jnl
Design, implementation, and deployment of the iKP secure electronic payment system.
IEEE J. Sel. Areas Commun.
Mihir Bellare, Juan A. Garay, Ralf C. Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Els Van Herreweghen, Michael Waidner
2000 J jnl
Key Agreement in Dynamic Peer Groups.
IEEE Trans. Parallel Distributed Syst.
Michael Steiner, Gene Tsudik, Michael Waidner
2000 J jnl
New multiparty authentication services and key agreement protocols.
IEEE J. Sel. Areas Commun.
Giuseppe Ateniese, Michael Steiner, Gene Tsudik
2000 — book
SEMPER - Secure Electronic Marketplace for Europe
Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, Michael Waidner
2000 A* conf
Secure Password-Based Cipher Suite for TLS.
NDSS
Peter Buhler, Thomas Eirich, Michael Waidner, Michael Steiner
2000 J jnl
State of the art in electronic payment systems.
Adv. Comput.
N. Asokan, Philippe A. Janson, Michael Steiner, Michael Waidner
1999 J jnl
Authenticating public terminals.
Comput. Networks
N. Asokan, Hervé Debar, Michael Steiner, Michael Waidner
1998 A* conf
Authenticated Group Key Agreement and Friends.
CCS
Giuseppe Ateniese, Michael Steiner, Gene Tsudik
1998 A conf
CLIQUES: A New Approach to Group Key Agreement.
ICDCS
Michael Steiner, Gene Tsudik, Michael Waidner
1998 J jnl
Designing a Generic Payment Service.
IBM Syst. J.
José L. Abad Peiro, N. Asokan, Michael Steiner, Michael Waidner
1998 — conf
Towards a Framework for Handling Disputes in Payment Systems.
USENIX Workshop on Electronic Commerce
N. Asokan, Els Van Herreweghen, Michael Steiner
1997 J jnl
The State of the Art in Electronic Payment Systems.
Computer
N. Asokan, Philippe A. Janson, Michael Steiner, Michael Waidner
1996 A* conf
Diffie-Hellman Key Distribution Extended to Group Communication.
CCS
Michael Steiner, Gene Tsudik, Michael Waidner
1995 — conf
Generic Extensions of WWW Browsers.
USENIX Workshop on Electronic Commerce
Ralf C. Hauser, Michael Steiner
1995 J jnl
Refinement and Extension of Encrypted Key Exchange.
ACM SIGOPS Oper. Syst. Rev.
Michael Steiner, Gene Tsudik, Michael Waidner
1995 — conf
iKP - A Family of Secure Electronic Payment Protocols.
USENIX Workshop on Electronic Commerce
Mihir Bellare, Amir Herzberg, Michael Steiner, Gene Tsudik, Michael Waidner, Ralf C. Hauser, Juan A. Garay