Standard and ROM-based synthesis of FSMs with control flow checking capabilities.

X. Wendling, Raphal Rochet, Rgis Leveugle

Browse the full VTS paper archive.