Slovak University of Technology

Slovak University of Technology (STU) 

The Faculty of Electrical Engineering and Information Technology of the Slovak University of Technology (FEI STU) is one of the 7 faculties of the STU, the oldest  (1940) and largest (20,000 students) university of technology in Slovakia. Its substantial lines are modern, internationally accepted university study, intensive scientific and development research and cooperation with academic and industrial partners in Slovakia and abroad. The Institute of Computer Science and Mathematics, as a part of FEI STU, is responsible for the study program Applied Informatics. One of its departments is the Department of IT Security. The cryptology education has begun in 1984 as the first in former Czechoslovakia. In 1986 O. Grošek and K. Nemoga established a new research seminar CRYPTO which is still a main center of cryptology research in Slovakia.  Since that time the Crypto-group has formed the core of the Department of IT Security, a National center of excellence participant, focusing on teaching cryptography and IT Security, participating actively in international collaborations, training candidates of high expertise for government and industry. The present staff consists of  4 professors, 4 postdocs, 6 Ph.D. students, and 38 Master degree students. More information is available online. Besides organizing other conferences, the Department is also a founder (since 2000) of the series of Central European Conferences on Cryptology and European Historical Ciphers Colloquium .

The main contribution from the project partner from Slovakia will be on the side of hardware implementations, specifically taking into account side-channel and signal-level aspects of security.


University of Malta

University of Malta (UoM) is the highest teaching institution in Malta catering for some 11,500 students including over 1000 international students (450 are visiting students) from 92 different countries, following full-time or part-time degree and diploma courses, many of them run on the modular or credit system. Researchers at the University of Malta conduct research in a variety of areas ranging from adaptive systems to seismic monitoring. The university is also home to a number of leading research programmes, including digital games research, climate change, metamaterials, physical oceanography and maritime law.

The Department of Computer Science has a good research track record in a number of areas, with runtime verification being one of the main topics of focus. The first edition of the Internation Runtime Verification Conference has been organised in Malta and two members of the department are on the PC committee.

The main contribution from the project partner from Malta will be to contribute the runtime verification aspect to the implementation, making sure that correctness properties are adhered to during normal system use – protecting against malicious attacks.


Universidad Rey Juan Carlos

Founded in 1996, U. Rey Juan Carlos is today the second largest public university of the Madrid region, with 5 campuses and serving over 40,000 students. The University has focused his teaching and interdisciplinary research to find solutions to current industrial problems, and ranks among the best universities in Madrid for excellence academic programs and international scientific quality. One of the strengths of U. Rey Juan Carlos is promoting mixed or double degrees geared towards covering the special demands of  industry in central Spain. Good examples of such are the double degrees in Computer Science and Mathematics and Mathematics and Software Engineering, from which students have a recognized training in IT security.

We are founding members of the Spanish Excellence Network for Cybersecurity Research (RENIC) coordinated by INCIBE (National Institute of Cybersecurity Research) and have in 2017 organized the Jornadas Nacionales de Investigación en Ciberseguridad, a national flagship conference in Cybersecurity Research.


The University of Alabama in Huntsville (UAH)

The University of Alabama in Huntsville (UAH) is a public research university serving close to 10,000 students. UAH is located in Cummings Research Park, the second-largest research park in the nation. The National Security Agency and the Department of Homeland Security designated UAH a National Center of Academic Excellence in Cyber Defense (CAE-CD) and Research (CAE-R). The university has strong partnerships , e.g.,  with the Missile Defense Agency, the DIA Missile and Space Intelligence Center, and the U.S. Army Materiel Command.

The co-director of the U.S. project partner serves as Dean of UAH's College of Science and has an established track record of research in cryptology, including the exploration of post-quantum cryptography. He co-founded the Dagstuhl Seminar series on Quantum Cryptanalysis and is a steering committee member of the International Conference on Post-Quantum Cryptography.

The main contribution of the project partner from the U.S. will be on the side of protocol analysis, specifically the appropriate modelling of attacks involving quantum computers and taking into account platform constraints.