CIPHER performs research in microelectronic applications, tools, architectures, and materials to enhance the security, trust, and reliability of microelectronic devices, hardware platforms, and the critical systems which rely upon them.  CIPHER researchers develop tools and techniques in the areas of assurance, anti-tamper, and reliability for FPGAs, ASICs, System on a Chip, microcontrollers, and other devices, leveraging custom and formal methods. They further develop assured operations in enterprise, embedded, and cyber-physical systems via novel hardware-oriented security and trust protections and offer cutting-edge research and development in all aspects of configurable computing, such as analysis, emulation, and application of FPGAs using conventional and custom software EDA/CAD tools.