Sophos VPN Instructions
Windows
Installing Sophos SSL VPN Client
User Portal
Sign in to the User Portal:
- To connect to Pensacola VPN use https://blackhole.ihmc.us
- To connect to Ocala VPN use https://wormhole.ihmc.us
- Authenticate using your username, example “rthomas” and your Active Directory password (your Active Directory password is the same one you use for accessing IHMC Internal).
- If you are outside IHMC you will need to enter the Captcha code.
- Select VPN on the left pane, then choose from the following in the the SSL VPN client section:
- If you are currently using another OpenVPN client you should be able to just click Download for Windows, macOS, Linux and use it with your current software.
- Otherwise click Download for Windows and install and setup the Sophos VPN client.
Using Sophos VPN Client
- The VPN software icon in your system tray is a traffic light.
- A red light means the VPN is not connected.

- Right click on the traffic light and choose Connect.

- Authenticate using your username and Active Directory password, just like you did to access the User Portal.

- Upon successful authentication you will be connected to the VPN.

- Your traffic light is now green.

- To disconnect from the VPN, right click the traffic light and select Disconnect.

macOS
User Portal
Sign in to the User Portal:
- To connect to Pensacola VPN use https://blackhole.ihmc.us
- To connect to Ocala VPN use https://wormhole.ihmc.us
- Authenticate using your username, example “rthomas” and your Active Directory password (your Active Directory password is the same one you use for accessing IHMC Internal).
- If you are outside IHMC you will need to enter the Captcha code.
- Select VPN on the left pane.
- Under the VPN configuration section, click Download for Windows, macOS, Linux.
- This will download the config file that you will use in OpenVPN Connect. The file type will be a .ovpn.
- If you are currently using another OpenVPN client you should be able to use this configuration file with your current software.
Configuring and Using OpenVPN Connect
- Run the OpenVPN Connect.app (in your Applications folder.) If you do not have it, download the installer.
- The first time you run OpenVPN Connect you will likely be greeted by the Onboarding Tour and a couple of notifications. Read through the information and continue.
- Next you will be importing your Profile, this is the file you downloaded earlier from the User Portal.
- Since it is a file, click on the File Tab.
- You can either Browse to the file or Drag and Drop the file onto the app.


- Click OK to confirm that you want to import the profile.
- Enter your username for the profile, the same one you used to connect to the User Portal (“rthomas”) and click Add in the upper right corner.


- To connect to the VPN, click the toggle switch next to the Profile.
- You will be asked for your password, this is your Active Directory password, the same one used to access the User Portal.
- Click OK to connect to the VPN.


- To disconnect from the VPN, click the toggle switch again.
- You will be asked to confirm that you want to disconnect, you have the option to not show the confirmation again.
- Click OK.


Linux
User Portal
Sign in to the User Portal:
- To connect to Pensacola VPN use https://blackhole.ihmc.us
- To connect to Ocala VPN use https://wormhole.ihmc.us
- Authenticate using your username, example “rthomas” and your Active Directory password (your Active Directory password is the same one you use for accessing IHMC Internal).
- If you are outside IHMC you will need to enter the Captcha code.
- Select VPN on the left pane.
- Under the VPN configuration section, click Download for Windows, macOS, Linux.
- This will download the config file that you will use in OpenVPN Connect. The file type will be a .ovpn.
- If you are currently using another OpenVPN client you should be able to use this configuration file with your current software.
Configuring and Using OpenVPN Connect
- If you already have a VPN client installed that supports .opvn configurations, you can import your configuration file (downloaded above) to your client.
- Otherwise, download and install OpenVPN 3 for Linux.
- Additional installation instructions can be found here.