Workshop on Security Protocol Implementations: Development and Analysis (SPIDA)
    23 April 2018
   London, United Kingdom

Paper Submission

Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Regular submissions should be at most 10 pages in the IEEE double-column format, including bibliography. Submissions should be anonymous without obvious references. The workshop will also consider short submissions of up to 4 pages for results that are preliminary and/or work in progress.

Papers must be formatted for US letter (not A4) size paper. The text must be formatted in a two-column layout, with columns no more than 9.5 in. tall and 3.5 in. wide. The text must be in Times font, 10-point or larger, with 11-point or larger line spacing. Authors are strongly encouraged to use the IEEE conference proceedings templates. LaTeX submissions should use IEEEtran.cls version 1.8b, dated 2015/08/26, in Compsoc Conference Mode (i.e. \documentclass[compsoc, conference, letterpaper, 10pt, times]{IEEEtran}).

Anonymous Submission

Papers must be submitted in a form suitable for anonymous review: no author names or affiliations may appear on the title page, and papers should avoid revealing their identity in the text. When referring to your previous work, do so in the third person, as though it were written by someone else. Only blind the reference itself in the (unusual) case that a third-person reference is infeasible. Contact the program chairs if you have any questions. Papers that are not properly anonymized may be rejected without review.


Papers should be submitted through the submission web site at Proceedings of the workshop will be published by IEEE. Each accepted paper must be presented by an author, who will have to be registered by the early-bird registration deadline.

Submissions must be in Portable Document Format (.pdf). Authors should pay special attention to unusual fonts, images, and figures that might create problems for reviewers. Your document should render correctly in Adobe Reader XI and when printed in black and white.

Important Dates

  • Abstract submission deadline: January 8, 2018
  • Paper submission deadline: January 12, 2018
  • Notification: February 5, 2018
  • Camera-ready submission: February 23, 2018
  • Workshop: April 23, 2018