27 citations · 27 across the 2 of their papers we have counts for
2 papers
cs.CR2017
Eliminating Variables in Boolean Equation Systems
Bjørn Møller Greve, Håvard Raddum, Gunnar Fløystad +1
Systems of Boolean equations of low degree arise in a natural way when analyzing block ciphers. The cipher's round functions relate the secret key to auxiliary variables that are i…
math.AC2015★ 27 cited
Letterplace and co-letterplace ideals of posets
Gunnar Fløystad, Bjørn Møller Greve, Jürgen Herzog
To a natural number , a finite partially ordered set and a poset ideal in the poset of isotonian maps from to the chain on elements, we a…