Home > Fellows

Fellows at KASTEL

Fellows are the senior scientists participating at KASTEL SRL.

  • 23 Fellows from 7 Institutions

Human-Centered IT Security IT Security Privacy

Intersection of security, privacy and human-computer interaction

IoT Security Network Security

Network security, IoT security, law

Dependability Verification

Formal, logic-based methods for the specification and verification of software

Human-Centered IT Security Production Security Robotics

Automatic visual inspection and image exploitation, Signal and information processing, anthropomatics, robotics

Energy Systems Security

Security and privacy of future energy systems

Decentralized Systems Network Services

Decentralized systems and network services

Modeling Software Engineering

Modeling for continuous software engineering

Privacy Societal Security Usable Security

Design and Evaluation of End-User Viable Information Security and Privacy Solutions

Dependability Software Engineering

Dependability of Software-intensive Systems

Cryptography Quantification

Secure cloud computing, secure multi-party computing, security definitions and models, and hardware trust anchors.

Cyber Physical Systems

Logical foundations for cyber-physical systems and practical theorem proving tools

Legal Informatics

Legal informatics and IT security

Dependability Software Engineering

Dependability of software-intensive systems

Cryptography Privacy

Cryptographic Protocols for Privacy, Accountability and Transparency

Mobility Systems Security Software Engineering

Test, analysis and validation of software-intenstive systems, autonomous mobility

Applied Informatics Privacy

Digital Privacy, Designing Processes for Digital Privacy

Legal Informatics

Public Law, Information Law, Environmental Law and Legal Theory

IT Security Privacy

Technical data protection, network and IT security

Privacy Trustworthy Internet Technologies

Critical information infrastructures

Privacy Societal Security Usable Security

Usable security, privacy, society, secure communication

Economic Security Process Security

Innovation and risk management

Machine Learning System Security

Intersection of machine learning and computer security

Communication Security Network Security

Multimedia communication systems, mobile and ubiquituous computing, ambient technologies and wireless sensor networks

Machine Learning

Autonomous service robots, autonomous vehicles or assistance systems with cognitive capabilities

No results found, try another filter.