BFA 2026 Program

Home Committees Program Excursion Submission Registration Practical information Accepted abstracts List of participants
Monday, September 7
09.30 – 10.30 Faruk Göloglu

Skew polynomials and cryptography

Break
11.00 – 11.30 Tron Omland and Pantelimon Stanica

Affine and cyclic affine equivalence of rotation-symmetric S-boxes

11.30 – 12.00 Serhii Yakovliev and Lyudmyla Kovalchuk

Generalized Markov ciphers with application to differential cryptanalysis of SAFER

Lunch
14.00 – 14.30 Jan Kristian Haugland

A lower bound on the number of bent squares

14.30 – 15.00 Tor Helleseth, Alexander Kholosha and Niki Spithaki

Ternary binomial and trinomial (vectorial) bent functions in the completed class M

Break
15.30 – 16.00 Lukas Kölsch and Rumi Pelen

A new construction of non-weakly regular bent functions in odd characteristic

16.00 – 16.30 Bimal Mandal, Veeresh Chaudhary and Sugata Gangopadhyay

Rayleigh quotients of Maiorana–McFarland bent functions

Tuesday, September 8
09.30 – 10.30 Yves Aubry

On the differential uniformity of polynomials over finite fields

Break
11.00 – 11.30

Domingo Gomez Perez, Alexander Pott, Alexandr Polujan and Christian Kaspers Bounds on the number of nonvanishing flats of Boolean functions

11.30 – 12.00 Aly Khimani, Ana Salagean and Nikolay Stoyanov Kaleyski

New binomial functions with optimal second-order differential uniformity

Lunch
14.00 – 15.00 Darrion Thornburgh

Resolving a conjecture on quadratic APN functions and a new quadratic (n,n)-function associated to crooked functions (joint work with Claude Carlet)

Break
15.30 – 16.00 Daniele Bartoli and Pantelimon Stanica

On the APN lifting conjecture over Galois rings

16.00 – 16.30 Kirpa Garg, Constanza Riera and Pantelimon Stanica

Trace-norm reductions for the boomerang spectrum of the APN map xq+2 over GF(q2)

Wednesday, September 9
Full-day excursion
Thursday, September 10
09.30 – 10.30 Antonio Malheiro

The ProverX ecosystem – packaging automated reasoning for mathematical discovery

Break
11.00 – 11.30 Marcelo Arenas and Ricardo Rodriguez Reveco

Explaining Explainable AI: Boolean Functions and the SHAP–Relevancy Gap

11.30 – 12.00 Vladimir Potapov

On the Fourier entropy–influence conjecture for Boolean plateaued functions

Lunch
14.00 – 14.30 Ferruh Ozbudak and Vladimir Potapov

Fourier moments, higher Sidon sets, and syndrome covering

14.30 – 15.00 Claude Gravel and Daniel Panario

On the binary digit extraction of numerical normal form coefficients of Boolean functions

Break
15.30 – 16.00 Xiang-Dong Hou and Shujun Zhao

Classification of rational functions of degree three over finite fields

16.00 – 16.30 Philippe Langevin and Valérie Gillot

New invariants of Boolean and vectorial functions

Friday, September 11
09.30 – 10.30 Palash Sarkar

The nonlinear filter model of stream cipher Redivivus

Break
11.00 – 11.30 Minwoo Ko, Byunguk Kim, Namhun Koo and Soonhak Kwon

On APN power functions in characteristic 5

11.30 – 12.00 Niki Spithaki, Enrico Piccione, Lilya Budaghyan and Alexander Kholosha

Differentially 2t-uniform quadrinomials with high nonlinearity

Lunch