Mathematical Methods in Computer Science

This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.

The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.

The 12 contributed talks presented were carefully selected from 30 submissions and cover the topics cryptography, designs, quantum computing, algorithms, and coding theory. Furthermore, this volume contains two invited talks held at the conference. One focuses on the area of coding theory and symbolic computation, an area especially appreciated by Thomas Beth, because it combines algebra and algorithmics. The other one discusses quantum information, which again was a focus of Thomas Beth's research.

Autorentext
Jörn Müller-Quade, geb. 1967, ist Professor für Kryptografie und Sicherheit am Karlsruher Institut für Technologie. Außerdem ist er Direktor am Forschungszentrum Informatik, ebenfalls in Karlsruhe.

Inhalt
Cryptography I.- On the Security of Beth's Identification Schemes against Active and Concurrent Adversaries.- Designs.- Steiner t-Designs for Large t.- New Spatial Configurations.- Construction of Large Constant Dimension Codes with a Prescribed Minimum Distance.- Quantum Computing.- Invited Talk: Embedding Classical into Quantum Computation.- A Criterion for Attaining the Welch Bounds with Applications for Mutually Unbiased Bases.- An Efficient Quantum Algorithm for the Hidden Subgroup Problem over Weyl-Heisenberg Groups.- Algorithms.- Computing Equiangular Lines in Complex Space.- Complexity of Comparing Monomials and Two Improvements of the Buchberger-Möller Algorithm.- Coding Theory.- Invited Talk: Decoding Cyclic Codes: The Cooper Philosophy.- Kernel Dimension for Some Families of Quaternary Reed-Muller Codes.- Cryptography II.- Coding-Based Oblivious Transfer.- Protection of Sensitive Security Parameters in Integrated Circuits.- On Reconstruction of RC4 Keys from Internal States.