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
1 × Cyprus
1 × Denmark
1 × Italy
1 × South Korea
1 × USA
Collaborated with:
B.Pfitzmann S.Lorenz S.Gerling M.Maffei M.Waidner C.Jacobi S.Lukas K.Pecina S.Mödersheim L.Viganò G.Karjoth W.Bagga M.Schunter C.Hammer P.v.Styp-Rekowsky
Talks about:
cryptograph (2) analysi (2) formal (2) secur (2) user (2) app (2) cryptographi (1) comparison (1) implement (1) enterpris (1)

Person: Michael Backes

DBLP DBLP: Backes:Michael

Contributed to:

SAC 20142014
TACAS 20132013
CAV 20082008
FM 20062006
FoSSaCS 20062006
SAC 20042004
FME 20022002

Wrote 7 papers:

X-pire 2.0: a user-controlled expiration date and copy protection mechanism (MB, SG, SL, SL), pp. 1633–1640.
TACAS-2013-BackesGHMS #android #named #requirements
AppGuard — Enforcing User Requirements on Android Apps (MB, SG, CH, MM, PvSR), pp. 543–548.
CAV-2008-BackesLMP #abstraction #analysis #protocol #security
The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis (MB, SL, MM, KP), pp. 419–422.
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.
SAC-2004-BackesKBS #comparison #enterprise #performance #policy #privacy
Efficient comparison of enterprise privacy policies (MB, GK, WB, MS), pp. 375–382.
FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.

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.