Author Search Results

1

Ein Eifeler zu den "Ketzerthesen"

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

Volltext, Kostenfrei, Digitalisierung

E-Article

2

Vor neuen Aufgaben

by Backes, M.
Published in Frohe Saat (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 IEEE Transactions on Dependable and Secure Computing (2005)

Get additional information online
Get additional information online

E-Article

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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

16

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

17

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

18

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

19

1026Incidence and influence of extra-cardiac findings in clinical CMR

by Greulich, S, Backes, M, Schumm, J, Grün, S, Sechtem, U, Mahrholdt, H
Published in European Heart Journal - Cardiovascular Imaging (2013)

Get additional information online

E-Article

20

Los factores ambientales y su relación con el bajo peso al nacer en el extremo sur de Brasil

by Stein Backes, M.T., Mendonza Sassi, R., Flores Soares, M.C.
Published in Enferm. glob. (2010)

Get additional information online

E-Article

Refine my Results