Concepedia

Birgit Pfitzmann

BP

Statistics

Publications

41

Citations

2.2K

H-Index

24

Active since

1991

Affiliations

IBM Research - Zurich(Current)

IBM (United States)

Saarland University

University of Hildesheim

Birgit Pfitzmann is an author at IBM Research - Zurich specializing in engineering, data security, and computer science.

Top concepts

EngineeringData SecurityComputer ScienceInformation SecurityCryptographyData PrivacyFormal VerificationVerificationFormal MethodsHardware Security

Publications per year

1991–2022

41

Publications

41

Composition and integrity preservation of secure reactive systems

Birgit Pfitzmann, Michael Waidner · 2000 · 285 citations

Engineering, Information Security, Verification +18

A composable cryptographic library with nested operations

Michael Backes, Birgit Pfitzmann, Michael Waidner · 2003 · 256 citations

Cryptographic Primitive, Engineering, Information Security +18

From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance Automation

Christopher Giblin, Samuel Müller, Birgit Pfitzmann · 2006 · 109 citations

Software Maintenance, Engineering, Business Intelligence +25

The reactive simulatability (RSIM) framework for asynchronous systems

Michael Backes, Birgit Pfitzmann, Michael Waidner · Information and Computation · 2007 · 101 citations

Engineering, Synchronization Protocol, Concurrency Theory +9

A Universally Composable Cryptographic Library

Michael Backes, Birgit Pfitzmann, Michael Waidner · IACR Cryptology ePrint Archive · 2003 · 100 citations

1–5 of 41