Timing protection example for SIES16
Content:
- romeo Petri net (xml file)
- code of the app
To be used with trampoline with the enforcer, available at https://github.com/LMG/trampoline/tree/enforcer.
Timing protection example for SIES16
Content:
To be used with trampoline with the enforcer, available at https://github.com/LMG/trampoline/tree/enforcer.