Research output per year
Research output 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
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
-
On Extending Incorrectness Logic with Backwards Reasoning
Verbeek, F., Sefat, M. S., Fu, Z. & Ravindran, B., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, POPL, 25 p., 14.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
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
-
LibLISA: Instruction Discovery and Analysis on x86-64
Craaijo, J., Verbeek, F. & Ravindran, B., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 29 p., 283.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Poster: Formally Verified Binary Lifting to P-Code
Naus, N., Verbeek, F., Atla, S. & Ravindran, B., 9 Dec 2024, CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security. Luo, B., Liao, X. & Xu, J. (eds.). ACM Digital Library, p. 4973-4975 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly
Verbeek, F., Naus, N. & Ravindran, B., 9 Dec 2024, CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security. New York: Association for Computing Machinery, p. 2786-2798Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access