According to our database1, Theodoros Kasampalis authored at least 5 papers between 2013 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the 2015 International Workshop on Data-Intensive Scalable Computing Systems, 2015
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013