Showing results in 'Talks'. Show all posts

By **Óscar Pereira**, HASLab, INESC TEC & Minho University.

**Abstract**. We explore the possibility of modelling a working block cipher, and analysing its security, exclusively through an algebraic framework of polynomial rings and finite fields: one aims to get the simplest formal models of ciphers for which it is possible to get demonstrative evidence of its security but still with reasonably efficient implementations.