Serge Vaudenay, EPFL, Switzerland