Is it the theme itself that's handling your CAS authentication? Usually that would be handled by a module that integrates with Drupal's user system (like the Drupal CAS module: https://www.drupal.org/project/cas).

--