Research Themes

Network and Computer Security

• Access Control
• System penetration
• Operating system security
• Network traffic modeling
• Anonymity and privacy
• Physical layer algorithms
• Distributed computing
• Trust management
• Digital Rights Management

Inference and Formal Verification

• Formal verification of security protocols
• Normative multi-agent systems
• Logic of trust and reputation
• Verification of fault tolerance
• Intrusion detection
• Uncertainty models for reliability and trust

Software Engineering Security and Reliability

• Model Driven Engineering
• Software complexity
• Dependable Systems
• Dependable Frameworks for Security

Cryptography

• Public-key cryptography
• Secret-key cryptography
• Computational number theory
• Secure implementation concerns
• Security and privacy management

ComSys

Embracing the end-to-end arguments in system design, ComSys focuses on integrated research in two areas:
Information Transfer is concerned with information transmission over potentially complex channels and networks.
Communicating Systems in turn are the composition of multiple distributed entities employing communication
networks to collaboratively achieve a common goal.

• Theo Duhautpas : Networking.
• Steffen Rothkugel : System Software, Distributed Systems, Mobile Computing.
• Thomas Engel : Computer networks, Network & System security.
• Sjouke Mauw : Security protocols, Security assessment, Privacy, Attack trees, Digital Rights Management, Mobile ad-hoc and sensor networks, RFID's.

ILIAS

Autonomous, intelligent and adaptive computing in complex and dynamic environments under limited resources given incomplete/uncertain knowledge.

• Pascal Bouvry : Evolutionary Computing, Parallel Computing.
• Leon van der Torre : Logic, Knowledge Representation, Agent Reasoning.
• Ulrich Sorger : Inference & Uncertainty, Information Theory, Information Coding.
• Christoph Schommer : Data and Text Mining, Adaptive Information, Management and Retrieval.
• Denis Zampunieris : E-learning, Formal methods, Programming.

LASSY

Researches on methods and tools for mastering the development of complex software systems.
Fundamentals of software engineering, methods and processes for effective software production
ensuring predictable properties of software such as resilience and security
Applied research connected to concrete application domains.
e-health, e-business, automotive and e-learning domains

• Nicolas Guelfi : Dependability, Distributed systems, Mathematically Oriented Methods, Model Driven Engineering.
• Pierre Kelsen : Model Driven Engineering, Formal methods, Software Complexity.
• Juergen Sachau : Complex Dynamics, Identification of control, Embedded power, Distributed realtime.
• Bernard Steenis : Embedded systems, Micro-electronics, Hardware/Software co-design.
• Denis Zampunieris : E-learning, Formal methods, Programming.
• Simin Nadjm-Tehrani : Dependable systems and networks, Resource allocation algorithms, Information security, Critical infrastructures.

LACS

Cryptography, Computational Number Theory, System and Network Security, Information Security Management.

• Jean-Claude Asselborn : System and Network Security, Information Security Management
• Alex Biryukov : Symmetric key cryptography (primitives and protocols), System and Network Security, Efficient algorithms
• Jean-Sebastien Coron : Public-key cryptography (primitives and protocols), Side-channel attacks
• Franck Leprevost : Computational number-theory, Elliptic curves, Algebraic geometry, Public-key cryptography
• Volker Muller : Public-key cryptography using elliptic curves, Computational number theory, System and Network Security