The Secure and Privacy-preserving Systems group (SPS) is part of the Computer Science Department at Saarland University and of the Competence Center on IT-Security, Privacy, and Accountability (CISPA). SPS is the heir of the Language-Based Security group, officially established on July 1st 2008.

The research interests of SPS include formal methods for security and privacy, analysis of cryptographic protocols, program analysis, type theory, concurrency theory, and design of privacy-preserving systems.

SPS is chaired by Prof. Dr. Matteo Maffei.