CAI 2013

5th International Conference on Algebraic Informatics



logo AMU

Confirmed Invited Speakers

Gul Agha (University of Illinois)
Euclidean model checking: a scalable method for verifying quantitative properties in probabilistic systems

Christel Baier (Bonn)
Quantitative analysis of randomized distributed systems and probabilistic automata
Marc Joye (Technicolor)
On elliptic curve Paillier schemes

Seny Kamara (Microsoft Research)
Proofs of storage: theory, constructions and applications

Gilles Lachaud (IML, Marseille)
Word oriented LFSR and construction of block companion matrices in a given conjugacy class

Pascal Véron (Toulon)
Code based cryptography and steganography









© 2012-2013 IML-CNRS - updated: june 13, 2013