Researchers Develop Verifiable Method to Convert x86-64 Binaries to Symbolic Assembly, Enhancing Software Security and Analysis

Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly | Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security

Information & ContributorsInformationPublished In CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications SecurityDecember 20245188 pages Copyright © 2024 Owner/Author.This work is licensed under a Creative Commons Attribution-NoDerivatives International 4.0 License.PublisherAssociation for Computing MachineryNew York, NY, United StatesPublication HistoryPublished: 09 December 2024Check for updatesBadgesArtifacts Available / v1.1Author Tagsbinary analysisdisasse...