Browsing by Author Kong, Pingfan

Showing results 1 to 2 of 2
Issue DateTitleAuthor(s)
2014Energy efficient in-memory AES encryption based on nonvolatile domain-wall nanowireWang, Yuhao; Yu, Hao; Sylvester, Dennis; Kong, Pingfan
2016Probabilistic model checking for hybrid systems with hybrid concolic testing and importance samplingKong, Pingfan