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

Verhaltensphänotyp des fragilen X-Syndroms

by Backes, M.
Published in Monatsschrift Kinderheilkunde (2002)

Get additional information online

E-Article

4

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

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

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

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

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

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

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

11

CIM-Konzepte und ihre Bedeutung fuer die Betriebswirtschaftslehre und Wirtschaftsinformatik

by Backes-M, Schmitz-H
Published in WIST Wirtschaftswissenschaftliches Studium (1996)

Get additional information online

E-Article

12

Simulationsunterstützung zur operativen Produktionsprozeßplanung und -regelung Simulation techniques for production planning and control

by Hoitsch, H.J., Backes, M.
Published in Zeitschrift für Planung (1998)

Get additional information online

E-Article

13

Simulationsunterstützung zur operativen Produktionsprozeßplanung und -regelung Simulation techniques for production planning and control

by Hoitsch, H.J., Backes, M.
Published in Zeitschrift für Planung (1998)

Get additional information online

E-Article

14

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

15

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

16

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

17

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

18

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

19

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

20

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

1
2
3
4
5
6
7
8
9
Next »
[9]