BibSonomy ::  author ::

bookmarks

publications

(191)

• An autonomous robotic scooping approach for planetary sample acquisition.
  Antonio Diaz-Calderon and Paul G. Backes and Robert G. Bonitz IROS 821-826 (2007)
  to dblp by dblp on 2008-12-21 00:00:00
  | URL | BibTeX  
• Heuristics on Lattice Basis Reduction in Practice.
  Werner Backes and Susanne Wetzel ACM Journal of Experimental Algorithmics 7 1 (2002)
  to dblp by dblp on 2008-12-21 00:00:00
  | URL | BibTeX  
• Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles.
  Michael Backes and Birgit Pfitzmann and Andre Scedrov Journal of Computer Security 16 497-530 (2008)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• A Formal Language for Cryptographic Pseudocode.
  Michael Backes and Matthias Berg and Dominique Unruh LPAR 353-376 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• Type-checking zero-knowledge.
  Michael Backes and Catalin Hritcu and Matteo Maffei ACM Conference on Computer and Communications Security 357-370 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks.
  Michael Backes and Boris Köpf ESORICS 517-532 (2008)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• Lazy Revocation in Cryptographic File Systems.
  Michael Backes and Christian Cachin and Alina Oprea IEEE Security in Storage Workshop 1-11 (2005)
  to dblp by dblp on 2008-09-07 00:00:00
  | URL | BibTeX  
• Anonymous and censorship resistant content sharing in unstructured overlays.
  Michael Backes and Marek Hamerlik and Alessandro Linari and Matteo Maffei and Christos Tryfonopoulos and Gerhard Weikum PODC 429 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Preface.
  Michael Backes and David A. Basin and Michael Waidner Journal of Computer Security 15 561 (2007)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• A New Approach to Estimate Fractal Dimension of Texture Images.
  André R. Backes and Odemir M. Bruno ICISP 136-143 (2008)
  to dblp by dblp on 2008-07-10 00:00:00
  | URL | BibTeX  
• The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.
  Michael Backes and Stefan Lorenz and Matteo Maffei and Kim Pecina CAV 419-422 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.
  Michael Backes and Dominique Unruh CSF 255-269 (2008)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.
  Michael Backes and Catalin Hritcu and Matteo Maffei CSF 195-209 (2008)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Schichten- und geschlechtsspezifische Aspekte der Vorbereitung auf Alter und Ruhestand
  {Gertrud} Backes and {Wolfram} Schmachtenberg and {+DZA300X+Gertrud} Backes and {+DZA300X+Wolfram} Schmachtenberg (1981)
  to Vorruhestand Älterer_Arbeitnehmer by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Betriebliche Bildungs- und Wettbewerbsstrategien im deutsch-britischen Vergleich : ein Beitrag der Personalökonomie zur internationalen Betriebswirtschaftslehre
  {Uschi} Backes-Gellner (1996)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Simulationsunterstützung zur zielorientierten Produktionsprozeßplanung und -regelung
  {Matthias} Backes (1997)
  to Produktionsplanung by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Deregulierung und Finanzierung des Bildungswesens
  {Robert K./von} Weizsäcker and {Ursula} Backes-Gellner (1998)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Management und Zeit
  {Uwe} Götze and {Matthias} Backes (2000)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Flexibilisierungstendenzen in der betrieblichen Personalpolitik : Anreize, Arbeitszeiten und Qualifikation ; Beiträge zum 3. Köln-Bonner Kolloquium zur Personalökonomie
  {Uschi} Backes-Gellner and {Matthias} Kräkel and {Bernd} Schauenberg (2000)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Personalökonomik : fortgeschrittene Anwendungen für das Management
  {Uschi} Backes-Gellner and {Edward P.} Lazear and {Birgitta} Wolff (2001)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX