Weidong’s paper titled “NeuADC: Neural Network-Inspired RRAM-Based Synthesizable Analog-to-Digital Conversion with Reconfigurable Quantization Support” and Huifeng’s paper titled “When Capacitors Attack: Formal Method DrivenDesign and Detection of Charge-Domain Trojans” are accepted by DATE 2019 Design, Automation and Test in Europe.