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 [abstract]

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

11.30 – 12.00 Serhii Yakovliev and Lyudmyla Kovalchuk [abstract]

Generalized Markov ciphers with application to differential cryptanalysis of SAFER

Lunch
14.00 – 14.30 Jan Kristian Haugland [abstract]

A lower bound on the number of bent squares

14.30 – 15.00 Tor Helleseth, Alexander Kholosha and Niki Spithaki [abstract]

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

Break
15.30 – 16.00 Lukas Kölsch and Rumi Pelen [abstract]

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

16.00 – 16.30 Bimal Mandal, Veeresh Chaudhary and Sugata Gangopadhyay [abstract]

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 [abstract]

Bounds on the number of nonvanishing flats of Boolean functions

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

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 [abstract]

On the APN lifting conjecture over Galois rings

16.00 – 16.30 Kirpa Garg, Constanza Riera and Pantelimon Stanica [abstract]

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 [abstract]

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

11.30 – 12.00 Vladimir Potapov [abstract]

On the Fourier entropy–influence conjecture for Boolean plateaued functions

Lunch
14.00 – 14.30 Ferruh Ozbudak and Vladimir Potapov [abstract]

Fourier moments, higher Sidon sets, and syndrome covering

14.30 – 15.00 Claude Gravel and Daniel Panario [abstract]

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

Break
15.30 – 16.00 Xiang-Dong Hou and Shujun Zhao [abstract]

Classification of rational functions of degree three over finite fields

16.00 – 16.30 Philippe Langevin and Valérie Gillot [abstract]

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 [abstract]

On APN power functions in characteristic 5

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

Differentially 2t-uniform quadrinomials with high nonlinearity

Lunch