Finding Boolean functions suitable for cryptographic primitives is a com...
Combinatorial designs provide an interesting source of optimization prob...
An interesting thread in the research of Boolean functions for cryptogra...
Reversible Cellular Automata (RCA) are a particular kind of shift-invari...
Semi-bent Boolean functions are interesting from a cryptographic standpo...
We investigate sets of Mutually Orthogonal Latin Squares (MOLS) generate...
Reaction systems are a computational model inspired by the bio-chemical
...
In P systems with active membranes, the question of understanding the po...
It is well known that the kind of P systems involved in the definition o...
Among PSPACE-complete problems, QSAT, or quantified SAT, is one of
the m...