Secureum ToB Echidna workshop I realized late in the game that my properties only cover integer values, but I figured I would submit these anyways. Thanks for organizing this—I'm looking forward to learning from the final submissions!