Friday seminar: Lightweight, Realtime Solutions to the Privacy and Security Issues in the Internet of Vehicles (IoV)

16.12.2022
, 1:00 pm

Friday seminar: Concatenated Codes for Multiple Reads of a DNA Sequence

09.12.2022
, 1:00 pm

Friday seminar: Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK

30.11.2022
, 2:00 pm
All events

Solving non-linear Boolean equation systems by variable elimination

Bjørn Møller Greve, Øyvind Ytrehus, Håvard Raddum, and Gunnar Fløysand. “Solving non-linear Boolean equation systems by variable elimination.” Appl. Algebra Eng. Commun. Comput. 32(1): 3-47 (2021)