Fellows are the senior scientists participating at KASTEL SRL.
Intersection of security, privacy and human-computer interaction
Network security, IoT security, law
Formal, logic-based methods for the specification and verification of software
Automatic visual inspection and image exploitation, Signal and information processing, anthropomatics, robotics
Security and privacy of future energy systems
Decentralized systems and network services
Modeling for continuous software engineering
Design and Evaluation of End-User Viable Information Security and Privacy Solutions
Dependability of Software-intensive Systems
Secure cloud computing, secure multi-party computing, security definitions and models, and hardware trust anchors.
Logical foundations for cyber-physical systems and practical theorem proving tools
Legal informatics and IT security
Dependability of software-intensive systems
Cryptographic Protocols for Privacy, Accountability and Transparency
Test, analysis and validation of software-intenstive systems, autonomous mobility
Digital Privacy, Designing Processes for Digital Privacy
Legal Informatics Law of Digitization
Technical data protection, network and IT security
Critical information infrastructures
Usable security, privacy, society, secure communication
Innovation and risk management
Intersection of machine learning and computer security
Multimedia communication systems, mobile and ubiquituous computing, ambient technologies and wireless sensor networks
Autonomous service robots, autonomous vehicles or assistance systems with cognitive capabilities
