IAIK

IAIK is one of the leading research institutions in cybersecurity and active in the following four areas: Cryptology & Privacy, Formal Methods, System Security, and Secure Applications. Overall, the researchers of the institute have published more than 1000 scientific publications... IAIK offers about 20 courses at the Bachelor and the Master level. In all courses, it is our goal to get students involved with the foundations as well as the latest technologies and research challenges. This also holds for the Bachelor's and Master's thesis. As a consequence, several Bachelor and Master students are co-authors of publications at international top conferences each year... We are proud to announce that we have been awarded a National Research Network grant from FWF. RiSE is the only network grant in Computer Science in Austria. It's goal is to bring the state of the art in formal methods from after-the-fatct verification to formal methods to help designers write correct code from the get-..

Primary location: Graz Austria