Formalizing Transistency

Transistency models define consistency behaviors that are captured by memory consistency models while also accounting for virtual memory. As virtual memory is commonly implemented in modern processors, it is important to be able to formally define and reason about transistency models in order to verify the correctness and security of their implementations. I have developed a vocabulary for this purpose. This work is currently in submission.

Avatar
Naorin Hossain
Computer Science PhD Student

My research interests include the use of formal methods for computer security and exploit synthesis as well as correctness verification spanning both hardware and software.