Dinghao Wu

    • 1267 Citations
    • 20 h-Index
    19952019

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Fingerprint Dive into the research topics where Dinghao Wu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    • 10 Similar Profiles

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    A lightweight framework for regular expression verification

    Liu, X., Jiang, Y. & Wu, D., Mar 22 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Nguyen, V., Jiang, C. & Yu, D. (eds.). IEEE Computer Society, p. 1-8 8 p. 8673038. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; vol. 2019-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Automatic grading of programming assignments: An approach based on formal semantics

    Liu, X., Wang, S., Wang, P. & Wu, D., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2019. Institute of Electrical and Electronics Engineers Inc., p. 126-137 12 p. 8802114. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Scopus citations

    Field experience with obfuscating million-user iOS apps in large enterprise mobile development

    Wang, P., Wu, D., Chen, Z. & Wei, T., Feb 1 2019, In : Software - Practice and Experience. 49, 2, p. 252-273 22 p.

    Research output: Contribution to journalArticle

  • Identifying cache-based side channels through secret-augmented abstract interpretation

    Wang, S., Bao, Y., Liu, X., Wang, P., Zhang, D. & Wu, D., Jan 1 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 657-674 18 p. (Proceedings of the 28th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Xmark: Dynamic Software Watermarking Using Collatz Conjecture

    Ma, H., Jia, C., Li, S., Zheng, W. & Wu, D., Nov 2019, In : IEEE Transactions on Information Forensics and Security. 14, 11, p. 2859-2874 16 p., 8676372.

    Research output: Contribution to journalArticle