Projects
Quality Assurance for Software Frameworks in Evolution KU Leuven
A software framework is a design and implementation artefact that provides a software architecture, design and code (frozen spots) for a specific application domain, with foreseeable extensions for application-specific customisations (hot spots). But similar to 'regular' products and services, frameworks are susceptible to frequent change, due to: • changing or new requirements • extension of scope of the framework (narrowing or widening) • ...
Automated Assistance for Developing Software in Ecosystems of the Future (SECO-ASSIST). University of Antwerp
Advanced Software Protection: Integration, Research and Exploitation Ghent University
Our goal is to establish trustworthy software execution on untrusted mobile platforms that have a persistent or occasional network connection to a trusted entity at their disposal. With the ASPIRE solutions, we want mobile software security to become trustworthy by leveraging on the available network connection and developing a layered security approach of strong protections; measurable by developing pratical metrics pased on validated attack ...
Privacy engineering methods for software development KU Leuven
To enhance the security and privacy maturity of software systems, an increasing security and privacy effort is being spent in the early phases of software development. This ongoing paradigm shift (security-by-design and privacy-by-design) demands for novel privacy engineering techniques to underpin the software engineering activities, such privacy threat modeling, architectural privacy analysis and privace-aware design patterns. In this ...
Migration to agile design of embedded software that recovers itself after errors due to external factors KU Leuven
This thesis focuses on the selection and implementation of software-implemented countermeasures designed to detect control flow errors in embedded systems. A control flow error is an erroneous jump throughout an executing program induced by external disturbances. These disturbances, such as electromagnetic interference, can introduce bit-flips in different components of a system’s hardware. In turn, these introduced bit-flips affect the ...
Software Strategies to Improve Immunity of Programmable Embedded Systems against Disturbances KU Leuven
Programmable Embedded Systems form the cornerstone for the rising challenges in the next industrial revolution of cyber physical systems where everything gets connected, data is interchanged and decisions are made by programmable controllers. Application areas are mobility, manufacturing, smart energy consumers, health and elderly care. This implies a more frequent use of such systems in applications requiring high reliability in harsh ...
Management of communication networks University of Antwerp
Resilience of Forward Error Corrections in Harsh Electromagnetic Environments: Fault Mechanisms and Fault Elimination Techniques KU Leuven
This dissertation addresses the challenge of ensuring resilient communication in modern safety–critical systems that operate in increasingly polluted electromagnetic environments. While forward error corrections can provide protection at the physical layer of communication, there remains a theoretical vulnerability to undetectable corruption, which could potentially pose a serious risk to users, bystanders, and the environment. This ...