EOS has now gone live on Bitfinex. US Citizens are not excluded.
The price on the USD market is $0.91, but on the BTC market is $1.04 at the moment, so the arb bots haven't gotten set up yet.