Nice DSL for executing a correlation attack