[TYPES/announce] Call for papers : LOCAS 2015 First International Workshop on Low-level Code Analysis for Security

[Jean-Yves Marion]

CALL FOR PAPERS
LOCAS 2015
First International Workshop on Low-level Code Analysis for Security
August 1, 2015, Berlin, Germany
Affiliated to CADE
http://www.jaist.ac.jp/~mizuhito/LOCAS15/

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. 

**Submissions**
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. 
https://easychair.org/conferences/?conf=locas2015
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. 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. 

**Important Dates**

June 1st, 2015 - Abstract Submission

June 15th, 2015 - Notification

July 1st, 2015  - Final Manuscript

August  1st, 2015 - Workshop

**Program Committee**
Sebastien Bardin (CEA)
Guillaume Bonfante (LORIA, Univ. Lorraine)
Juan Caballero (IMDEA Software Institute)
Saumya Debray (Univ. Arizona)
Thomas Dullien  (Google)
Roberto Giacobazzi (Univ. Verona)
Johannes Kinder   (Royal Holloway, Univ. London)
Tim Kornau  (Google)
Arun Lakhotia (Univ. Louisiana at Lafayette)
Jean-Yves Marion (LORIA, Univ. Lorraine; Workshop co-chair)
Jeffrey Todd McDonald (Univ. South Alabama)
Mizuhito Ogawa (JAIST; Workshop co-chair)