Nico Naus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Poster: Formally Verified Binary Lifting to P-Code. | Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran |
| 2024 | CCS | Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly. | Freek Verbeek, Nico Naus, Binoy Ravindran |
| 2023 | TAP | Low-Level Reachability Analysis Based on Formal Logic. | Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran |
| 2019 | PPDP | TopHat: A formal foundation for task-oriented programming. | Tim Steenvoorden, Nico Naus, Markus Klinik |