Dinghao Wu

    • 1052 Citations
    • 17 h-Index
    19952019
    If you made any changes in Pure, your changes 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.

    • 11 Similar Profiles
    Semantics Engineering & Materials Science
    Binary codes Engineering & Materials Science
    Application programs Engineering & Materials Science
    Flow control Engineering & Materials Science
    Reverse engineering Engineering & Materials Science
    Computer programming languages Engineering & Materials Science
    Computer programming Engineering & Materials Science
    Data structures Engineering & Materials Science

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

    Research Output 1995 2019

    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. Yu, D., Nguyen, V. & Jiang, C. (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

    Finite automata
    Intrusion detection
    Specifications
    Testing
    Formal specification

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

    Liu, X., Wang, S., Wang, P. & Wu, D., May 1 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

    grading
    Computer programming
    programming
    Semantics
    semantics

    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

    Application programs
    Industry
    Reverse engineering
    Ecosystems
    Software engineering

    Xmark: Dynamic Software Watermarking Using Collatz Conjecture

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

    Research output: Contribution to journalArticle

    Watermarking
    Flow control
    Semantics
    Reverse engineering
    Pattern matching
    4 Citations (Scopus)

    Automated Synthesis of Access Control Lists

    Liu, X., Holden, B. & Wu, D., Jun 21 2018, Proceedings - 2017 International Conference on Software Security and Assurance, ICSSA 2017. Institute of Electrical and Electronics Engineers Inc., p. 104-109 6 p. (Proceedings - 2017 International Conference on Software Security and Assurance, ICSSA 2017).

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

    Access control
    Encapsulation
    Artificial intelligence