TATRACRYPT 2007

The 7th Central European Conference on Cryptology
June 22-24, 2007, Smolenice, Slovakia

Preliminary Conference Programme

Friday, June 22, 2007
 
9:00-9:10 Address
  Karol Nemoga
 
Chairman: Karol Nemoga
9:10-10:10 Two Sources of Algebraic Vulnerability and Applications in Cryptanalysis
  Nicolas T. Courtois
 
Coffee break
 
Chairman: Martin Stanek
10:30-10:50 Remote voting using smart cards with display
  Lukasz Nitschke
10:50-11:10 Single Transferable Vote Analogue of Desmedt-Kurosawa Voting Protocol
  Joanna Boroñ, Marek Klonowski
11:10-11:30 Kleptographic Attacks on E-Auction Schemes
  Marcin Gogolewski, Marcin Gomu³kiewicz, Jaros³aw Grzıœlewicz, Przemys³aw Kubiak, Miros³aw Kuty³owski, Anna Lauks
11:30-11:50 Incremental Formal Analysis of Cryptographic Protocols
  Rastislav Krivoš-Belluš
 
Lunch
 
Chairman: Trung van Tran
14:00-14:20 Sliding Attacks, Ciphers with Small Blocks and Recent Attacks on KeeLoq
  Nicolas T. Courtois, Gregory V. Bard, Andrey Bogdanov
14:20-14:40 Building a Trap-door One-Way Function from a Multivariate Quadratic System of Equations
  Gregory V. Bard
14:40-15:00 Performance and Quality Analysis On a New Symmetric Cryptographic Algorithm
  Dominic Bucerzan
15:00-15:20 On a pseudorandom generator
  Katalin Gyarmati
15:20-15:40 The statistical properties of biideals in the frequency test
  Edmunds Cers
 
Coffee break
 
Chairman: Štefan Porubskŭ
16:10-16:30 Exact bounds on tree based secret sharing schemes
  László Csirmaz
16:30-16:50 Algorithmic aspects of some protocol verification logics
  Sándor Vályi, Péter Takács, József Ködmön
16:50-17:10 On Verification of the MANA Protocol Family
  Péter Takács, Sándor Vályi
17:10-17:30 Automated Analysis of Multi-protocol Attack Using Strand Spaces
  Jozef Jirásek
 
Dinner
 
Saturday, June 23, 2007
 
Chairman: Rainer Steinwandt
9:00-10:00 Hash functions: recent developments
  Bart Preneel
 
Coffee break
 
Chairman: Nicolas T. Courtois
10:30-10:50 Signature schemes with subliminal free public key
  Viktória Ildikó Villányi
10:50-11:10 Remarks on using NFS to solve DLP in XTR supergroup
  Pavol Zajac
11:10-11:30 Analysis of the DBI_ basic algorithm
  Richard Ostertág, Peter Košinár
11:30-11:50 On the distribution of points of reduced elliptic curves
  Zoltán Csajbók
 
Lunch
 
Chairman: Bart Preneel
14:00-15:00 Group Key Establishment: Some Security Goals and Constructions
  Rainer Steinwandt
 
Coffee break
 
Chairman: Spyros S. Magliveras
15:20-15:40 Hamming Weight of the Non-Adjacent-Form under Various Input Statistics
  Clemens Heuberger, Helmut Prodinger
15:40-16:00 On Ciphertext Undetectability
  Peter Gaži, Martin Stanek
16:00-16:20 Bounds for Differential Probabilities in Even Order Abelian Groups
  Jerzy Jaworski, Tomasz Tyksiñski
16:20-16:40 On Evaluation Parameters of Different Analog Speech Scrambling Techniques
  Sattar B. Sadkhan, Nidaa A. Abbas
 
Barbecue
 
Sunday, June 24, 2007
 
Chairman: Milan Vojvoda
9:00-10:00 Group theoretic cryptography
  Spyros S. Magliveras
 
Coffee break
 
Chairman: Otokar Grošek
10:20-11:20 Public Key Cryptography Based on Covers of Finite Groups
  Trung van Tran
11:20-11:40 Attack on MST3
  Pavol Švába, Spyros. S. Magliveras, Trung van Tran
 
11:40-11:50 Invitation for the next conference in Austria
  Clemens Heuberger
11:50-12:00 Address
  Otokar Grošek
 
Lunch