Satisfiability of general intruder constraints with a set constructor.

Tigran Avanesov, Yannick Chevalier, Michal Rusinowitch, Mathieu Turuani

Browse the full CRiSIS paper archive.