Truth be told, there is lots of mining going on privately 'at work' in lots of countries all over the world. Much more profitable when 'the boss' has to pay for your electricity.
Yes, in case of small price cryptocurrencies people are using their office hardware to mine. It's hard to believe the kind of penetration level cryptocurrencies has gained.