[FM-India] VeriCrypt 2021 - Call for Participation

[Aseem Rastogi]

The second edition of the VeriCrypt workshop will be held on 18th and 19th December 2021 as part of FSTTCS 2021. This year the workshop will focus on the ProVerif protocol analysis tool (https://bblanche.gitlabpages.inria.fr/proverif/) and F*, a proof-oriented programming language (https://fstar-lang.org/).

The workshop will include in-depth lectures about the tools and their applications. Attendees will be given a set of exercises they can do on their own after the workshop and submit to the speakers. We will also make available an online chat forum where attendees can ask questions and interact with the speakers.

The event will be held online, more details may be found here: http://vericrypt.org/.

You can register for the workshop (and FSTTCS) here: https://forms.gle/e6UwNVTpyrC5kgP69. There is no fees for basic registration (see https://www.fsttcs.org.in/2021/#register for the registration policy of FSTTCS 2021).