U.S. Const. art. I, sec. 9, cl. 3. “No Bill of Attainder or ex post facto Law shall be passed.”
U.S. Const. art. I, sec. 10, cl. 1. “No State shall … pass any Bill of Attainder, ex post facto Law, or Law impairing the Obligation of Contracts….”