Collaborations between Daniel Bernstein and Lance Henriksen