No they're not, you have to map your EOS tokens to your own public EOS address which gets randomly generated, otherwise, you won't be able to use the EOS tokens once the ICO has ended: https://goo.gl/TSq52F