Birgit Pfitzmann

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 4

Top Venues

CoRR

IBM J. Res. Dev.

KDD

University of Hildesheim, Germany (PHD)

Education History

University of Hildesheim, Germany

PHD

Publications

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, Tsendgar Lee
INDUS: Effective and Efficient Language Models for Scientific Applications. CoRR (2024)
Birgit Pfitzmann, Christoph Auer, Michele Dolfi, Ahmed S. Nassar, Peter W. J. Staar
DocLayNet: A Large Human-Annotated Dataset for Document-Layout Analysis. CoRR (2022)
Birgit Pfitzmann, Christoph Auer, Michele Dolfi, Ahmed S. Nassar, Peter W. J. Staar
DocLayNet: A Large Human-Annotated Dataset for Document-Layout Segmentation. KDD (2022)
Kristof Kloeckner, Constantin Adam, Nikos Anerousis, Naga Ayachitula, Muhammed Fatih Bulut, Gargi Dasgupta, Yu Deng, 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, Larisa Shwartz, Zhong Su, Maheswaran Surendra, Shu Tao, Hagen Völzer, Maja Vukovic, Dorothea Wiesmann, S. Wozniak, Gary Wright, Jin Xiao, Sai Zeng
Building a cognitive platform for the managed IT services lifecycle. IBM J. Res. Dev. 62 (1) (2018)
Birgit Pfitzmann, Nikolai Joukov
Migration to Multi-image Cloud Templates. IEEE SCC (2011)
HariGovind V. Ramasamy, Cheng-Lin Tsao, Birgit Pfitzmann, Nikolai Joukov, James W. Murray
Towards Automated Identification of Security Zone Classification in Enterprise Networks. Hot-ICE (2011)
Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi
Static discovery and remediation of code-embedded resource dependencies. Integrated Network Management (2011)
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. DSN Workshops (2011)
Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema
Composable Security Analysis of OS Services. ACNS (2011)
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)
Nikolai Joukov, Birgit Pfitzmann, HariGovind V. Ramasamy, Murthy V. Devarakonda
Application-storage discovery. SYSTOR (2010)
Nikolai Joukov, Birgit Pfitzmann, HariGovind V. Ramasamy, Norbert G. Vogl, Murthy V. Devarakonda, Tryg Ager
ITBVM: IT Business Value Modeler. IEEE SCC (2009)
David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann
Runtime Monitoring of Metric First-order Temporal Properties. FSTTCS (2008)
Michael Backes, Birgit Pfitzmann, Andre Scedrov
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. J. Comput. Secur. 16 (5) (2008)
Michael Backes, Birgit Pfitzmann
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. Int. J. Inf. Sec. 7 (1) (2008)
Michael Backes, Birgit Pfitzmann, Michael Waidner
The reactive simulatability (RSIM) framework for asynchronous systems. Inf. Comput. 205 (12) (2007)
Birgit Pfitzmann
Multi-layer Audit of Access Rights. Secure Data Management (2007)
Michael Backes, Birgit Pfitzmann, Andre Scedrov
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. CSF (2007)
Carl E. Abrams, Juerg von Känel, Samuel Müller, Birgit Pfitzmann, Susanne Ruschka-Taylor
Optimized enterprise risk management. IBM Syst. J. 46 (2) (2007)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Formal Methods and Cryptography. FM (2006)
Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. IACR Cryptol. ePrint Arch. 2006 (2006)
Michael Backes, Birgit Pfitzmann
On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. SEC (2006)
Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
Cryptographically Sound Theorem Proving. CSFW (2006)
Birgit Pfitzmann, Matthias Schunter, Michael Waidner
Reactively Simulatable Certified Mail. IACR Cryptol. ePrint Arch. 2006 (2006)
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. ESAS (2006)
Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
Cryptographically Sound Theorem Proving. IACR Cryptol. ePrint Arch. 2006 (2006)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. IACR Cryptol. ePrint Arch. 2006 (2006)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. ESORICS (2006)
Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS (2006)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Reactively secure signature schemes. Int. J. Inf. Sec. 4 (4) (2005)
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi
Proving a WS-federation passive requestor profile with a browser model. SWS (2005)
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi
Browser Model for Security Analysis of Browser-Based Protocols. ESORICS (2005)
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi
Browser Model for Security Analysis of Browser-Based Protocols. IACR Cryptol. ePrint Arch. 2005 (2005)
Michael Backes, Birgit Pfitzmann
Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. ESORICS (2005)
Michael Backes, Birgit Pfitzmann, Andre Scedrov
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. IACR Cryptol. ePrint Arch. 2005 (2005)
Michael Backes, Birgit Pfitzmann
Limits of the Cryptographic Realization of Dolev-Yao-style XOR. IACR Cryptol. ePrint Arch. 2005 (2005)
Michael Backes, Birgit Pfitzmann
Relating Symbolic and Cryptographic Secrecy. IEEE Symposium on Security and Privacy (2005)
Christopher Giblin, Alice Y. Liu, Samuel Müller, Birgit Pfitzmann, Xin Zhou
Regulations Expressed As Logical Models (REALM). JURIX (2005)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. Int. J. Inf. Sec. 4 (3) (2005)
Michael Backes, Birgit Pfitzmann
Relating Symbolic and Cryptographic Secrecy. IEEE Trans. Dependable Secur. Comput. 2 (2) (2005)
Michael Backes, Birgit Pfitzmann
Computational probabilistic noninterference. Int. J. Inf. Sec. 3 (1) (2004)
Birgit Pfitzmann
Privacy in enterprise identity federation - policies for Liberty 2 single sign on. Inf. Secur. Tech. Rep. 9 (1) (2004)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Polynomial liveness. J. Comput. Secur. 12 (3-4) (2004)
Michael Backes, Birgit Pfitzmann
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. CSFW (2004)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Justifying a Dolev-Yao Model Under Active Attacks. FOSAD (2004)
Thomas Groß, Birgit Pfitzmann
Proving a WS-Federation passive requestor profile. SWS (2004)
Michael Backes, Birgit Pfitzmann
A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. IEEE J. Sel. Areas Commun. 22 (10) (2004)
Michael Backes, Birgit Pfitzmann
Relating Symbolic and Cryptographic Secrecy. IACR Cryptol. ePrint Arch. 2004 (2004)
Michael Backes, Birgit Pfitzmann, Michael Waidner
The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. IACR Cryptol. ePrint Arch. 2004 (2004)
Michael Backes, Birgit Pfitzmann
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. IACR Cryptol. ePrint Arch. 2004 (2004)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Low-Level Ideal Signatures and General Integrity Idealization. ISC (2004)
Michael Backes, Birgit Pfitzmann, Michael Waidner
A General Composition Theorem for Secure Reactive Systems. TCC (2004)
Michael Backes, Birgit Pfitzmann, Michael Waidner
A Universally Composable Cryptographic Library. IACR Cryptol. ePrint Arch. 2003 (2003)
Birgit Pfitzmann, Michael Waidner
Federated Identity-Management Protocols. Security Protocols Workshop (2003)
Michael Backes, Birgit Pfitzmann
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. IACR Cryptol. ePrint Arch. 2003 (2003)
Birgit Pfitzmann
Privacy in Enterprise Identity Federation - Policies for Liberty Single Signon. Privacy Enhancing Technologies (2003)
Michael Backes, Birgit Pfitzmann
Intransitive Non-Interference for Cryptographic Purpose. IEEE Symposium on Security and Privacy (2003)
Birgit Pfitzmann
Federated Identity-Management Protocols (Discussion). Security Protocols Workshop (2003)
Michael Backes, Birgit Pfitzmann, Matthias Schunter
A Toolkit for Managing Enterprise Privacy Policies. ESORICS (2003)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Symmetric Authentication within a Simulatable Cryptographic Library. ESORICS (2003)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Symmetric Authentication Within a Simulatable Cryptographic Library. IACR Cryptol. ePrint Arch. 2003 (2003)
Michael Backes, Birgit Pfitzmann
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. FSTTCS (2003)
Michael Backes, Birgit Pfitzmann, Michael Waidner
A composable cryptographic library with nested operations. CCS (2003)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Security in Business Process Engineering. Business Process Management (2003)
Birgit Pfitzmann, Michael Waidner
Analysis of Liberty Single-Sign-on with Enabled Clients. IEEE Internet Comput. 7 (6) (2003)
Michael Backes, Birgit Pfitzmann, Michael Waidner
Reactively Secure Signature Schemes. ISC (2003)
Michael Backes, Christian Jacobi, Birgit Pfitzmann
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME (2002)
Michael Backes, Birgit Pfitzmann
Computational Probabilistic Non-interference. ESORICS (2002)
Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner
Polynomial Fairness and Liveness. CSFW (2002)
Birgit Pfitzmann, Michael Waidner
Privacy in browser-based attribute exchange. WPES (2002)
Birgit Pfitzmann, James Riordan, Christian Stüble, Michael Waidner, Arnd Weber
Die PERSEUS Systemarchitektur. VIS (2001)
Birgit Pfitzmann, Michael Waidner
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. IEEE Symposium on Security and Privacy (2001)
Ammar Alkassar, Alexander Geraldy, Birgit Pfitzmann, Ahmad-Reza Sadeghi
Optimized Self-Synchronizing Mode of Operation. FSE (2001)
Birgit Pfitzmann, Ahmad-Reza Sadeghi
Anonymous Fingerprinting with Direct Non-Repudiation. IACR Cryptol. ePrint Arch. 2000 (2000)
Birgit Pfitzmann, Ahmad-Reza Sadeghi
Self-Escrowed Cash against User Blackmailing. Financial Cryptography (2000)
Birgit Pfitzmann, Matthias Schunter, Michael Waidner
Cryptographic Security of Reactive Systems. Electron. Notes Theor. Comput. Sci. 32 (2000)
Birgit Pfitzmann, Michael Waidner
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. IACR Cryptol. ePrint Arch. 2000 (2000)
Birgit Pfitzmann, Michael Waidner
Composition and integrity preservation of secure reactive systems. CCS (2000)
Birgit Pfitzmann, Ahmad-Reza Sadeghi
Anonymous Fingerprinting with Direct Non-repudiation. ASIACRYPT (2000)
Hans-Jürgen Guth, Birgit Pfitzmann
Error- and Collusion-Secure Fingerprinting for Digital Data. Information Hiding (1999)
Birgit Pfitzmann, Ahmad-Reza Sadeghi
Coin-Based Anonymous Fingerprinting. EUROCRYPT (1999)
André Adelsbach, Birgit Pfitzmann, Ahmad-Reza Sadeghi
Proving Ownership of Digital Content. Information Hiding (1999)
Birgit Pfitzmann, Michael Waidner
How to Break Fraud-Detectable Key Recovery. ACM SIGOPS Oper. Syst. Rev. 32 (1) (1998)
Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann
Statistical Secrecy and Multibit Commitments. IEEE Trans. Inf. Theory 44 (3) (1998)
Oded Goldreich, Birgit Pfitzmann, Ronald L. Rivest
Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop. CRYPTO (1998)
Birgit Pfitzmann, Matthias Schunter, Michael Waidner
Optimal Efficiency of Optimistic Contract Signing. PODC (1998)
Ivan Damgård, Birgit Pfitzmann
Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP. ICALP (1998)
Anja Jerichow, Jan Müller, Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner
Real-time mixes: a bandwidth-efficient anonymity protocol. IEEE J. Sel. Areas Commun. 16 (4) (1998)
Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann
On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. J. Cryptol. 10 (3) (1997)
Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter, Michael Waidner
Trusting Mobile User Devices and Security Modules. Computer 30 (2) (1997)
Birgit Pfitzmann, Michael Waidner
Anonymous Fingerprinting. EUROCRYPT (1997)
Oded Goldreich, Birgit Pfitzmann, Ronald L. Rivest
Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop. IACR Cryptol. ePrint Arch. 1997 (1997)
Torben P. Pedersen, Birgit Pfitzmann
Fail-Stop Signatures. SIAM J. Comput. 26 (2) (1997)
Birgit Pfitzmann, Michael Waidner
Asymmetric Fingerprinting for Larger Collusions. CCS (1997)
Birgit Pfitzmann, Michael Waidner
Strong Loss Tolerance of Electronic Coin Systems. ACM Trans. Comput. Syst. 15 (2) (1997)
Niko Baric, Birgit Pfitzmann
Collision-Free Accumulators and Fail-Stop Signature Schemes Without Trees. EUROCRYPT (1997)
Birgit Pfitzmann, Matthias Schunter
Asymmetric Fingerprinting (Extended Abstract). EUROCRYPT (1996)
Birgit Pfitzmann
Information Hiding Terminology - Results of an Informal Plenary Meeting and Additional Proposals. Information Hiding (1996)
Birgit Pfitzmann
Trials of Traced Traitors. Information Hiding (1996)
Birgit Pfitzmann, Matthias Schunter, Michael Waidner
How to Break Another Provably Secure Payment System. EUROCRYPT (1995)

Birgit Pfitzmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Birgit Pfitzmann