CAI 2013


5th International Conference on Algebraic Informatics

 

INVITED SPEAKERS

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