Secure Control for Autonomous Cyber-Physical Systems Under Temporal Logic Constraints

Design and Evaluation of Bit-sliced Neural Network and Post-Quantum Implementations

A Highly Digital VCO-Based ADC With Lookup-Table-Based Background Calibration

Sub-Picosecond Jitter Clock Generation for Time Interleaved Analog to Digital Converter