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.
TMPO Publications
 | C. R. Clark, W. Stuckey, N. Braswell, T. Haroldsen, T.-Y. Sung, and O. Shears |
 | Efficient Porting of FPGA Independent Testing Within and Across Vendors |
 | Photonic Integrated Circuits: Assessment of State-of-the-Art Manufacturing Industrial Base Capabilities and Needs (PICASSO’S MUSICIANS) |
 | Monolithic Integration of RF and Digital Electronics with Photonics for a High-Bandwidth Coherent Driver Modulator |
 | FlowGNN: A Dataflow Architecture for Real-Time Workload-Agnostic Graph Neural Network Inference |
 | Turn on, Tune in, Listen up: Maximizing Side-Channel Recovery in Time-to-Digital Converters |
 | Independent Functional Test for Microsemi FPGAs |
 | Multicolor Ramsey numbers for Berge cycles |
 | A S/C/X/Ku-band, 4-Tap, Digitally Controllable Analog FIR Filter with Reconfigurable Bandwidth and RF Filtering Profile |
| Classifying Computations on Multi-Tenant FPGAs |
 | A Tunable Dual-Edge Time-to-Digital Converter |
| Independent Testing of Untrusted FPGAs for Faulty Interconnect |
 | Canary: An FPGA Assurance Plugin for Vendor EDA Tools |
 | Memory-Loss Resilient Controller Design for Temporal Logic Constraints |
 | Mapping Electromagnetic Fields in Active Electronic Devices via Novel Scanning Probe Techniques |
 | Establishing Trust in Microelectronics |
 | Improved Techniques for Sensing Intra-Device Side Channel Leakage |
 | Are novel scanning-probe field sensors a tamper threat? |
 | Formal Enforcement of Mission Assurance Properties in Cyber-Physical Systems |
 | Rapid Precedent-Aware Pedestrian and Car Classification on Constrained IoT Platforms |
 | Multi-Modal Web-Based Dashboards for Geo-Located Real-Time Monitoring |
 | The Trustworthy Autonomic Interface Guardian Architecture for Cyber-Physical Systems |
 | Isolating Trust in an Industrial Control System-on-Chip Architecture |
People
Laboratory Director, Cybersecurity, Information Protection, and Hardware Evaluation Research Laboratory
