The Implementation and Verification Working Group 3 in the COST CryptoAction fosters exchange between researchers working on the implementation and formal verification of cryptography.

WG3 will organize a meeting every year, and this year’s edition be co-located with EUROCRYPT 2015, more precisely on Sunday the 26th of April in Sofia, Bulgaria.

Meetings for working groups
WG2 and WG4 will take place concurrently.

For location, hotels and other logistic information, see the main COST CryptoAction


This will be a one-day meeting with a schedule of two 2:00-hour sessions (9:30-11:30 and 13:00-15:00).
The tentative program for these sessions is the following.

Session 1 : Efficient implementation of “nearly" practical crypto

Markulf Kolweiss - “
Alessandro Chiesa - “
libsnark: a C++ library for zkSNARK proofs
Madars Virsa - “
Alptekin Küpçü - “
Ousourced Cloud Computation

Session 2 : Side channel attacks: recent developments and the gap between theory and practice.

Daniel J. Bernstein/Tanja Lange - TBA
Peter Schwabe - “
Cryptographic software, side channels, and verification
François Dupressoir - “
Compositional and Automated Techniques for Higher-Order Masking

Registration and Application for Stipends

We have a budget that will allow us to fund a number of people who wish to attend.

All interested researchers from one of the countries in the COST Action IC1306 are invited to participate.

Applications for funding will be evaluated on a first-come-first-serve basis, until we spend all the budget.

Should you be selected, you will be able to claim reimbursement for
  • your flight to Sofia (up to 500EUR, except from Israel where the limit is 700EUR)
  • two nights accommodation (@ 100EUR per night, 20EUR per meal) and
  • other expenses specifically related to attending the WG3 meeting, under the usual COST reimbursement rules.

As usual, your flight can be booked for dates that allow your participation in Eurocrypt, but your expense claim cannot include expenses related to attending the conference itself (e.g., you cannot claim EC registration).

To apply for funding, please send an e-mail to this address (
mbbarbosa [at] gmail.com), clearly stating your intention to attend the meeting, and a short bio (a link to your webpage is sufficient, provided your identification, affiliation and research interests are clearly stated there).

Registration is now closed.
Applications should be received until March the 23rd.

Please note that, budget allowing, the meeting is open to anyone in a participating country, so please encourage your colleagues and students to participate.