Junos Pulse had a client that worked directly in the Windows 8.1 built-in VPN client (see here). Does anything similar exist for Pulse Secure?