Tung-Che Liang, Mohammed Shayan, Krishnendu Chakrabarty, Ramesh Karri. Execution of provably secure assays on MEDA biochips to thwart attacks. In Toshiyuki Shibuya, editor, Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019. pages 51-57, ACM, 2019. [doi]
Abstract is missing.