[math-fun] Perfect nonlinear functions n=2m

In Nyberg's 1991 paper, she proves that a perfect nonlinear binary S-box must have an input dimension at least twice that of the output dimension. I'm trying to construct the most trivial versions of her theorem: i.e., n=2*m, m=1, 2, 3, etc. Has anyone here done such a thing?