The simplicity of the logic is a desired property because the ... We introduce a logical formalism for expressing approximate pattern matching. The formalism uses properties of the dynamic programming ...

Abstract: Verifiable pattern matching enables users to obtain authenticated query results over outsourced data on an untrusted remote server. It is a fundamental problem in many security-critical big ...