The Boolean Functions Team at UiB

The Boolean Functions team is a part of the Selmer Center at the Department of Informatics of the University of Bergen. The team performs research related to various classes of optimal Boolean functions and related discrete structures and their applications to cryptography.

The team is led by Prof. Lilya Budaghyan.

Recent research projects handled by the team include:

  • BoolTI: Cryptographic Boolean Functions for Threshold Implementations (10.5 MNOK), 2021-2024 (Principal Investigator: Lilya Budaghyan; other key members: Claude Carlet, George Petrides and Vincent Rijmen)
  • Constructions of Optimal Boolean Functions (23.5 MNOK), 05.2017 – 04.2021, Bergen Research Foundation Recruitment Program Grant (Principal Investigator: Lilya Budaghyan)
  • Discrete Functions and Their Application in Cryptography and Mathematics (7 MNOK), 09.2014 – 09.2018, “Young research talent grant” from the Norwegian Research Council (Principal Investigator: Lilya Budaghyan)
  • Development of a new joint educational program in Information Security and Cryptography at the UiB and Novosibirsk State University (0.3 MNOK), 02.2019 – 02.2021, in cooperation with the Norwegian Center for International Cooperation in Education (Principal Investigators: Lilya Budaghyan and Natalia Tokareva)
  • Development of Education in Computer Science and Applied Mathematics in Armenia (50 KNOK), 10.2017 – 12.2017, Eurasia 2017 Project Development Funding Grant (Principal Investigators: Lilya Budaghyan, Yuri Movsisyan, and Gurgen Khachatrian)

The team is in charge of annually organizing the International Workshop on Boolean Functions and their Applications (BFA) and is also responsible for new special issues on Boolean functions and applications in the journal Cryptography and Communications. In addition, the team is responsible for the George Boole prize.

We also host a Boolean Functions website which is intended to include an encyclopedia of Boolean functions, useful code snippets in the Magma programming language, and tables with relevant data.