Kyriakos Georgiou

Dr. Kyriakos Georgiou is a Senior Research Engineer at AdaCore UK. His role is to research new technologies that can enhance the existing capabilities of AdaCore technologies, such as Symbolic Execution and compiler hardening. Before joining AdaCore, Kyriakos was a senior research associate and lecturer at the University of Bristol, UK, where he researched energy estimation and optimization techniques for software and compiler optimization autotuning techniques.

1 entries written by Kyriakos Georgiou

by Kyriakos Georgiou

Security-Hardening Software Libraries with Ada and SPARK

Part of AdaCore's ongoing efforts under the HICLASS project is to demonstrate how the SPARK technology can play an integral part in the security-hardening of existing software libraries written in other non-security-oriented programming languages such as C. This blog post presents the first white paper under this work-stream, “Security-Hardening Software Libraries with Ada and SPARK”.

#SPARK #STM32 #Embedded