Birgit Pfitzmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
50
Venues
24
Active years
1989–2024
Best venue rank
A*
Where they publish
- A*EuroCrypt10 papers
- AESORICS7 papers
- A*CRYPTO5 papers
- A*CCS4 papers
- A*SP3 papers
- BFM2 papers
- ASTACS2 papers
- A*EMNLP1 paper
- A*KDD1 paper
- BACNS1 paper
- ADSN1 paper
- BIM1 paper
- NationalNSDI1 paper
- NationalSYSTOR1 paper
- BFOSSACS1 paper
- UnrankedSEC1 paper
- CJURIX1 paper
- BTCC1 paper
- ABPM1 paper
- A*FSE1 paper
- AASIACRYPT1 paper
- AFC1 paper
- A*ICALP1 paper
- A*PODC1 paper
Papers
50 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EMNLP | 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, Michael Little, Elizabeth Fancher, Irina Gerasimov, Armin Mehrabian, Lauren M. Sanders, Sylvain Costes, Sergi Blanco-Cuaresma, Kelly E. Lockhart, Thomas Allen, Flix Grzes, 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 |
| 2022 | KDD | DocLayNet: A Large Human-Annotated Dataset for Document-Layout Segmentation. | Birgit Pfitzmann, Christoph Auer, Michele Dolfi, Ahmed S. Nassar, Peter W. J. Staar |
| 2011 | ACNS | Composable Security Analysis of OS Services. | Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema |
| 2011 | DSN | 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 |
| 2011 | IM | Static discovery and remediation of code-embedded resource dependencies. | Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi |
| 2011 | NSDI | Towards Automated Identification of Security Zone Classification in Enterprise Networks. | HariGovind V. Ramasamy, Cheng-Lin Tsao, Birgit Pfitzmann, Nikolai Joukov, James W. Murray |
| 2010 | SYSTOR | Application-storage discovery. | Nikolai Joukov, Birgit Pfitzmann, HariGovind V. Ramasamy, Murthy V. Devarakonda |
| 2006 | ESORICS | Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2006 | FM | Formal Methods and Cryptography. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2006 | FOSSACS | Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. | Michael Backes, Sebastian Mdersheim, Birgit Pfitzmann, Luca Vigan |
| 2006 | SEC | On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. | Michael Backes, Birgit Pfitzmann |
| 2005 | ESORICS | Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. | Michael Backes, Birgit Pfitzmann |
| 2005 | ESORICS | Browser Model for Security Analysis of Browser-Based Protocols. | Thomas Gro, Birgit Pfitzmann, Ahmad-Reza Sadeghi |
| 2005 | JURIX | Regulations Expressed As Logical Models (REALM). | Christopher Giblin, Alice Y. Liu, Samuel Mller, Birgit Pfitzmann, Xin Zhou |
| 2005 | SP | Relating Symbolic and Cryptographic Secrecy. | Michael Backes, Birgit Pfitzmann |
| 2004 | TCC | A General Composition Theorem for Secure Reactive Systems. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | BPM | Security in Business Process Engineering. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | CCS | A composable cryptographic library with nested operations. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | ESORICS | A Toolkit for Managing Enterprise Privacy Policies. | Michael Backes, Birgit Pfitzmann, Matthias Schunter |
| 2003 | ESORICS | Symmetric Authentication within a Simulatable Cryptographic Library. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | SP | Intransitive Non-Interference for Cryptographic Purpose. | Michael Backes, Birgit Pfitzmann |
| 2002 | ESORICS | Computational Probabilistic Non-interference. | Michael Backes, Birgit Pfitzmann |
| 2002 | FM | Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. | Michael Backes, Christian Jacobi, Birgit Pfitzmann |
| 2001 | FSE | Optimized Self-Synchronizing Mode of Operation. | Ammar Alkassar, Alexander Geraldy, Birgit Pfitzmann, Ahmad-Reza Sadeghi |
| 2001 | SP | A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. | Birgit Pfitzmann, Michael Waidner |
| 2000 | ASIACRYPT | Anonymous Fingerprinting with Direct Non-repudiation. | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
| 2000 | CCS | Composition and integrity preservation of secure reactive systems. | Birgit Pfitzmann, Michael Waidner |
| 2000 | FC | Self-Escrowed Cash against User Blackmailing. | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
| 1999 | EuroCrypt | Coin-Based Anonymous Fingerprinting. | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
| 1998 | CRYPTO | Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop. | Oded Goldreich, Birgit Pfitzmann, Ronald L. Rivest |
| 1998 | ICALP | Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP. | Ivan Damgrd, Birgit Pfitzmann |
| 1998 | PODC | Optimal Efficiency of Optimistic Contract Signing. | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
| 1997 | CCS | Asymmetric Fingerprinting for Larger Collusions. | Birgit Pfitzmann, Michael Waidner |
| 1997 | EuroCrypt | Collision-Free Accumulators and Fail-Stop Signature Schemes Without Trees. | Niko Baric, Birgit Pfitzmann |
| 1997 | EuroCrypt | Anonymous Fingerprinting. | Birgit Pfitzmann, Michael Waidner |
| 1996 | EuroCrypt | Asymmetric Fingerprinting (Extended Abstract). | Birgit Pfitzmann, Matthias Schunter |
| 1995 | EuroCrypt | How to Break Another Provably Secure Payment System. | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
| 1994 | ESORICS | The ESPRIT Project CAFE - High Security Digital Payment Systems. | Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Fr. Mjlsnes, Frank Muller, Torben P. Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Valle, Michael Waidner |
| 1994 | EuroCrypt | Breaking Efficient Anonymous Channel. | Birgit Pfitzmann |
| 1993 | CCS | Sorting Out Signature Schemes. | Birgit Pfitzmann |
| 1993 | CRYPTO | On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. | Ivan Damgrd, Torben P. Pedersen, Birgit Pfitzmann |
| 1992 | CRYPTO | New Constructions of Fail-Stop Signatures and Lower Bounds (Extended Abstract). | Eugne van Heijst, Torben P. Pedersen, Birgit Pfitzmann |
| 1992 | EuroCrypt | Attacks on Protocols for Server-Aided RSA Computation. | Birgit Pfitzmann, Michael Waidner |
| 1992 | STACS | Unconditional Byzantine Agreement for any Number of Faulty Processors. | Birgit Pfitzmann, Michael Waidner |
| 1991 | CRYPTO | Cryptographically Strong Undeniable Signatures, Unconditionally Secure for the Signer. | David Chaum, Eugne van Heijst, Birgit Pfitzmann |
| 1991 | CRYPTO | How To Break and Repair A "Provably Secure" Untraceable Payment System. | Birgit Pfitzmann, Michael Waidner |
| 1991 | STACS | Unconditional Byzantine Agreement with Good Majority. | Birgit Baum-Waidner, Birgit Pfitzmann, Michael Waidner |
| 1990 | EuroCrypt | A Remark on a Signature Scheme Where Forgery Can Be Proved. | Gerrit Bleumer, Birgit Pfitzmann, Michael Waidner |
| 1989 | EuroCrypt | How to Break the Direct RSA-Implementation of Mixes. | Birgit Pfitzmann, Andreas Pfitzmann |
| 1989 | EuroCrypt | The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). | Michael Waidner, Birgit Pfitzmann |