The Institute for Informatics, Logics and Security Studies