Towards Single-Event Upset detection in Hardware Secure RISC-V processors | Synapse