Naorin Hossain
Naorin Hossain
Home
Projects
Publications
Talks
Experience
Contact
CV
Margaret Martonosi
Latest
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Checkmate: Automated Synthesis of Hardware Exploits and Security Litmus Tests
Cite
×