Building Secure and Fast Cryptographic Hash Functions Using Programmable Cellular Automata

Cryptographic hash functions have recently brought an exceptional research interest. With the increasing number of attacks against the widely used functions as MD5, SHA-1 and RIPEMD, the need to consider new hash functions design and conception strategies becomes crucial. In this paper, we propose a fast and efficient hash function using programmable cellular automata that are very suitable for cryptographic applications due to their chaotic and complex behavior derived from simple rules interaction. The proposed function is evaluated using several statistical tests, while obtained results demonstrate very admissible cryptographic properties such as confusion/diffusion capability and high sensitivity to input changes. Furthermore, the hashing scheme can be easily implemented through software or hardware, so it provides very competitive running performances

Numerical Simulations of Electrically Induced Chloride Ion Transport and Moisture Permeability through Cracked Concrete

abstract: The main objective of this study is to numerically investigate: (i) the ionic transport, especially chloride ion penetration into cementitious materials under imposed electric fields, and (ii) moisture transport through cracked concretes as a function of the crack geometry. Numerical methods were implemented to simulate the ionic transport process, based on coupling the Nernst-Planck equation and Poisson's equation to account for transport dominated by electromigration. This mathematical model was also modified to account for the chloride binding mechanism (physical and chemical trapping of chlorides by the cement hydrates) and the concentration dependence of the diffusion coefficient of each ion in the transport process. To validate the numerical model, experimental data from a companion work was used in this study. The non-steady state migration test, which is one of the common accelerated chloride ion transport test, is numerically simulated. The simulation provides a linear relationship between ionic concentration and ionic flux, which indicates that the diffusion part is negligible under a strong external voltage environment. The numerical models along with adjustments for the concentration-dependent diffusion coefficients, a pore structure factor (from electrical measurements) and chloride binding considerations are found to be successful in predicting the chloride penetration depth into plain and modified concretes under imposed electrical potentials. Moisture transport through cracked concrete was examined in the second part of this thesis. To better understand the crack's influence on the permeability, modified Louis' equation was chosen to relate the permeability with crack characteristics. 3D concrete crack models were developed using a MATLAB program with distinct crack tortuosities, roughnesses and sizes. As a comparison, Navier-Stokes equation and the Lattice Boltzmann method were also applied on the 3D model of the cracked concrete to evaluate their permeability. The methodology developed here is expected to be useful in understanding the influence of cracking on moisture transport, and when properly coupled with an ionic transport model that will be further developed, helps comprehensively understand the coupling effects of moisture and ionic transport on deterioration in concrete structures.Dissertation/ThesisM.S. Civil and Environmental Engineering 201

Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science (STACS'09)

The Symposium on Theoretical Aspects of Computer Science (STACS) is held alternately in France and in Germany. The conference of February 26-28, 2009, held in Freiburg, is the 26th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), Marseille (2006), Aachen (2007), and Bordeaux (2008). ..

The use of data-mining for the automatic formation of tactics

This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques