Projecten
Verificatie van compliance met het Febelfin kwaliteitslabel voor sociaal verantwoorde en duurzame financiële producten Universiteit Antwerpen
Semi-automatische modulaire formele verificatie van kritieke software KU Leuven
In dit proefschrift beschrijven we twee bijdragen aan de state-of-the-art in redeneren over respectievelijk liveness en safety.
Programma's voor multiprocessor machines maken gebruik van busy waiting voor synchronisatie.
Wij stellen de eerste separation logic voor om modulair de beëindiging van zulke programma's onder fair scheduling te verifiëren.
Onze logica vereist dat de auteur van het bewijs een ghost signal toekent aan ...
Ctrl-APP: Applicatie-gedreven configuratie en verificatie van draadloze netwerken door middel van een beheerlaag voor applicaties Universiteit Gent
Iedereen die gebruik maakt van draadloze communicatietechnologieën zoals Wi-Fi, heeft dat beslist
had al een slecht werkend netwerk. Gewoon googelen "betere wifi-prestaties" levert op
64.000 resultaten! Dit leidde vaak tot ontevredenheid en frustratie, niet alleen vanwege de
slechte prestaties zelf, maar ook het onvermogen om de oorzaak van het probleem te achterhalen. Waarom niet
draadloze netwerken voldoende ...
Ctrl-APP: Applicatie-gedreven configuratie en verificatie van draadloze netwerken door middel van een beheerlaag voor applicaties. Universiteit Antwerpen
ICT - integratie in het onderwijs- en leerproces: Een theorie generatie en verificatie studie Universiteit Gent
De huidige studie streeft naar (1) de identificatie van
onderscheiden soorten ICT-gebruik in het secundair onderwijs
, (2) bestudering van ICT gebruik invloedfactoren genest in
school, team/groep en individueel niveau, (3) het meten van
de effecten van onderscheiden soorten ICT gebruik op
onderwijsresultaten,(4) ontwikkeling van een allesomvattende
model te verklaren ICT ...
Modulaire formele verificatie van totale correctheidseigenschappen van meerdradige imperatieve programma's KU Leuven
Voor software-ontwikkelingsprojecten met zeer hoge correctheidsvereisten (bv. in het geval dat het systeem bij foute werking schade zou kunnen berokkenen aan personen of goederen, of dat het systeem met het internet verbonden is en dus bestand moet zijn tegen cyber-aanvallen, of dat het systeem snel moet reageren op gebeurtenissen), kan er in veel gevallen niet voldoende zekerheid verkregen worden van de correctheid met klassieke ...
Ontwerp en verificatie van maatregelen tegen aanvallen gebaseerd op nevenkanalen en geïnduceerde fouten KU Leuven
In de afgelopen jaren zijn verschillende soorten aanvallen op cryptografische apparaten ontwikkeld.
Het doel van deze aanvallen is het onthullen van geheime sleutels die door deze apparaten worden gegenereerd.
De meest gebruikelijke aanvallen in hardware zijn gebaseerd op vermogensanalyse, met name de Differential Power Analysis (DPA).
Deze soort aanvallen zijn niet-invasieve aanvallen, ook aangeduid als nevenkanaalaanvallen. ...
Het verbeteren van ASIC verificatie met behulp van Geparametriseerd FPGA configuraties Universiteit Gent
Omdat de Wet van Moore het aantal transistoren in ge¨U+0131ntegreerde circuits (IC) blijft opdrijven door het naar beneden schalen van de transistordimensies, worden steeds complexere digitale circuits gerealiseerd. De voortdurende technologische evolutie leidt tot steeds complexere architecturen. Het verifi¨eren en valideren van deze ontwerpen is een steeds moeilijkere taak geworden. Bovendien bevatten meerdere ontwerpen ...
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 ...