QualSec (Quality and security of information systems) – Real-time scheduling theory;  cryptography and computer security

Design and analysis of cryptographic protocols;  cryptanalysis of cryptographic devices; Fair exchange protocols, non-repudiation protocols, voting protocols, cryptanalysis of protocols, Side channel attacks, Cloud and grid security

Our partners