BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
2 × Denmark
Collaborated with:
M.Backes I.Damgård M.Waidner C.Jacobi S.Mödersheim L.Viganò
Talks about:
cryptograph (2) argument (2) formal (2) cryptographi (1) implement (1) sequenti (1) scenario (1) knowledg (1) interact (1) composit (1)

Person: Birgit Pfitzmann

DBLP DBLP: Pfitzmann:Birgit

Contributed to:

FM 20062006
FoSSaCS 20062006
FME 20022002
ICALP 19981998

Wrote 4 papers:

FM-2006-BackesPW #encryption #formal method
Formal Methods and Cryptography (MB, BP, MW), pp. 612–616.
FoSSaCS-2006-BackesMPV #analysis #encryption
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario (MB, SM, BP, LV), pp. 428–445.
FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.
ICALP-1998-DamgardP #interactive #performance
Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP (ID, BP), pp. 772–783.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.