Ueli Maurer continues to be one of the foremost theoretical cryptographers out there. He is responsible for the notion of indifferentiability, which has been quite useful in designing hashing modes out of block ciphers / compression functions and proving them 'secure'.