Verlusttolerante elektronische Brieftaschen. - Michael Waidner; Birgit Pfitzmann (Fehlertolerierende Rechensysteme, 1987)

Datenschutz garantierende offene Kommunikationsnetze. - Andreas Pfitzmann; Birgit Pfitzmann; Michael Waidner (Inform. Spektrum, 1988)

Weitere Aspekte fernmeldetechnischer Alternativen zum ISDN. - Andreas Pfitzmann; Birgit Pfitzmann; Michael Waidner (Prax. Inf.verarb. Kommun., 1988)

How to Break the Direct RSA-Implementation of Mixes. - Birgit Pfitzmann; Andreas Pfitzmann (EUROCRYPT, 1989)

The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). - Michael Waidner; Birgit Pfitzmann (EUROCRYPT, 1989)

A Remark on a Signature Scheme Where Forgery Can Be Proved. - Gerrit Bleumer; Birgit Pfitzmann; Michael Waidner (EUROCRYPT, 1990)

Loss-tolerance for electronic wallets. - Michael Waidner; Birgit Pfitzmann (FTCS, 1990)

Cryptographically Strong Undeniable Signatures, Unconditionally Secure for the Signer. - David Chaum; Eugène van Heijst; Birgit Pfitzmann (CRYPTO, 1991)

How To Break and Repair A "Provably Secure" Untraceable Payment System. - Birgit Pfitzmann; Michael Waidner (CRYPTO, 1991)

ISDN-MIXes: Untraceable Communication with Small Bandwidth Overhead. - Andreas Pfitzmann; Birgit Pfitzmann; Michael Waidner (Kommunikation in Verteilten Systemen, 1991)

Unconditional Byzantine Agreement with Good Majority. - Birgit Baum-Waidner; Birgit Pfitzmann; Michael Waidner (STACS, 1991)

Effiziente Software-Implementierung des GMR-Signatursystems. - Dirk Fox; Birgit Pfitzmann (VIS, 1991)

Fail-stop-Signaturen und ihre Anwendung. - Birgit Pfitzmann; Michael Waidner (VIS, 1991)

Unbedingte Unbeobachtbarkeit mit kryprographischer Robustheit. - Birgit Pfitzmann; Michael Waidner (VIS, 1991)

New Constructions of Fail-Stop Signatures and Lower Bounds (Extended Abstract). - Eugène van Heijst; Torben P. Pedersen; Birgit Pfitzmann (CRYPTO, 1992)

Attacks on Protocols for Server-Aided RSA Computation. - Birgit Pfitzmann; Michael Waidner (EUROCRYPT, 1992)

Unconditional Byzantine Agreement for any Number of Faulty Processors. - Birgit Pfitzmann; Michael Waidner (STACS, 1992)

Sorting Out Signature Schemes. - Birgit Pfitzmann (CCS, 1993)

The ESPRIT Project CAFE - High Security Digital Payment Systems. - 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; et al. (ESORICS, 1994)

Breaking Efficient Anonymous Channel. - Birgit Pfitzmann (EUROCRYPT, 1994)

How to Break Another Provably Secure Payment System. - Birgit Pfitzmann; Matthias Schunter; Michael Waidner (EUROCRYPT, 1995)

Vertrauenswürdiger Entwurf portabler Benutzerendgeräte und Sicherheitsmodule. - Andreas Pfitzmann; Birgit Pfitzmann; Matthias Schunter; Michael Waidner (VIS, 1995)

Fail-stop signature schemes. - Birgit Pfitzmann (1995)

Digital Signature Schemes, General Framework and Fail-Stop Signatures - Birgit Pfitzmann (Springer, 1996)

Asymmetric Fingerprinting (Extended Abstract). - Birgit Pfitzmann; Matthias Schunter (EUROCRYPT, 1996)

Trials of Traced Traitors. - Birgit Pfitzmann (Information Hiding, 1996)

Information Hiding Terminology - Results of an Informal Plenary Meeting and Additional Proposals. - Birgit Pfitzmann (Information Hiding, 1996)

Kopierschutz durch asymmetrische Schlüsselkennzeichnung mit Signeten. - Birgit Pfitzmann; Michael Waidner (Verläßliche IT-Systeme, 1997)

Asymmetric Fingerprinting for Larger Collusions. - Birgit Pfitzmann; Michael Waidner (CCS, 1997)

Collision-Free Accumulators and Fail-Stop Signature Schemes Without Trees. - Niko Baric; Birgit Pfitzmann (EUROCRYPT, 1997)

Anonymous Fingerprinting. - Birgit Pfitzmann; Michael Waidner (EUROCRYPT, 1997)

Trusting Mobile User Devices and Security Modules. - Andreas Pfitzmann; Birgit Pfitzmann; Matthias Schunter; Michael Waidner (Computer, 1997)

Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop. - Oded Goldreich 001; Birgit Pfitzmann; Ronald L. Rivest (IACR Cryptol. ePrint Arch., 1997)

On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. - Ivan Damgård; Torben P. Pedersen; Birgit Pfitzmann (J. Cryptol., 1997)

Fail-Stop Signatures. - Torben P. Pedersen; Birgit Pfitzmann (SIAM J. Comput., 1997)

Strong Loss Tolerance of Electronic Coin Systems. - Birgit Pfitzmann; Michael Waidner (ACM Trans. Comput. Syst., 1997)

Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP. - Ivan Damgård; Birgit Pfitzmann (ICALP, 1998)

Optimal Efficiency of Optimistic Contract Signing. - Birgit Pfitzmann; Matthias Schunter; Michael Waidner (PODC, 1998)

Real-time mixes: a bandwidth-efficient anonymity protocol. - Anja Jerichow; Jan Müller 001; Andreas Pfitzmann; Birgit Pfitzmann; Michael Waidner (IEEE J. Sel. Areas Commun., 1998)

How to Break Fraud-Detectable Key Recovery. - Birgit Pfitzmann; Michael Waidner (ACM SIGOPS Oper. Syst. Rev., 1998)

Statistical Secrecy and Multibit Commitments. - Ivan Damgård; Torben P. Pedersen; Birgit Pfitzmann (IEEE Trans. Inf. Theory, 1998)

Coin-Based Anonymous Fingerprinting. - Birgit Pfitzmann; Ahmad-Reza Sadeghi (EUROCRYPT, 1999)

Proving Ownership of Digital Content. - André Adelsbach; Birgit Pfitzmann; Ahmad-Reza Sadeghi (Information Hiding, 1999)

Error- and Collusion-Secure Fingerprinting for Digital Data. - Hans-Jürgen Guth; Birgit Pfitzmann (Information Hiding, 1999)

Cryptographic Security of Reactive Systems. - Birgit Pfitzmann; Matthias Schunter; Michael Waidner (Workshop on Secure Architectures and Information Flow, 1999)

Composition and integrity preservation of secure reactive systems. - Birgit Pfitzmann; Michael Waidner (CCS, 2000)

Self-Escrowed Cash against User Blackmailing. - Birgit Pfitzmann; Ahmad-Reza Sadeghi (Financial Cryptography, 2000)

Anonymous Fingerprinting with Direct Non-Repudiation. - Birgit Pfitzmann; Ahmad-Reza Sadeghi (IACR Cryptol. ePrint Arch., 2000)

A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. - Birgit Pfitzmann; Michael Waidner (IACR Cryptol. ePrint Arch., 2000)

Optimized Self-Synchronizing Mode of Operation. - Ammar Alkassar; Alexander Geraldy; Birgit Pfitzmann; Ahmad-Reza Sadeghi (FSE, 2001)

Die PERSEUS Systemarchitektur. - Birgit Pfitzmann; James Riordan; Christian Stüble; Michael Waidner; Arnd Weber (VIS, 2001)

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

Computational Probabilistic Non-interference. - Michael Backes 001; Birgit Pfitzmann (ESORICS, 2002)

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. - Michael Backes 001; Christian Jacobi 002; Birgit Pfitzmann (FME, 2002)

Privacy in browser-based attribute exchange. - Birgit Pfitzmann; Michael Waidner (WPES, 2002)

Security in Business Process Engineering. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (Business Process Management, 2003)

A composable cryptographic library with nested operations. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (CCS, 2003)

A Toolkit for Managing Enterprise Privacy Policies. - Michael Backes 001; Birgit Pfitzmann; Matthias Schunter (ESORICS, 2003)

Privacy in Enterprise Identity Federation - Policies for Liberty Single Signon. - Birgit Pfitzmann (Privacy Enhancing Technologies, 2003)

Intransitive Non-Interference for Cryptographic Purpose. - Michael Backes 001; Birgit Pfitzmann (S&P, 2003)

Federated Identity-Management Protocols (Discussion). - Birgit Pfitzmann (Security Protocols Workshop, 2003)

Federated Identity-Management Protocols. - Birgit Pfitzmann; Michael Waidner (Security Protocols Workshop, 2003)

A Universally Composable Cryptographic Library. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (IACR Cryptol. ePrint Arch., 2003)

Symmetric Authentication Within a Simulatable Cryptographic Library. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (IACR Cryptol. ePrint Arch., 2003)

Analysis of Liberty Single-Sign-on with Enabled Clients. - Birgit Pfitzmann; Michael Waidner (IEEE Internet Comput., 2003)

Justifying a Dolev-Yao Model Under Active Attacks. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (FOSAD, 2004)

Low-Level Ideal Signatures and General Integrity Idealization. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (ISC, 2004)

Proving a WS-Federation passive requestor profile. - Thomas Groß 001; Birgit Pfitzmann (SWS, 2004)

A General Composition Theorem for Secure Reactive Systems. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (TCC, 2004)

Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. - Michael Backes 001; Birgit Pfitzmann (IACR Cryptol. ePrint Arch., 2004)

The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (IACR Cryptol. ePrint Arch., 2004)

Computational probabilistic noninterference. - Michael Backes 001; Birgit Pfitzmann (Int. J. Inf. Sec., 2004)

Privacy in enterprise identity federation - policies for Liberty 2 single sign on. - Birgit Pfitzmann (Inf. Secur. Tech. Rep., 2004)

Polynomial liveness. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (J. Comput. Secur., 2004)

A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. - Michael Backes 001; Birgit Pfitzmann (IEEE J. Sel. Areas Commun., 2004)

Regulations Expressed As Logical Models (REALM). - Christopher Giblin; Alice Y. Liu; Samuel Müller 002; Birgit Pfitzmann; Xin Zhou (JURIX, 2005)

Proving a WS-federation passive requestor profile with a browser model. - Thomas Groß 001; Birgit Pfitzmann; Ahmad-Reza Sadeghi (SWS, 2005)

Limits of the Cryptographic Realization of Dolev-Yao-style XOR. - Michael Backes 001; Birgit Pfitzmann (IACR Cryptol. ePrint Arch., 2005)

Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. - Michael Backes 001; Birgit Pfitzmann; Andre Scedrov (IACR Cryptol. ePrint Arch., 2005)

Browser Model for Security Analysis of Browser-Based Protocols. - Thomas Groß 001; Birgit Pfitzmann; Ahmad-Reza Sadeghi (IACR Cryptol. ePrint Arch., 2005)

Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (Int. J. Inf. Sec., 2005)

Reactively secure signature schemes. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (Int. J. Inf. Sec., 2005)

Relating Symbolic and Cryptographic Secrecy. - Michael Backes 001; Birgit Pfitzmann (IEEE Trans. Dependable Secur. Comput., 2005)

Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks. - Zinaida Benenson; Felix C. Freiling; Birgit Pfitzmann; Christian Rohner; Michael Waidner (ESAS, 2006)

Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (ESORICS, 2006)

Formal Methods and Cryptography. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (FM, 2006)

On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. - Michael Backes 001; Birgit Pfitzmann (SEC, 2006)

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. - Michael Backes 001; Sebastian Mödersheim; Birgit Pfitzmann; Luca Viganò 001 (IACR Cryptol. ePrint Arch., 2006)

Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. - Michael Backes 001; Birgit Pfitzmann; Michael Waidner (IACR Cryptol. ePrint Arch., 2006)

Reactively Simulatable Certified Mail. - Birgit Pfitzmann; Matthias Schunter; Michael Waidner (IACR Cryptol. ePrint Arch., 2006)

Cryptographically Sound Theorem Proving. - Christoph Sprenger 001; Michael Backes 001; David A. Basin; Birgit Pfitzmann; Michael Waidner (IACR Cryptol. ePrint Arch., 2006)

Service-oriented Assurance - Comprehensive Security by Explicit Assurances. - Günter Karjoth; Birgit Pfitzmann; Matthias Schunter; Michael Waidner (Quality of Protection, 2006)

Federated Identity Management. - Jan Camenisch; Birgit Pfitzmann (Security, Privacy, and Trust in Modern Data Management, 2007)

Multi-layer Audit of Access Rights. - Birgit Pfitzmann (Secure Data Management, 2007)

Optimized enterprise risk management. - Carl E. Abrams; Juerg von Känel; Samuel Müller 002; Birgit Pfitzmann; Susanne Ruschka-Taylor (IBM Syst. J., 2007)

Runtime Monitoring of Metric First-order Temporal Properties. - David A. Basin; Felix Klaedtke; Samuel Müller 002; Birgit Pfitzmann (FSTTCS, 2008)

Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. - Michael Backes 001; Birgit Pfitzmann (Int. J. Inf. Sec., 2008)

Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. - Michael Backes 001; Birgit Pfitzmann; Andre Scedrov (J. Comput. Secur., 2008)

ITBVM: IT Business Value Modeler. - Nikolai Joukov; Birgit Pfitzmann; HariGovind V. Ramasamy; Norbert G. Vogl; Murthy V. Devarakonda; Tryg Ager (IEEE SCC, 2009)

Application-storage discovery. - Nikolai Joukov; Birgit Pfitzmann; HariGovind V. Ramasamy; Murthy V. Devarakonda (SYSTOR, 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)

Migration to Multi-image Cloud Templates. - Birgit Pfitzmann; Nikolai Joukov (IEEE SCC, 2011)

Managing business health in the presence of malicious attacks. - Saman A. Zonouz; Aashish Sharma; HariGovind V. Ramasamy; Zbigniew T. Kalbarczyk; Birgit Pfitzmann; Kevin P. McAuliffe; Ravishankar K. Iyer; William H. Sanders; Eric Cope (DSN Workshops, 2011)

Static discovery and remediation of code-embedded resource dependencies. - Nikolai Joukov; Vasily Tarasov; Joel Ossher; Birgit Pfitzmann; Sergej Chicherin; Marco Pistoia; Takaaki Tateishi (Integrated Network Management, 2011)

Towards Automated Identification of Security Zone Classification in Enterprise Networks. - HariGovind V. Ramasamy; Cheng-Lin Tsao; Birgit Pfitzmann; Nikolai Joukov; James W. Murray (Hot-ICE, 2011)

Building a cognitive platform for the managed IT services lifecycle. - Kristof Kloeckner; Constantin Adam; Nikos Anerousis; Naga Ayachitula; Muhammed Fatih Bulut; Gargi Dasgupta; Yu Deng 004; Yixin Diao; Nicholas C. Fuller; Sandeep Gopisetty; Milton Hernandez; Jinho Hwang; et al. (IBM J. Res. Dev., 2018)

DocLayNet: A Large Human-Annotated Dataset for Document-Layout Segmentation. - Birgit Pfitzmann; Christoph Auer; Michele Dolfi; Ahmed S. Nassar; Peter W. J. Staar (KDD, 2022)

DocLayNet: A Large Human-Annotated Dataset for Document-Layout Analysis. - Birgit Pfitzmann; Christoph Auer; Michele Dolfi; Ahmed S. Nassar; Peter W. J. Staar (CoRR, 2022)

INDUS: Effective and Efficient Language Models for Scientific Applications. - 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; et al. (EMNLP (Industry Track), 2024)

INDUS: Effective and Efficient Language Models for Scientific Applications. - 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; et al. (CoRR, 2024)