Tsampas, SteliosSteliosTsampasDevriese, DominiqueDominiqueDevriesePiessens, FrankFrankPiessens2021-10-272021-10-272019https://imec-publications.be/handle/20.500.12860/34150Temporal safety for stack allocated memory on capability machinesProceedings paperhttps://ieeexplore.ieee.org/document/8823727