Thesis

Hardware-Software Co-design for Practical Memory Safety

The lack of memory safety in programs written in C and C++ has provided a significant opportunity for exploitation by attackers. For example, a simple buffer overflow can lead to silent memory corruption, information leakage, or privilege escalation. …

Homomorphic Encryption for Secure Data Computations

Acceleration of Numerical Solutions of Differential Equations Using FPGA-Based Emulation Technology

Numerical analysis is the study of algorithms that use numerical approximation (as opposed to general symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). Typical applications of numerical …