TRELA Trusted and RELiable Architectures Lab

Research focus: New methods for test and verification of TRAP.

Search for Athanasia Karanika's papers on the Publications page