Storing Data Securely and processing Big Medical Databases efficiently is a basic requirement for any health technology of the 21st century. KASTEL is KITs forefront security institute,   High Data throughput using computational methods are the specialty of the Mathsee KIT-Center, while joint big data driven research and innovation efforts are performed by labs as SDIL and SDSC-BW. Because security and performance is so critical, we attack the problem from various levels: From the data level by using encryption technologies, from the personal level using technologies such as special DLT-based methods or AI explanation methods for higher trust in the system and its protection, from the tools level by using automated verification technologies to ensure correctness of data and system.