Abstract: Programmable Logic Controller (PLC) suffers from various types of attacks due to misconfiguration in its logic system. These misconfigurations cannot be found by looking at the logic/rules ...

Abstract: We have proposed a top-down design methodology for RSFQ logic circuits using a binary decision diagram (BDD). The BDD is a way to represent a logical function by a directed graph, which ...