Skip to main navigation Skip to search Skip to main content
Nico Naus

View Scopus Profile

Nico Naus

dr.

 https://orcid.org/0000-0003-3442-1543
20182025

Research activity per year

Personal profile

External positions

Adjunct Research Assistant Professor, Virginia Polytechnic Institute and State University

1 Jul 2023 → …

Fingerprint

Dive into the research topics where Nico Naus 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
  • 8 Conference Article in proceeding
  • 1 Article

  • CF-GKAT: Efficient Validation of Control-Flow Transformations

    Zhang, C., Kappé, T., Narváez, D. E. & Naus, N., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, POPL, p. 600-626 21.

    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

  • 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-2798

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

    Open Access

  • 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

  • Dynamic TopHat: Start and Stop Tasks at Runtime

    Steenvoorden, T. & Naus, N., 29 Aug 2023, IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. Ney York, NY: Association for Computing Machinery (ACM), p. 1-13 13 p. 13

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

    Open Access
View all 9 research outputs