Freek Verbeek

View Scopus Profile

Freek Verbeek

Dr

 https://orcid.org/0000-0002-6625-1123
20142024

Research activity per year

Personal profile

External positions

Researcher, Virginia Polytechnic Institute and State University

1 Oct 2017 → 30 Sept 2019

Fingerprint

Dive into the research topics where Freek Verbeek is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 11 Conference Article in proceeding
  • 3 Article
  • 1 Paper

  • Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries

    Bockenek, J., Verbeek, F. & Ravindran, B., 2024, Detection of Intrusions and Malware, and Vulnerability Assessment - 21st International Conference, DIMVA 2024, Proceedings. Maggi, F., Egele, M., Payer, M. & Carminati, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14828 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries

    Engel, D., Verbeek, F. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 3-20 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Low-Level Reachability Analysis Based on Formal Logic

    Naus, N., Verbeek, F., Schoolderman, M. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 21-39 19 p. (Lecture Notes in Computer Science, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Formally verified lifting of C-compiled x86-64 binaries

    Verbeek, F., Bockenek, J., Fu, Z. & Ravindran, B., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 934-949 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
View all 15 research outputs