Bjørn Møller Greve

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 4

Top Topics

Mathematical Model

Variable Elimination

Probabilistic Inference

Configuration Problems

Top Venues

IACR Cryptol. ePrint Arch.

Appl. Algebra Eng. Commun. Comput.

Publications

Bjørn Møller Greve, Øyvind Ytrehus, Håvard Raddum, Gunnar Fløystad
Solving non-linear Boolean equation systems by variable elimination. Appl. Algebra Eng. Commun. Comput. 32 (1) (2021)
Bjørn Møller Greve, Øyvind Ytrehus, Håvard Raddum
Variable Elimination - a Tool for Algebraic Cryptanalysis. IACR Cryptol. ePrint Arch. 2019 (2019)
Bjørn Møller Greve, Håvard Raddum, Gunnar Fløystad, Øyvind Ytrehus
Eliminating Variables in Boolean Equation Systems. CoRR (2017)
Bjørn Møller Greve, Håvard Raddum, Gunnar Fløystad, Øyvind Ytrehus
Eliminating Variables in Boolean Equation Systems. IACR Cryptol. ePrint Arch. 2017 (2017)