Armadillo: A Compilation Chain for Privacy Preserving Applications
DAG-aware AIG rewriting a fresh look at combinational logic synthesis