News
- Apr 3, 2015: Added several informations.
- Feb 10, 2015: Opened workshop page.
Background
Recently, low-level code analysis becomes of interest both from demand on system software and malware. For instance, Dagstuhl seminar "Challenges in Analysing Excutables: Scalability, Self-Modifying Code and Synergy" was held on 9-13 June, 2014, and NII Shonan meeting "Low level code analysis and applications to computer security" was held on 2-5 March, 2015. Low-level code differs from high-level programming languages from many aspects, e.g., there are no clear distinction between code and data. Many techniques and ideas interact in low-lvel code analysis, new innovation, as well as existing ones.
The workshop aims to provide a forum to discuss among researchers working in different areas and interchange/evolve ideas related to low-level code analysis. The workshop is collocated with CADE-25.
Topics
The goal of the workshop is to explore all aspects from theory to practice of low-level code analysis, including communication between industry and academia. The main outcome of this meeting will be to trigger new interactions and enrich the various approaches. Topics of interest include (but are not limited to)- Security threats in practice. e.g., vulnerabilities, overflow attacks on x86 / Android
- Malware and botnets
- Static analysis of low level code
- Obfuscated programs, e.g., self-modifying code, packers, and obfuscation techniques
- Low level code semantics
- Model generation. e.g., control flow graph reconstruction, disassembly
- CEGAR (Counter example guided abstraction refinement) and loop invariant generation
- Testing and virtual binary emulation, dynamic analysis
- Backend reasoning tools. e.g., SMT (SAT modulo theory), Model checkers.
Invited Speakers
- TBA
Program
- TBA (assuming 1hour for invitated talk(s) and 30min for regular presentations.)
Important Dates
| submission | June 1, 2015 |
| notification | June 15, 2015 |
| final manuscirpt | July 1, 2015 |
| workshop | August 1, 2015 |
Submission
Authors are invited to submit an extended abstract of up to 5 pages in EasyChair style by the submission deadline to the LOCAS 2015 EasyChair page. Abstracts must be written in English and be submitted as a single PDF file.
Submissions will be judged on originality, relevance, interest and clarity. Accepted abstracts will be presented at the workshop and will be made available electronically at the workshop for the ease of participants. Abstracts can contain material already published elsewhere before the workshop. Preference will be given to abstracts containing novel works (including work in progress).
The workshop will not have formal proceedings and is not intended to preclude later publication at another venue. Manuscript will be available electronically at the workshop for the ease of participants.