Projecten
WISLEEP – WIRELESS SECURE LINK WITH ENERGY EFFICIENT PERFORMANCE Thomas More
Open-source veerkrachtige hardware en software voor Internet of Things KU Leuven
It is common wisdom that security is only as strong as the weakest link in a chain. However, identifying the chain and its weak links is a huge challenge, even more so for open-source hardware aimed at the Internet of Things (IoT), industrial IoT and critical infrastructure. Most of these devices operate in constrained environments, with limited energy budgets and routinely lack essential security and privacy guarantees.
The primary goal ...
Intelligent en Agile ontwikkelen van Veilige Gedistribueerde Software voor de Industrie en Bedrijfswereld. KU Leuven
Software technologieën voor multi-tenant internet of things platformen KU Leuven
Het Internet der Dingen (Engels: Internet of Things, afkorting IoT) is een evolutie binnen de informatietechnologie waar intelligentie verweven wordt in alledaagse Dingen, om ze zo computatie-, communicatie-, bediening-, en meeting-mogelijkheden te verschaffen.
De snelle groei en unieke kenmerken van de IoT introduceren nieuwe uitdagingen vanwege de heterogeniteit in hardware en software en een gebrek aan lichtgewicht en ...
Hardware-gebaseerde integriteit van software en de programmastroom KU Leuven
Veel geïnstalleerde software bevat fouten. Dit is problematisch omdat die fouten de oorzaak zijn van zwakheden die misbruikt kunnen worden om applicaties zich te doen misdragen. Software die beveiligd moet worden wordt gebruikt op vele apparaten, zoals medische implantaten, netwerken van sensoren, RFID tags en de regelaars in voertuigen. Deze software moet doen wat het gevraagd word en mag zich niet misdragen door bijvoorbeeld de verkeerde ...
Een gefundeerde aanpak voor cross-layer software en hardware ontwerp voor beveiliging KU Leuven
Computersystemen worden ontworpen als lagen van abstracties,
waardoor ingenieurs zich kunnen concentreren op het deel van het
systeem waarin ze expertise hebben. Zo kunnen bv hardwareingenieurs
en software-ingenieurs relatief onafhankelijk van elkaar
werken.
Hoewel de gelaagde ontwerpbenadering erg succesvol is geweest en
veel voordelen heeft (waaronder: draagbaarheid en hergebruik van
software mogelijk ...
Betrouwbare Gedecentraliseerde Adaptieve Software Systemen KU Leuven
Beveiliging van kritieke energie-infrastructuren SUCCES - beveiliging van kritieke energie-infrastructuren (SUCCESS) Vrije Universiteit Brussel
The SUCCESS project will develop an overarching approach to ...
Architectuurgestuurde verificatie van systeemsoftware. KU Leuven
Systems software such as operating system kernels, hypervisors, database engines, web servers and language run-times forms the foundation of any modern computer system. It is extremely complex and hard to get right, with bugs making whole services unavailable or opening the doors of seemingly secure systems to viruses and criminals. Ensuring its reliability is thus imperative for building future trustworthy ICT infrastructures.
The ...