As a case study, a 4-to-2 priority encoder optimized for SFQ applications is designed and logic locked. The proposed attack is performed on this locked design. Finally, potential countermeasures for ...