All Publications


  • EnsembleHMD: Accurate Hardware Malware Detectors with Specialized Ensemble Classifiers IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING Khasawneh, K. N., Ozsoy, M., Donovick, C., Abu-Ghazaleh, N., Ponomarev, D. 2020; 17 (3): 620–33
  • fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components International Conference on Computer Aided Verification Truong, L., Herbst, S., Setaluri, R., Mann, M., Daly, R., Zhang, K., Donovick, C., Stanley, D., Horowitz, M., Barrett, C., Hanrahan, P. 2020
  • Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks International Conference on ReConFigurable Computing and FPGAs Donovick, C., Mann, M., Barrett, C., Hanrahan, P. 2019
  • Hardware-Based Malware Detection Using Low-Level Architectural Features IEEE TRANSACTIONS ON COMPUTERS Ozsoy, M., Khasawneh, K. N., Donovick, C., Gorelik, I., Abu-Ghazaleh, N., Ponomarev, D. 2016; 65 (11): 3332–44
  • Malware-Aware Processors: A Framework for Efficient Online Malware Detection Ozsoy, M., Donovick, C., Gorelik, I., Abu-Ghazaleh, N., Ponomarev, D., IEEE IEEE. 2015: 651–61
  • Ensemble Learning for Low-Level Hardware-Supported Malware Detection International Symposium on Recent Advances in Intrusion Detection Khasawneh, K. N., Ozsoy, M., Donovick, C., Abu-Ghazaleh, N., Ponomarev, D. 2015: 3–25