The Language-Based Security group (LBS), officially established on June 1st 2009, is part of the Computer Science Department at Saarland University.

The research interests of LBS include formal methods, cryptographic protocols, program analysis, semantics of programming languages, type theory, concurrency theory, and security of distributed systems.

LBS is chaired by Dr. Matteo Maffei and is financed by the Emmy Noether program of the German Research Foundation with the research project "Formal Methods for the Verification and Design of Modern Cryptographic Applications".