FlatBuffers has a Verifier that can be run in possibly hostile contexts.