Notation

The following notation applies for mapping between the analyzer and our formalism. This will help us in our discuss of queries in the next session.

• $ecbc_{\tiny k}(x, y)$ $\equiv$ ecbc(k, x, y)
• $ecbc^{\tiny -1}_{\tiny k}(x, y)$ $\equiv$ dcbc(k, x, y)