Drive interdisciplinary advances in system security and privacy-preserving computing by building formally verified confidential computing environments, optimizing secure ML inference, and developing LLM-driven protocol analysis to create trustworthy, high-performance secure systems.