У меня были те же проблемы с сетью в моем университете.
Я считаю, что нет ничего плохого в вашей машине или прокси-сервере.
Проблема в том, что администраторы сети блокируют определенные протоколы и порты и позволяют выполнять определенные операции.
В вашем примере «ping» не работает, но позволяет сказать, что если вы попытаетесь «ssh», у вас могут не возникнуть проблемы на всех.