Symbolic Computation and Cryptography 2008