Research Projects
The CSC research unit is part of the UL with the primary mission to conduct fundamental and applied research in the area of computer, communication and information sciences.
CSC focus on different research priorities (Advanced Software Systems, Communicative Systems, Intelligent and Adaptive Systems, Information Security) and is in charge of developing P1 - the strategic priority on security and reliability of the University of Luxembourg. Currently, the CSC research unit includes 24 professors, 7 research assistants, 46 junior researchers, 18 collaborators on projects, 8 scientific support staff members, 4 technical support staff members and 7 technical aid staff members. Their research fields range from the investigation of the theoretical foundations to the development of interdisciplinary applications.
EU Projects:
- Development and Industrial Application of Multi-Domain Security Testing Technologies
- European Platform Roadmap for Future Public Safety Communication
- Exposing the Features in IP version Six protocols that can be exploited/extended for the purposes of designing/building Autonomic Networks and Services
- IRMA
- Seamless Communication for Crisis Management
- Ubiquitous IP-centric Government and enterprise next Generation Networks Vision 2010
- Wireless traffic Safety network between Cars
UL Projects:
- Adaptive High-gain Extended Kalman Filter and Applications
- Advanced Argumentation Techniques for Trust Management
- A Formal Approach to Enforced Privacy in e-Services
- Decision Deck - University of Luxembourg
- Dynamics of trust in logic-based multi-agent systems
- Embedded Systems Security
- Evolutionary Computing & Security
- Individual and Collective Reasoning
- Managing Regulatory Compliance: a Business-Centred Approach
- Model-Driven Engineering using a Declarative Behavioural Description Language
- Modelling Dependable Collaborative Time-Constrained Business Processes
- PRISMA : a Process for Requirements Identification, Specification and Machine-supported Analysis, targeting Transactional Models seen under a Product Line perspective
- Recherches Mathématiques en Sciences de Décision
- Refining Key Components in Trust Models
- Reliable and robust management for telecommunication network with optimization techniques
- Resource Allocation in Delay and Disruption Tolerant Networks
- Security and Cryptography in the Real World
- VERIfication of fault-tolerant advanced Transactional distributed sYstems
AFR Funded Projects:
- A Formal Approach to Enforced Privacy: Modelling, Analysis and Applications
- A Formal Approach to Privacy in Voting
- Combinatorial optimization on P2P systems and computational grids
- Conviviality and User Behavior Analysis: Inventing profile discovery for e-conviviality
- Cryptanalysis of Hash Functions
- Efficient data transfer in vehicle2vehicle wireless communication networks, using distributed algorithms based on collective intelligence such as ant colonies.
- Energy Optimization and Monitoring in Wireless Mesh Sensor Networks(PhD thesis)
- Expressing Non-Functional Requirements in Declarative Executable Models
- Games for Modelling and Analysis of Security
- Grid-based Parallel Software(GPS) for predicting thermal conversion and fuel particles motion in combusion chamber
- Logic and Communication in Normative Multi-Agent Systems
- Modeling and Developing a Novel Distributed Authorization Logic
- Multimedia Sensor Networks (PhD thesis)
- Reliable and robust management for telecommunication network with optimization techniques
- Risk Prediction Framework for Interdependent Systems using Graph Theory
- Robust Scheduling on Desktop Grids
- Security Analysis Through Attack-Defense Trees
- Security Protocols in Identity Management
- Selected Problems in Executable Modeling
- Towards a unified logical framework for action, uncertainty and causality
- Trust Management for Ad-Hoc Networks
- Universality and Self-Organization in Next-Generation Distributed Environments
- Wireless outdoor access. Managed and Community Networks (PhD thesis)
FNR Funded Projects:
- Second International Conference on e-Voting and Identity
- ESC 2010 - Echternach Symmetric Cryptography Workshop
- 9th International School on Foundations of Security Analysis and Design
- Formal Methods Week
- Computer Security Foundations Symposium and Workshop on Formal and Computational Cryptography
- Attack Trees
- Cryptography and Information Security in the Real World
- EnerGy-efficient REsourcE AllocatioN in AutonomIc Cloud CompuTing
- International Conference on Formal Engineering Methods
- Model Composition for Executable Modeling
- Model-Driven Validation and Verification of Resilient Software Systems
- Science Festival 2009 - "Cryptography for Kids"
- Secure, Reliable and Trustworthy Voting Systems
- Security Games
- Security Testing of Resilient Systems
- The Dynamics of Argumentation
- Trust-assurance for critical infrastructures in multi-agents environments
Other Projects:
- Développement d'outils d'apprentissage en ligne pour les techniques de comptabilité, d'analyse financière et de gestion d'entreprise
- End-to-end Web Service Security in Aspect Oriented Programming
- Lux. Early-Warning Analysis and Information Sharing System
- Modelling of Business and IT Landscapes addressing Security, Risk and Compliance in a Real-World banking environment (PhD thesis)
- Satellite Communication Security (PhD thesis)
- Secure Usage and Trust of Mobile Devices in Networks for international banking environments (PhD thesis)
- Self Organizing Security Sensors in highly-distributed IP networks (PhD thesis)
- Study of certain evolution systems in mathematical physics: magnetohydrodynamics of parcially ionized plasmas, time irreversibility and decoherence in quantum systems
