Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, july 16-19, 2012. Proceedings.