2015 · 84 citations · 28 references
Claims CcsEngineeringProgram AnalysisInformation SecurityObfuscated Code AuthorsAlert PreferencesFormal MethodsSoftware AnalysisInformation ForensicsObfuscated CodeComputer ScienceObfuscation (Software)Static Program AnalysisFormal VerificationSymbolic ExecutionData SecurityCryptography
research-article Share on Symbolic Execution of Obfuscated Code Authors: Babak Yadegari University of Arizona, Tucson, AZ, USA University of Arizona, Tucson, AZ, USAView Profile , Saumya Debray University of Arizona, Tucson, AZ, USA University of Arizona, Tucson, AZ, USAView Profile Authors Info & Claims CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications SecurityOctober 2015 Pages 732–744https://doi.org/10.1145/2810103.2813663Published:12 October 2015Publication History 51citation955DownloadsMetricsTotal Citations51Total Downloads955Last 12 Months70Last 6 weeks9 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
28
Chi-Keung Luk, Robert Cohn, Robert Muth et al. · ACM SIGPLAN Notices · 2005 · 3.2K citations
Engineering, Computer Architecture, Software Engineering +16
Symbolic execution and program testing
James C. King · Communications of the ACM · 1976 · 2.9K citations · Full text
Chi-Keung Luk, Robert Cohn, Robert Muth et al. · 2005 · 2.3K citations
Engineering, Computer Architecture, Software Engineering +16
Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices · 2005 · 2.1K citations
Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.6K citations