If Binance would allow shorting there wouldn't be any need to use anything else. Sadly it does not.

It's clearly a great exchange with transparent CEO and battle-tested security which didn't fail in real situation.

For shorting there's always Bitmex, which to my knowledge hasn't had any security issues and currently stands as the most popular margin exhange for people in EU.