INDUS: Effective and Efficient Language Models for Scientific Applications.

Birgit Pfitzmann IBM Research Zurich, Switzerland Saarland University, Department of Computer Science, Saarbrücken, Germany University of Hildesheim, Germany https://researcher.watson.ibm.com/researcher/view.php?person=zurich-BPF https://dl.acm.org/profile/81100247836 https://mathgenealogy.org/id.php?id=107567 Bishwaranjan Bhattacharjee Aashka Trivedi Masayasu Muraoka Muthukumaran Ramasubramanian Takuma Udagawa Iksha Gurung Nishan Pantha Rong Zhang Bharath Dandala Rahul Ramachandran Manil Maskey Kaylin M. Bugbee Michael Little Elizabeth Fancher Irina Gerasimov Armin Mehrabian Lauren M. Sanders Sylvain Costes Sergi Blanco-Cuaresma Kelly E. Lockhart Thomas Allen Félix Grèzes Megan Ansdell Alberto Accomazzi Yousef El-Kurdi Davis Wertheimer Birgit Pfitzmann Cesar Berrospi Ramis Michele Dolfi Rafael Teixeira de Lima Panagiotis Vagenas S. Karthik Mukkavilli Peter W. J. Staar Sanaz Vahidinia Ryan McGranaghan Tsengdar J. Lee INDUS: Effective and Efficient Language Models for Scientific Applications. 98-112 2024 EMNLP (Industry Track) https://doi.org/10.18653/v1/2024.emnlp-industry.9 https://aclanthology.org/2024.emnlp-industry.9 https://www.wikidata.org/entity/Q136652995 conf/emnlp/2024i db/conf/emnlp/emnlp2024i.html#BhattacharjeeTM24

Bishwaranjan Bhattacharjee Aashka Trivedi Masayasu Muraoka Muthukumaran Ramasubramanian Takuma Udagawa Iksha Gurung Rong Zhang Bharath Dandala Rahul Ramachandran Manil Maskey Kaylin M. Bugbee Mike Little Elizabeth Fancher Lauren M. Sanders Sylvain V. Costes Sergi Blanco-Cuaresma Kelly E. Lockhart Thomas Allen Félix Grèzes Megan Ansdell Alberto Accomazzi Yousef El-Kurdi Davis Wertheimer Birgit Pfitzmann Cesar Berrospi Ramis Michele Dolfi Rafael Teixeira de Lima Panagiotis Vagenas S. Karthik Mukkavilli Peter W. J. Staar Sanaz Vahidinia Ryan McGranaghan Armin Mehrabian Tsengdar J. Lee INDUS: Effective and Efficient Language Models for Scientific Applications. 2024 abs/2405.10725 CoRR https://doi.org/10.48550/arXiv.2405.10725 db/journals/corr/corr2405.html#abs-2405-10725

Birgit Pfitzmann Christoph Auer Michele Dolfi Ahmed S. Nassar Peter W. J. Staar DocLayNet: A Large Human-Annotated Dataset for Document-Layout Segmentation. 3743-3751 2022 KDD https://doi.org/10.1145/3534678.3539043 conf/kdd/2022 db/conf/kdd/kdd2022.html#PfitzmannADNS22

Birgit Pfitzmann Christoph Auer Michele Dolfi Ahmed S. Nassar Peter W. J. Staar DocLayNet: A Large Human-Annotated Dataset for Document-Layout Analysis. 2022 abs/2206.01062 CoRR https://doi.org/10.48550/arXiv.2206.01062 db/journals/corr/corr2206.html#abs-2206-01062

Kristof Kloeckner Constantin Adam Nikos Anerousis Naga Ayachitula Muhammed Fatih Bulut Gargi Dasgupta Yu Deng 0004 Yixin Diao Nicholas C. Fuller Sandeep Gopisetty Milton Hernandez Jinho Hwang Pietro Iannucci Anup K. Kalia Giovanni Lanfranchi David Lanyi Heiko Ludwig A. Mahamuni Ruchi Mahindru Fan Jing Meng Hamid R. Motahari Nezhad Karin Murthy Taiga Nakamura Amit M. Paradkar Dennis A. Perpetua Birgit Pfitzmann Daniela Rosu 0001 Larisa Shwartz Zhong Su Maheswaran Surendra Shu Tao Hagen Völzer Maja Vukovic Dorothea Wiesmann S. Wozniak Gary Wright Jin Xiao 0005 Sai Zeng Building a cognitive platform for the managed IT services lifecycle. 8:1-8:11 2018 62 IBM J. Res. Dev. 1 https://doi.org/10.1147/JRD.2017.2770642 db/journals/ibmrd/ibmrd62.html#KloecknerAAABDD18

Birgit Pfitzmann Nikolai Joukov Migration to Multi-image Cloud Templates. 80-87 2011 IEEE SCC https://doi.org/10.1109/SCC.2011.89 https://doi.ieeecomputersociety.org/10.1109/SCC.2011.89 conf/IEEEscc/2011 db/conf/IEEEscc/scc2011.html#PfitzmannJ11 Ran Canetti Suresh Chari Shai Halevi Birgit Pfitzmann Arnab Roy 0001 Michael Steiner 0001 Wietse Z. Venema Composable Security Analysis of OS Services. 431-448 2011 ACNS https://doi.org/10.1007/978-3-642-21554-4_25 conf/acns/2011 db/conf/acns/acns2011.html#CanettiCHPRSV11 Saman A. Zonouz Aashish Sharma HariGovind V. Ramasamy Zbigniew T. Kalbarczyk Birgit Pfitzmann Kevin P. McAuliffe Ravishankar K. Iyer William H. Sanders Eric Cope Managing business health in the presence of malicious attacks. 9-14 2011 DSN Workshops https://doi.org/10.1109/DSNW.2011.5958856 https://doi.ieeecomputersociety.org/10.1109/DSNW.2011.5958856 conf/dsn/2011w db/conf/dsn/dsnw2011.html#ZonouzSRKPMISC11 Nikolai Joukov Vasily Tarasov Joel Ossher Birgit Pfitzmann Sergej Chicherin Marco Pistoia Takaaki Tateishi Static discovery and remediation of code-embedded resource dependencies. 233-240 2011 Integrated Network Management https://doi.org/10.1109/INM.2011.5990696 conf/im/2011 db/conf/im/im2011.html#JoukovTOPCPT11 HariGovind V. Ramasamy Cheng-Lin Tsao Birgit Pfitzmann Nikolai Joukov James W. Murray Towards Automated Identification of Security Zone Classification in Enterprise Networks. 2011 Hot-ICE https://www.usenix.org/conference/hot-ice11/towards-automated-identification-security-zone-classification-enterprise conf/nsdi/2011hotice db/conf/nsdi/hotice2011.html#RamasamyTPJM11 Nikolai Joukov Birgit Pfitzmann HariGovind V. Ramasamy Murthy V. Devarakonda Application-storage discovery. 2010 SYSTOR https://doi.org/10.1145/1815695.1815720 conf/systor/2010 db/conf/systor/systor2010.html#JoukovPRD10

Ran Canetti Suresh Chari Shai Halevi Birgit Pfitzmann Arnab Roy 0001 Michael Steiner 0001 Wietse Z. Venema Composable Security Analysis of OS Services. 213 2010 2010 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2010/213 db/journals/iacr/iacr2010.html#CanettiCHPRSV10

Nikolai Joukov Birgit Pfitzmann HariGovind V. Ramasamy Norbert G. Vogl Murthy V. Devarakonda Tryg Ager ITBVM: IT Business Value Modeler. 128-135 2009 IEEE SCC https://doi.org/10.1109/SCC.2009.50 https://doi.ieeecomputersociety.org/10.1109/SCC.2009.50 conf/IEEEscc/2009 db/conf/IEEEscc/scc2009.html#JoukovPRVDA09

Michael Backes 0001 Birgit Pfitzmann Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. 33-54 2008 7 Int. J. Inf. Sec. 1 https://doi.org/10.1007/s10207-007-0040-z db/journals/ijisec/ijisec7.html#BackesP08

Michael Backes 0001 Birgit Pfitzmann Andre Scedrov Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. 497-530 2008 16 J. Comput. Secur. 5 https://doi.org/10.3233/JCS-2008-0332 https://www.wikidata.org/entity/Q122053119 db/journals/jcs/jcs16.html#BackesPS08

David A. Basin Felix Klaedtke Samuel Müller 0002 Birgit Pfitzmann Runtime Monitoring of Metric First-order Temporal Properties. 2008 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1740 conf/fsttcs/2008 db/conf/fsttcs/fsttcs2008.html#BasinKMP08 49-60

Michael Backes 0001 Birgit Pfitzmann Michael Waidner The reactive simulatability (RSIM) framework for asynchronous systems. 1685-1720 2007 205 Inf. Comput. 12 https://doi.org/10.1016/j.ic.2007.05.002 db/journals/iandc/iandc205.html#BackesPW07

Carl E. Abrams Juerg von Känel Samuel Müller 0002 Birgit Pfitzmann Susanne Ruschka-Taylor Optimized enterprise risk management. 219-234 2007 46 IBM Syst. J. 2 https://doi.org/10.1147/sj.462.0219 db/journals/ibmsj/ibmsj46.html#AbramsKMPR07

Michael Backes 0001 Birgit Pfitzmann Andre Scedrov Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. 112-124 2007 CSF https://doi.org/10.1109/CSF.2007.23 https://doi.ieeecomputersociety.org/10.1109/CSF.2007.23 conf/csfw/2007 db/conf/csfw/csf2007.html#BackesPS07 Birgit Pfitzmann Multi-layer Audit of Access Rights. 18-32 2007 conf/sdmw/2007 Secure Data Management https://doi.org/10.1007/978-3-540-75248-6_2 db/conf/sdmw/sdmw2007.html#Pfitzmann07 Jan Camenisch Birgit Pfitzmann Federated Identity Management. 213-238 2007 Security, Privacy, and Trust in Modern Data Management https://doi.org/10.1007/978-3-540-69861-6_15 books/sp/PJ2007 db/books/collections/PJ2007.html#CamenischP07 Christoph Sprenger 0001 Michael Backes 0001 David A. Basin Birgit Pfitzmann Michael Waidner Cryptographically Sound Theorem Proving. 153-166 2006 conf/csfw/2006 CSFW https://doi.org/10.1109/CSFW.2006.10 https://doi.ieeecomputersociety.org/10.1109/CSFW.2006.10 db/conf/csfw/csfw2006.html#SprengerBBPW06 Zinaida Benenson Felix C. Freiling Birgit Pfitzmann Christian Rohner Michael Waidner Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks. 165-178 2006 conf/esas/2006 ESAS https://doi.org/10.1007/11964254_15 db/conf/esas/esas2006.html#BenensonFPRW06 Michael Backes 0001 Birgit Pfitzmann Michael Waidner Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. 404-423 2006 conf/esorics/2006 ESORICS https://doi.org/10.1007/11863908_25 db/conf/esorics/esorics2006.html#BackesPW06 Michael Backes 0001 Birgit Pfitzmann Michael Waidner Formal Methods and Cryptography. 612-616 2006 conf/fm/2006 FM https://doi.org/10.1007/11813040_44 db/conf/fm/fm2006.html#BackesPW06 Michael Backes 0001 Sebastian Mödersheim Birgit Pfitzmann Luca Viganò 0001 Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. 428-445 2006 conf/fossacs/2006 FoSSaCS https://doi.org/10.1007/11690634_29 db/conf/fossacs/fossacs2006.html#BackesMPV06 Michael Backes 0001 Birgit Pfitzmann On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. 233-245 2006 conf/sec/2006 SEC https://doi.org/10.1007/0-387-33406-8_20 db/conf/sec/sec2006.html#BackesP06 Günter Karjoth Birgit Pfitzmann Matthias Schunter Michael Waidner Service-oriented Assurance - Comprehensive Security by Explicit Assurances. 13-24 2006 Quality of Protection https://doi.org/10.1007/978-0-387-36584-8_2 series/ais/23 db/series/ais/ais23.html#KarjothPSW06

Birgit Pfitzmann Matthias Schunter Michael Waidner Reactively Simulatable Certified Mail. 41 2006 2006 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2006/041 db/journals/iacr/iacr2006.html#PfitzmannSW06

Christoph Sprenger 0001 Michael Backes 0001 David A. Basin Birgit Pfitzmann Michael Waidner Cryptographically Sound Theorem Proving. 47 2006 2006 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2006/047 db/journals/iacr/iacr2006.html#SprengerBBPW06

Michael Backes 0001 Sebastian Mödersheim Birgit Pfitzmann Luca Viganò 0001 Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. 58 2006 2006 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2006/058 db/journals/iacr/iacr2006.html#BackesMPV06

Michael Backes 0001 Birgit Pfitzmann Michael Waidner Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. 68 2006 2006 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2006/068 db/journals/iacr/iacr2006.html#BackesPW06

Michael Backes 0001 Birgit Pfitzmann Michael Waidner Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. 135-154 2005 4 Int. J. Inf. Sec. 3 https://doi.org/10.1007/s10207-004-0056-6 db/journals/ijisec/ijisec4.html#BackesPW05

Michael Backes 0001 Birgit Pfitzmann Michael Waidner Reactively secure signature schemes. 242-252 2005 4 Int. J. Inf. Sec. 4 https://doi.org/10.1007/s10207-004-0062-8 db/journals/ijisec/ijisec4.html#BackesPW05a

Michael Backes 0001 Birgit Pfitzmann Relating Symbolic and Cryptographic Secrecy. 109-123 2005 2 IEEE Trans. Dependable Secur. Comput. 2 https://doi.org/10.1109/TDSC.2005.25 http://doi.ieeecomputersociety.org/10.1109/TDSC.2005.25 db/journals/tdsc/tdsc2.html#BackesP05

Michael Backes 0001 Birgit Pfitzmann Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. 178-196 2005 conf/esorics/2005 ESORICS https://doi.org/10.1007/11555827_11 db/conf/esorics/esorics2005.html#BackesP05 Thomas Groß 0001 Birgit Pfitzmann Ahmad-Reza Sadeghi Browser Model for Security Analysis of Browser-Based Protocols. 489-508 2005 conf/esorics/2005 ESORICS https://doi.org/10.1007/11555827_28 db/conf/esorics/esorics2005.html#GrossPS05 Christopher Giblin Alice Y. Liu Samuel Müller 0002 Birgit Pfitzmann Xin Zhou Regulations Expressed As Logical Models (REALM). 37-48 2005 JURIX conf/jurix/2005 db/conf/jurix/jurix2005.html#GiblinLMPZ05 http://www.booksonline.iospress.nl/Content/View.aspx?piid=838 Michael Backes 0001 Birgit Pfitzmann Relating Symbolic and Cryptographic Secrecy. 171-182 2005 conf/sp/2005 S&P https://doi.org/10.1109/SP.2005.17 https://doi.ieeecomputersociety.org/10.1109/SP.2005.17 db/conf/sp/sp2005.html#BackesP05 Thomas Groß 0001 Birgit Pfitzmann Ahmad-Reza Sadeghi Proving a WS-federation passive requestor profile with a browser model. 54-64 2005 SWS https://doi.org/10.1145/1103022.1103034 conf/sws/2005 db/conf/sws/sws2005.html#GrobetaPS05

Thomas Groß 0001 Birgit Pfitzmann Ahmad-Reza Sadeghi Browser Model for Security Analysis of Browser-Based Protocols. 127 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/127 db/journals/iacr/iacr2005.html#GrossPS05

Michael Backes 0001 Birgit Pfitzmann Limits of the Cryptographic Realization of Dolev-Yao-style XOR. 220 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/220 db/journals/iacr/iacr2005.html#BackesP05

Michael Backes 0001 Birgit Pfitzmann Andre Scedrov Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. 421 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/421 db/journals/iacr/iacr2005.html#BackesPS05

Michael Backes 0001 Birgit Pfitzmann Computational probabilistic noninterference. 42-60 2004 3 Int. J. Inf. Sec. 1 https://doi.org/10.1007/s10207-004-0039-7 db/journals/ijisec/ijisec3.html#BackesP04

Birgit Pfitzmann Privacy in enterprise identity federation - policies for Liberty 2 single sign on. 45-58 2004 9 Inf. Secur. Tech. Rep. 1 https://doi.org/10.1016/S1363-4127(04)00015-9 db/journals/istr/istr9.html#Pfitzmann04

Michael Backes 0001 Birgit Pfitzmann Michael Waidner Polynomial liveness. 589-617 2004 12 J. Comput. Secur. 3-4 db/journals/jcs/jcs12.html#BackesPW04 https://doi.org/10.3233/jcs-2004-123-409 https://www.wikidata.org/entity/Q114944127

Michael Backes 0001 Birgit Pfitzmann A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. 2075-2086 2004 22 IEEE J. Sel. Areas Commun. 10 https://doi.org/10.1109/JSAC.2004.836016 db/journals/jsac/jsac22.html#BackesP04

Michael Backes 0001 Birgit Pfitzmann Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. 204-218 2004 conf/csfw/2004 CSFW https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.20 db/conf/csfw/csfw2004.html#BackesP04 Michael Backes 0001 Birgit Pfitzmann Michael Waidner Justifying a Dolev-Yao Model Under Active Attacks. 1-41 2004 conf/fosad/2005 FOSAD https://doi.org/10.1007/11554578_1 db/conf/fosad/fosad2005.html#BackesPW04 Michael Backes 0001 Birgit Pfitzmann Michael Waidner Low-Level Ideal Signatures and General Integrity Idealization. 39-51 https://doi.org/10.1007/978-3-540-30144-8_4 2004 conf/isw/2004 ISC db/conf/isw/isc2004.html#BackesPW04 Thomas Groß 0001 Birgit Pfitzmann Proving a WS-Federation passive requestor profile. 77-86 2004 SWS https://doi.org/10.1145/1111348.1111357 conf/sws/2004 db/conf/sws/sws2004.html#GrossP04 Michael Backes 0001 Birgit Pfitzmann Michael Waidner A General Composition Theorem for Secure Reactive Systems. 336-354 https://doi.org/10.1007/978-3-540-24638-1_19 2004 conf/tcc/2004 TCC db/conf/tcc/tcc2004.html#BackesPW04 Vijayalakshmi Atluri Birgit Pfitzmann Patrick D. McDaniel Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004 CCS ACM 2004 1-58113-961-6 db/conf/ccs/ccs2004p.html

Michael Backes 0001 Birgit Pfitzmann Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. 59 2004 2004 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2004/059 db/journals/iacr/iacr2004.html#BackesP04

Michael Backes 0001 Birgit Pfitzmann Michael Waidner The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. 82 2004 2004 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2004/082 db/journals/iacr/iacr2004.html#BackesPW04

Michael Backes 0001 Birgit Pfitzmann Relating Symbolic and Cryptographic Secrecy. 300 2004 2004 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2004/300 db/journals/iacr/iacr2004.html#BackesP04a

Birgit Pfitzmann Michael Waidner Analysis of Liberty Single-Sign-on with Enabled Clients. 38-44 2003 7 IEEE Internet Comput. 6 https://doi.org/10.1109/MIC.2003.1250582 http://doi.ieeecomputersociety.org/10.1109/MIC.2003.1250582 db/journals/internet/internet7.html#PfitzmannW03

Michael Backes 0001 Birgit Pfitzmann Michael Waidner Security in Business Process Engineering. 168-183 2003 conf/bpm/2003 Business Process Management https://doi.org/10.1007/3-540-44895-0_12 db/conf/bpm/bpm2003.html#BackesPW03 Michael Backes 0001 Birgit Pfitzmann Michael Waidner A composable cryptographic library with nested operations. 220-230 2003 conf/ccs/2003 CCS https://doi.org/10.1145/948109.948140 db/conf/ccs/ccs2003.html#BackesPW03 Michael Backes 0001 Birgit Pfitzmann Matthias Schunter A Toolkit for Managing Enterprise Privacy Policies. 162-180 https://doi.org/10.1007/978-3-540-39650-5_10 2003 conf/esorics/2003 ESORICS db/conf/esorics/esorics2003.html#BackesPS03 Michael Backes 0001 Birgit Pfitzmann Michael Waidner Symmetric Authentication within a Simulatable Cryptographic Library. 271-290 https://doi.org/10.1007/978-3-540-39650-5_16 2003 conf/esorics/2003 ESORICS db/conf/esorics/esorics2003.html#BackesPW03 Michael Backes 0001 Birgit Pfitzmann A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. 1-12 https://doi.org/10.1007/978-3-540-24597-1_1 2003 conf/fsttcs/2003 FSTTCS db/conf/fsttcs/fsttcs2003.html#BackesP03 Michael Backes 0001 Birgit Pfitzmann Michael Waidner Reactively Secure Signature Schemes. 84-95 https://doi.org/10.1007/10958513_7 2003 conf/isw/2003 ISC db/conf/isw/isc2003.html#BackesPW03 Birgit Pfitzmann Privacy in Enterprise Identity Federation - Policies for Liberty Single Signon. 189-204 https://doi.org/10.1007/978-3-540-40956-4_13 2003 conf/pet/2003 Privacy Enhancing Technologies db/conf/pet/pet2003.html#Pfitzmann03 Michael Backes 0001 Birgit Pfitzmann Intransitive Non-Interference for Cryptographic Purpose. 140- 2003 conf/sp/2003 S&P https://doi.org/10.1109/SECPRI.2003.1199333 https://doi.ieeecomputersociety.org/10.1109/SECPRI.2003.1199333 db/conf/sp/sp2003.html#BackesP03 Birgit Pfitzmann Michael Waidner Federated Identity-Management Protocols. 153-174 2003 conf/spw/2003 Security Protocols Workshop https://doi.org/10.1007/11542322_20 db/conf/spw/spw2003.html#PfitzmannW03 Birgit Pfitzmann Federated Identity-Management Protocols (Discussion). 175-177 2003 conf/spw/2003 Security Protocols Workshop https://doi.org/10.1007/11542322_21 db/conf/spw/spw2003.html#Pfitzmann03

Michael Backes 0001 Birgit Pfitzmann Michael Waidner A Universally Composable Cryptographic Library. 15 2003 2003 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2003/015 db/journals/iacr/iacr2003.html#BackesPW03

Michael Backes 0001 Birgit Pfitzmann A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. 121 2003 2003 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2003/121 db/journals/iacr/iacr2003.html#BackesP03

Michael Backes 0001 Birgit Pfitzmann Michael Waidner Symmetric Authentication Within a Simulatable Cryptographic Library. 145 2003 2003 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2003/145 db/journals/iacr/iacr2003.html#BackesPW03a

Michael Backes 0001 Birgit Pfitzmann Michael Steiner 0001 Michael Waidner Polynomial Fairness and Liveness. 160-174 2002 conf/csfw/2002 CSFW https://doi.org/10.1109/CSFW.2002.1021814 https://doi.ieeecomputersociety.org/10.1109/CSFW.2002.1021814 db/conf/csfw/csfw2002.html#BackesPSW02 Michael Backes 0001 Birgit Pfitzmann Computational Probabilistic Non-interference. 1-23 2002 conf/esorics/2002 ESORICS https://doi.org/10.1007/3-540-45853-0_1 db/conf/esorics/esorics2002.html#BackesP02 Michael Backes 0001 Christian Jacobi 0002 Birgit Pfitzmann Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. 310-329 2002 conf/fm/2002 FME https://doi.org/10.1007/3-540-45614-7_18 db/conf/fm/fme2002.html#BackesJP02 Birgit Pfitzmann Michael Waidner Privacy in browser-based attribute exchange. 52-62 2002 conf/wpes/2002 WPES https://doi.org/10.1145/644527.644533 db/conf/wpes/wpes2002.html#PfitzmannW02 Ammar Alkassar Alexander Geraldy Birgit Pfitzmann Ahmad-Reza Sadeghi Optimized Self-Synchronizing Mode of Operation. 78-91 2001 conf/fse/2001 FSE https://doi.org/10.1007/3-540-45473-X_7 db/conf/fse/fse2001.html#AlkassarGPS01 Birgit Pfitzmann Michael Waidner A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. 184-200 2001 conf/sp/2001 S&P https://doi.org/10.1109/SECPRI.2001.924298 https://doi.ieeecomputersociety.org/10.1109/SECPRI.2001.924298 db/conf/sp/sp2001.html#PfitzmannW01 Birgit Pfitzmann James Riordan Christian Stüble Michael Waidner Arnd Weber Die PERSEUS Systemarchitektur. 1-17 2001 VIS https://doi.org/10.1007/978-3-663-05918-9_1 conf/vis/2001 db/conf/vis/vis2001.html#PfitzmannRSWW01 Birgit Pfitzmann Advances in Cryptology - EUROCRYPT 2001, International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceeding EUROCRYPT Lecture Notes in Computer Science 2045 Springer 2001 3-540-42070-3 https://doi.org/10.1007/3-540-44987-6 db/conf/eurocrypt/eurocrypt2001.html Birgit Pfitzmann Ahmad-Reza Sadeghi Anonymous Fingerprinting with Direct Non-repudiation. 401-414 2000 conf/asiacrypt/2000 ASIACRYPT https://doi.org/10.1007/3-540-44448-3_31 db/conf/asiacrypt/asiacrypt2000.html#PfitzmannS00 Birgit Pfitzmann Michael Waidner Composition and integrity preservation of secure reactive systems. 245-254 2000 conf/ccs/2000 CCS https://doi.org/10.1145/352600.352639 db/conf/ccs/ccs2000.html#PfitzmannW00 Birgit Pfitzmann Ahmad-Reza Sadeghi Self-Escrowed Cash against User Blackmailing. 42-52 2000 conf/fc/2000 Financial Cryptography https://doi.org/10.1007/3-540-45472-1_4 db/conf/fc/fc2000.html#PfitzmannS00 Gérard Lacoste Birgit Pfitzmann Michael Steiner 0001 Michael Waidner SEMPER - Secure Electronic Marketplace for Europe Lecture Notes in Computer Science 1854 Springer 2000 3-540-67825-5 https://doi.org/10.1007/b75215

Birgit Pfitzmann Ahmad-Reza Sadeghi Anonymous Fingerprinting with Direct Non-Repudiation. 32 2000 2000 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2000/032 db/journals/iacr/iacr2000.html#PfitzmannS00

Birgit Pfitzmann Michael Waidner A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. 66 2000 2000 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2000/066 db/journals/iacr/iacr2000.html#PfitzmannW00

Birgit Pfitzmann Ahmad-Reza Sadeghi Coin-Based Anonymous Fingerprinting. 150-164 1999 conf/eurocrypt/99 EUROCRYPT https://doi.org/10.1007/3-540-48910-X_11 db/conf/eurocrypt/eurocrypt99.html#PfitzmannS99 André Adelsbach Birgit Pfitzmann Ahmad-Reza Sadeghi Proving Ownership of Digital Content. 117-133 1999 conf/ih/1999 Information Hiding db/conf/ih/ih99.html#AdelsbachPS99 https://doi.org/10.1007/10719724_9 Hans-Jürgen Guth Birgit Pfitzmann Error- and Collusion-Secure Fingerprinting for Digital Data. 134-145 1999 conf/ih/1999 Information Hiding db/conf/ih/ih99.html#GuthP99 https://doi.org/10.1007/10719724_10 Birgit Pfitzmann Matthias Schunter Michael Waidner Cryptographic Security of Reactive Systems. 1999 conf/wsaif/1999 Workshop on Secure Architectures and Information Flow https://doi.org/10.1016/S1571-0661(04)00095-7 https://www.wikidata.org/entity/Q115012803 db/journals/entcs/entcs32.html#PfitzmannSW00 59-77

Anja Jerichow Jan Müller 0001 Andreas Pfitzmann Birgit Pfitzmann Michael Waidner Real-time mixes: a bandwidth-efficient anonymity protocol. 495-509 1998 16 IEEE J. Sel. Areas Commun. 4 https://doi.org/10.1109/49.668973 db/journals/jsac/jsac16.html#JerichowMPPW98

Birgit Pfitzmann Michael Waidner How to Break Fraud-Detectable Key Recovery. 23-28 1998 32 ACM SIGOPS Oper. Syst. Rev. 1 db/journals/sigops/sigops32.html#PfitzmannW98 https://doi.org/10.1145/280559.280563

Ivan Damgård Torben P. Pedersen Birgit Pfitzmann Statistical Secrecy and Multibit Commitments. 1143-1151 1998 44 IEEE Trans. Inf. Theory 3 db/journals/tit/tit44.html#DamgardPP98 https://doi.org/10.1109/18.669255

Oded Goldreich 0001 Birgit Pfitzmann Ronald L. Rivest Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop. 153-168 https://doi.org/10.1007/BFb0055726 1998 conf/crypto/1998 CRYPTO db/conf/crypto/crypto98.html#GoldreichPR98 Ivan Damgård Birgit Pfitzmann Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP. 772-783 https://doi.org/10.1007/BFb0055101 1998 conf/icalp/1998 ICALP db/conf/icalp/icalp98.html#DamgardP98 Birgit Pfitzmann Matthias Schunter Michael Waidner Optimal Efficiency of Optimistic Contract Signing. 113-122 1998 conf/podc/1998 PODC https://doi.org/10.1145/277697.277717 db/conf/podc/podc98.html#PfitzmannSW98

Andreas Pfitzmann Birgit Pfitzmann Matthias Schunter Michael Waidner Trusting Mobile User Devices and Security Modules. 61-68 1997 30 Computer 2 db/journals/computer/computer30.html#PfitzmannPSW97 https://doi.org/10.1109/2.566159 http://doi.ieeecomputersociety.org/10.1109/2.566159 https://www.wikidata.org/entity/Q114991982

Ivan Damgård Torben P. Pedersen Birgit Pfitzmann On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. 163-194 1997 10 J. Cryptol. 3 db/journals/joc/joc10.html#DamgardPP97 https://doi.org/10.1007/s001459900026

Torben Pryds Pedersen Birgit Pfitzmann Fail-Stop Signatures. 291-330 1997 26 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp26.html#PedersenP97 https://doi.org/10.1137/S009753979324557X

Birgit Pfitzmann Michael Waidner Strong Loss Tolerance of Electronic Coin Systems. 194-213 1997 15 ACM Trans. Comput. Syst. 2 db/journals/tocs/tocs15.html#PfitzmannW97 https://doi.org/10.1145/253145.253282

Birgit Pfitzmann Michael Waidner Asymmetric Fingerprinting for Larger Collusions. 151-160 1997 conf/ccs/1997 CCS https://doi.org/10.1145/266420.266453 db/conf/ccs/ccs1997.html#PfitzmannW97 Birgit Pfitzmann Michael Waidner Anonymous Fingerprinting. 88-102 https://doi.org/10.1007/3-540-69053-0_8 1997 conf/eurocrypt/97 EUROCRYPT db/conf/eurocrypt/eurocrypt97.html#PfitzmannW97 Niko Baric Birgit Pfitzmann Collision-Free Accumulators and Fail-Stop Signature Schemes Without Trees. 480-494 https://doi.org/10.1007/3-540-69053-0_33 1997 conf/eurocrypt/97 EUROCRYPT db/conf/eurocrypt/eurocrypt97.html#BariP97 Birgit Pfitzmann Michael Waidner Kopierschutz durch asymmetrische Schlüsselkennzeichnung mit Signeten. 17-32 1997 Verläßliche IT-Systeme https://doi.org/10.1007/978-3-322-86842-8_2 books/vi/97/MRRS1997 db/books/collections/MRRS1997.html#PfitzmannW97

Oded Goldreich 0001 Birgit Pfitzmann Ronald L. Rivest Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop. 12 1997 1997 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/1997/012 db/journals/iacr/iacr1997.html#GoldreichPR97

Birgit Pfitzmann Digital Signature Schemes, General Framework and Fail-Stop Signatures Lecture Notes in Computer Science 1100 Springer 1996 3-540-61517-2 https://doi.org/10.1007/BFb0024619 Birgit Pfitzmann Matthias Schunter Asymmetric Fingerprinting (Extended Abstract). 84-95 https://doi.org/10.1007/3-540-68339-9_8 1996 conf/eurocrypt/96 EUROCRYPT db/conf/eurocrypt/eurocrypt96.html#PfitzmannS96 Birgit Pfitzmann Trials of Traced Traitors. 49-64 1996 conf/ih/1996 Information Hiding db/conf/ih/ih96.html#Pfitzmann96 https://doi.org/10.1007/3-540-61996-8_31 Birgit Pfitzmann Information Hiding Terminology - Results of an Informal Plenary Meeting and Additional Proposals. 347-350 1996 conf/ih/1996 Information Hiding db/conf/ih/ih96.html#Pfitzmann96a https://doi.org/10.1007/3-540-61996-8_52 Birgit Pfitzmann Fail-stop signature schemes. 1995 1-353 University of Hildesheim, Germany https://d-nb.info/945515413 Birgit Pfitzmann Matthias Schunter Michael Waidner How to Break Another Provably Secure Payment System. 121-132 https://doi.org/10.1007/3-540-49264-X_10 1995 conf/eurocrypt/95 EUROCRYPT db/conf/eurocrypt/eurocrypt95.html#PfitzmannSW95 Andreas Pfitzmann Birgit Pfitzmann Matthias Schunter Michael Waidner Vertrauenswürdiger Entwurf portabler Benutzerendgeräte und Sicherheitsmodule. 329- 1995 conf/vis/1995 VIS db/conf/vis/vis95.html#PfitzmannPSW95 Jean-Paul Boly Antoon Bosselaers Ronald Cramer Rolf Michelsen Stig Fr. Mjølsnes Frank Muller Torben P. Pedersen Birgit Pfitzmann Peter de Rooij Berry Schoenmakers Matthias Schunter Luc Vallée Michael Waidner The ESPRIT Project CAFE - High Security Digital Payment Systems. 217-230 1994 conf/esorics/1994 ESORICS https://doi.org/10.1007/3-540-58618-0_66 db/conf/esorics/esorics1994.html#BolyBCMMMPPRSSVW94 Birgit Pfitzmann Breaking Efficient Anonymous Channel. 332-340 https://doi.org/10.1007/BFb0053448 1994 conf/eurocrypt/94 EUROCRYPT db/conf/eurocrypt/eurocrypt94.html#Pfitzmann94 Birgit Pfitzmann Sorting Out Signature Schemes. 74-85 1993 conf/ccs/1993 CCS https://doi.org/10.1145/168588.168597 db/conf/ccs/ccs1993.html#Pfitzmann93 Ivan Damgård Torben P. Pedersen Birgit Pfitzmann On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. 250-265 https://doi.org/10.1007/3-540-48329-2_22 1993 conf/crypto/1993 CRYPTO db/conf/crypto/crypto93.html#DamgardPP93 Eugène van Heijst Torben P. Pedersen Birgit Pfitzmann New Constructions of Fail-Stop Signatures and Lower Bounds (Extended Abstract). 15-30 https://doi.org/10.1007/3-540-48071-4_2 1992 conf/crypto/1992 CRYPTO db/conf/crypto/crypto92.html#HeijstPP92 Birgit Pfitzmann Michael Waidner Attacks on Protocols for Server-Aided RSA Computation. 153-162 https://doi.org/10.1007/3-540-47555-9_13 1992 conf/eurocrypt/92 EUROCRYPT db/conf/eurocrypt/eurocrypt92.html#PfitzmannW92 Birgit Pfitzmann Michael Waidner Unconditional Byzantine Agreement for any Number of Faulty Processors. 339-350 1992 conf/stacs/1992 STACS db/conf/stacs/stacs92.html#PfitzmannW92 https://doi.org/10.1007/3-540-55210-3_195 Birgit Pfitzmann Michael Waidner How To Break and Repair A "Provably Secure" Untraceable Payment System. 338-350 https://doi.org/10.1007/3-540-46766-1_28 1991 conf/crypto/1991 CRYPTO db/conf/crypto/crypto91.html#PfitzmannW91 David Chaum Eugène van Heijst Birgit Pfitzmann Cryptographically Strong Undeniable Signatures, Unconditionally Secure for the Signer. 470-484 https://doi.org/10.1007/3-540-46766-1_38 1991 conf/crypto/1991 CRYPTO db/conf/crypto/crypto91.html#ChaumHP91 Andreas Pfitzmann Birgit Pfitzmann Michael Waidner ISDN-MIXes: Untraceable Communication with Small Bandwidth Overhead. 451-463 1991 conf/kivs/1991 Kommunikation in Verteilten Systemen db/conf/kivs/kivs91.html#PfitzmannPW91 https://doi.org/10.1007/978-3-642-76462-2_32 Birgit Baum-Waidner Birgit Pfitzmann Michael Waidner Unconditional Byzantine Agreement with Good Majority. 285-295 1991 conf/stacs/1991 STACS db/conf/stacs/stacs91.html#Baum-WaidnerPW91 https://doi.org/10.1007/BFb0020806 Birgit Pfitzmann Michael Waidner Fail-stop-Signaturen und ihre Anwendung. 289-301 1991 conf/vis/1991 VIS db/conf/vis/vis91.html#PfitzmannW91 https://doi.org/10.1007/978-3-642-76562-9_18 Birgit Pfitzmann Michael Waidner Unbedingte Unbeobachtbarkeit mit kryprographischer Robustheit. 302-320 1991 conf/vis/1991 VIS db/conf/vis/vis91.html#PfitzmannW91a https://doi.org/10.1007/978-3-642-76562-9_19 Dirk Fox Birgit Pfitzmann Effiziente Software-Implementierung des GMR-Signatursystems. 329-345 1991 conf/vis/1991 VIS db/conf/vis/vis91.html#FoxP91 https://doi.org/10.1007/978-3-642-76562-9_21 Gerrit Bleumer Birgit Pfitzmann Michael Waidner A Remark on a Signature Scheme Where Forgery Can Be Proved. 441-445 https://doi.org/10.1007/3-540-46877-3_39 1990 conf/eurocrypt/90 EUROCRYPT db/conf/eurocrypt/eurocrypt90.html#BleumerPW90 Michael Waidner Birgit Pfitzmann Loss-tolerance for electronic wallets. 140-147 1990 FTCS https://doi.org/10.1109/FTCS.1990.89349 conf/ftcs/1990 db/conf/ftcs/ftcs1990.html#WaidnerP90 Birgit Pfitzmann Andreas Pfitzmann How to Break the Direct RSA-Implementation of Mixes. 373-381 https://doi.org/10.1007/3-540-46885-4_37 1989 conf/eurocrypt/89 EUROCRYPT db/conf/eurocrypt/eurocrypt89.html#PfitzmannP89 Michael Waidner Birgit Pfitzmann The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). 690 https://doi.org/10.1007/3-540-46885-4_69 1989 conf/eurocrypt/89 EUROCRYPT db/conf/eurocrypt/eurocrypt89.html#WaidnerP89

Andreas Pfitzmann Birgit Pfitzmann Michael Waidner Datenschutz garantierende offene Kommunikationsnetze. 118-142 1988 11 Inform. Spektrum 3 db/journals/insk/insk11.html#PfitzmannPW88

Andreas Pfitzmann Birgit Pfitzmann Michael Waidner Weitere Aspekte fernmeldetechnischer Alternativen zum ISDN. 5-8 1988 11 Prax. Inf.verarb. Kommun. 1 https://doi.org/10.1515/piko.1988.11.1.5 db/journals/pik/pik11.html#PfitzmannPW88

Michael Waidner Birgit Pfitzmann Verlusttolerante elektronische Brieftaschen. 36-50 1987 conf/icftcs/1987 Fehlertolerierende Rechensysteme db/conf/icftcs/icftcs1987.html#WaidnerP87 https://doi.org/10.1007/978-3-642-45628-2_4 Carl E. Abrams Alberto Accomazzi Constantin Adam André Adelsbach Tryg Ager Ammar Alkassar Thomas Allen Nikos Anerousis Megan Ansdell Vijayalakshmi Atluri Christoph Auer Naga Ayachitula Michael Backes 0001 Niko Baric David A. Basin Birgit Baum-Waidner Zinaida Benenson Cesar BerrospiCesar Berrospi Ramis Bishwaranjan Bhattacharjee Sergi Blanco-Cuaresma Gerrit Bleumer Jean-Paul Boly Antoon Bosselaers Kaylin M. Bugbee Muhammed Fatih Bulut Jan Camenisch Ran Canetti Suresh Chari David Chaum Sergej Chicherin Eric Cope Sylvain V. CostesSylvain Costes Ronald Cramer Ivan Damgård Bharath Dandala Gargi Dasgupta Yu Deng 0004 Murthy V. Devarakonda Yixin Diao Michele Dolfi Yousef El-Kurdi Elizabeth Fancher Dirk Fox Felix C. Freiling Nicholas C. Fuller Alexander Geraldy Irina Gerasimov Christopher Giblin Oded Goldreich 0001 Sandeep Gopisetty Félix Grèzes Thomas Groß 0001 Iksha Gurung Hans-Jürgen Guth Shai Halevi Eugène van Heijst Milton Hernandez Jinho Hwang Pietro Iannucci Ravishankar K. Iyer Christian Jacobi 0002 Anja Jerichow Nikolai Joukov Zbigniew T. Kalbarczyk Anup K. Kalia Jürg von KänelJuerg von Känel Günter Karjoth Felix Klaedtke Kristof Kloeckner Gérard Lacoste Giovanni Lanfranchi David Lanyi Tsengdar J. Lee Rafael Teixeira de Lima Michael Little Mike Little Ying Liu 0045Alice Y. Liu Kelly E. Lockhart Heiko Ludwig A. Mahamuni Ruchi Mahindru Manil Maskey Kevin P. McAuliffe Patrick D. McDaniel Ryan McGranaghan Armin Mehrabian Fan Jing Meng Rolf Michelsen Stig Fr. Mjølsnes Sebastian Mödersheim S. Karthik Mukkavilli Frank Muller Jan Müller 0001 Samuel Müller 0002 Masayasu Muraoka James W. Murray Karin Murthy Taiga Nakamura Ahmed S. Nassar Hamid R. Motahari Nezhad Joel Ossher Nishan Pantha Amit M. Paradkar Torben P. PedersenTorben Pryds Pedersen Dennis A. Perpetua Andreas Pfitzmann Marco Pistoia Rahul Ramachandran HariGovind V. Ramasamy Muthukumaran Ramasubramanian James Riordan Ronald L. Rivest Christian Rohner Peter de Rooij Daniela Rosu 0001 Arnab Roy 0001 Susanne Ruschka-Taylor Ahmad-Reza Sadeghi Lauren M. Sanders William H. Sanders Andre Scedrov Berry Schoenmakers Matthias Schunter Aashish Sharma Larisa Shwartz Christoph Sprenger 0001 Peter W. J. Staar Michael Steiner 0001 Christian Stüble Zhong Su Maheswaran Surendra Shu Tao Vasily Tarasov Takaaki Tateishi Aashka Trivedi Cheng-Lin Tsao Takuma Udagawa Panagiotis Vagenas Sanaz Vahidinia Luc Vallée Wietse Z. Venema Luca Viganò 0001 Norbert G. Vogl Hagen Völzer Maja Vukovic Michael Waidner Arnd Weber Davis Wertheimer Dorothea Wiesmann S. Wozniak Gary Wright Jin Xiao 0005 Sai Zeng Rong Zhang Xin Zhou Saman A. Zonouz