BibSonomy :: author  ::

bookmarks

publications

(104)

• MARP: Mobile Agent for RFID Privacy Protection.
  Soo-Cheol Kim and Sang-Soo Yeo and Sung Kwon Kim CARDIS 300-312 (2006)
  to dblp by dblp on 2008-11-27 00:00:00
  | URL | BibTeX  
• Smartcard Firewalls Revisited.
  Henrich Christopher Pöhls and Joachim Posegga CARDIS 179-191 (2006)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• Handbook of Tableau Methods
  Marcello D'Agostino and Dov M. Gabbay and Reiner Hähnle and Joachim Posegga (eds.). (1999)
  to Handbook Logic Tableau _Diplomathesis by haschek on 2008-01-06 12:46:48
  | BibTeX  
• Advances in smart cards.
  Josep Domingo-Ferrer and Joachim Posegga and Francesc Sebé and Vicenç Torra Computer Networks 51 2219-2222 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX  
• Byte Code Verification for Java Smart Card Based on Model Checking.
  Joachim Posegga and Harald Vogt ESORICS 175-190 (1998)
  to dblp by dblp on 2007-09-10 00:00:00
  | URL | BibTeX  
• The NetAcademy - A New Concept for Online Publishing and Knowledge Management
  Siegfried Handschuh and Ulrike Lechner and David-Michael Lincke and Beat Schmid and Petra Schubert and Dorian Selz and Katarina Stanoevska-Slabeva Services and Visualization, Towards User-Friendly Design, International Workshop on Advanced Communication Services (ACoS' 98) 29-43 (1998)
  to 1998 conference mypub by siggi and 1 other person on 2007-09-09 11:16:39
  | URL | BibTeX  
• Certifying Native Java API by Formal Refinement.
  Quang Huy Nguyen and Boutheina Chetali CARDIS 313-328 (2006)
  to dblp by dblp on 2006-10-23 00:00:00
  | URL | BibTeX  
• Power Analysis to ECC Using Differential Power Between Multiplication and Squaring.
  Toru Akishita and Tsuyoshi Takagi CARDIS 151-164 (2006)
  to dblp by dblp on 2006-04-06 00:00:00
  | URL | BibTeX  
• Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis.
  Raphael C.-W. Phan and Sung-Ming Yen CARDIS 135-150 (2006)
  to dblp by dblp on 2006-04-06 00:00:00
  | URL | BibTeX  
• Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards.
  Juan Jesús Sánchez Sánchez and Daniel Díaz Sánchez and José Alberto Vigo Segura and Natividad Martínez Madrid and Ralf Seepold CARDIS 78-90 (2006)
  to dblp by dblp on 2006-04-06 00:00:00
  | URL | BibTeX