We are a small team of computer scientists, mathematicians and software engineers specializing in classical/(post-)quantum cryptography, applied logic, software security, artificial intelligence and cyber-physical system security.