Amin Rezaei and Yuanqi Shen, both electrical and computer engineering PhD candidates, placed second in the 2019 Cyber Security Awareness Week (CSAW) Logic Locking Conquest. The annual competition ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 107, No. 3, Logic and the Foundations of Game and Decision Theory (June 2019), pp. 457-488 (32 pages) The paper presents a new logic ...