Theory and Practice João Barros Instituto de Telecomunicações Universidade do Porto and EECS/MIT Information-Theoretic Security IEEE International Symposium.