Currently Pulse Secure Mac client is using the long depreciated TokenD api for smartcard authentication. Are there plans to use the newer CTK api instead? Apple has mentioned plans to remove the older API from the OS, possibly by 10.14's release.