Author Search Results

1

Vor neuen Aufgaben

by Backes, M.
Published in Frohe Saat (1924)

Volltext, Kostenfrei, Digitalisierung

E-Article

2

Ein Eifeler zu den "Ketzerthesen"

by Backes, M.
Published in Pädagogische Post (1924)

Volltext, Kostenfrei, Digitalisierung

E-Article

3

A cryptographically sound Dolev-Yao style security proof of an electronic payment system

by Backes, M., Durmuth, M.
Published in 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005)

Get additional information online
Get additional information online

E-Article

4

Relating symbolic and cryptographic secrecy

by Backes, M., Pfitzmann, B.
Published in 2005 IEEE Symposium on Security and Privacy (S&P'05) (2005)

Get additional information online
Get additional information online

E-Article

5

Relating symbolic and cryptographic secrecy

by Backes, M., Pfitzmann, B.
Published in IEEE Transactions on Dependable and Secure Computing (2005)

Get additional information online
Get additional information online

E-Article

6

Symmetric encryption in a simulatable Dolev-Yao style cryptographic library

by Backes, M., Pfitzmann, B.
Published in Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. (2004)

Get additional information online
Get additional information online

E-Article

7

A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol

by Backes, M., Pfitzmann, B.
Published in IEEE Journal on Selected Areas in Communications (2004)

Get additional information online
Get additional information online

E-Article

8

Reliable broadcast in a computational hybrid model with Byzantine faults, crashes, and recoveries

by Backes, M., Cachin, C.
Published in 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. (2003)

Get additional information online
Get additional information online

E-Article

9

Intransitive non-interference for cryptographic purposes

by Backes, M., Pfitzmann, B.
Published in 2003 Symposium on Security and Privacy, 2003. (2003)

Get additional information online
Get additional information online

E-Article

10

Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

by Backes, M., Maffei, M., Unruh, D.
Published in 2008 IEEE Symposium on Security and Privacy (sp 2008) (2008)

Get additional information online
Get additional information online

E-Article

11

Compromising Reflections-or-How to Read LCD Monitors around the Corner

by Backes, M., Durmuth, M., Unruh, D.
Published in 2008 IEEE Symposium on Security and Privacy (sp 2008) (2008)

Get additional information online
Get additional information online

E-Article

12

Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles

by Backes, M., Pfitzmann, B., Scedrov, A.
Published in 20th IEEE Computer Security Foundations Symposium (CSF'07) (2007)

Get additional information online
Get additional information online

E-Article

13

Causality-based Abstraction of Multiplicity in Security Protocols

by Backes, M., Cortesi, A., Maffei, M.
Published in 20th IEEE Computer Security Foundations Symposium (CSF'07) (2007)

Get additional information online
Get additional information online

E-Article

14

Lazy revocation in cryptographic file systems

by Backes, M., Cachin, C., Oprea, A.
Published in Third IEEE International Security in Storage Workshop (SISW'05) (2005)

Get additional information online
Get additional information online

E-Article

15

Unification in privacy policy evaluation - translating EPAL into Prolog

by Backes, M., Durmuth, M., Karjot, G.
Published in Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004. (2004)

Get additional information online
Get additional information online

E-Article

16

Die Mastzelle in der bronchoalveolären Lavage bei interstitiellen Lungenerkrankungen

by Schildge, J., Klar, B., Hardung-Backes, M.
Published in Pneumologie (2003)

Get additional information online

E-Article

17

ObliviAd: Provably Secure and Practical Online Behavioral Advertising

by Backes, M., Kate, A., Maffei, M., Pecina, K.
Published in 2012 IEEE Symposium on Security and Privacy (2012)

Get additional information online
Get additional information online

E-Article

18

Provably Secure and Practical Onion Routing

by Backes, M., Goldberg, I., Kate, A., Mohammadi, E.
Published in 2012 IEEE 25th Computer Security Foundations Symposium (2012)

Get additional information online
Get additional information online

E-Article

19

Cryptographically sound theorem proving

by Sprenger, C., Basin, D., Backes, M., Pfitzmann, B., Waidner, M.
Published in 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006)

Get additional information online
Get additional information online

E-Article

20

Polynomial fairness and liveness

by Backes, M., Pfitzmann, B., Steiner, M., Waidner, M.
Published in Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 (2002)

Get additional information online
Get additional information online

E-Article

Refine my Results