coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "r.e.monti AT utwente.nl" <r.e.monti AT utwente.nl>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] CFP VerifyThis Long-Term Challenge (VTLTC 2020)
- Date: Mon, 10 Feb 2020 14:03:18 +0000
- Accept-language: en-US, en-GB
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=r.e.monti AT utwente.nl; spf=Pass smtp.mailfrom=r.e.monti AT utwente.nl; spf=None smtp.helo=postmaster AT out45-ams.mf.surf.net
- Ironport-phdr: 9a23:YgOVURBExDQaq51uPonkUyQJP3N1i/DPJgcQr6AfoPdwSP37p8+wAkXT6L1XgUPTWs2DsrQY0raQ7fmrBDNIoc7Y9ixbK9oUD15NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanIRvJrwwxxfUrXdFe+Zbzn5sKV6Pghrw/Mi98INt/ihKp/4t68tMWrjmcqolSrBVEC4oOH0v6s3xshnDQwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi+i4LtxSB/pkygIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQmVPQ9tRVzdZAoyic4QPE+QPPeFdr4bnplsOqwa1CQ2jCe7rzzNFgGL9068n3OQ7CQzI3BIuEc8SsHrar9v1NbsdXu+uwabS0TnDaulb1Svh5IXKdB0qvPGCXah3ccrU0UQjGRnFgk+OpoD/OjOV0eINs3Sa7+d7SOKvl2AmpB93ojiz2MggkI/JhoYbxlvZ8ih52pw5KsOiRE5+Zt6kFodQtyCBOotrXsMjTX9nuCAmyrIYo5K7eiwKxY0hyhXCZfKHdI2I7QjiVOaXOTp3mmhqeKm/hhmu8Uiv0Oz8VtOu3FZNtCpFncHAtn8M1xzP6siHV+By8l2g2TaIzwzT8f9LIVkplarcKp4u2Kc8loIcsUTbBCP2n1/2jKCOeko65uio6+Xmbq/6qZ+cMYJ/lwLwMrw2l8CiDuk1MhICU3SB9eihzrHu8k30TK1XgvA4jqXVqpPXKMABqqO9GQNZzIgu5hWnAzeoztsVnmULIVdAdR2di4XmJk/BLfXjAviknluhkTJmyvPbMbDvDZjAK2PMn6z9crt+7UNX1RA9wspF551OD7EMOPLzVVH1tNzfFhI5NBG0w/roBdh9z48RQ2ePArSDPKPXv1+E/PkvI/SWZI8bojr9LeYq5+L2gX84n18SY7Wp0IMKZH23HvlqOVmVbWDxjtsbHmoHvhIyTOnwh12DVT5TaWyyX6U55jwjEoKqF5nMSpqogLyG2ie7ApxWa3tbClCQH3bnaYOEW+sSZy6IJM9hliQIVaK9RI85yRGuqAj6xqJ7IerT4y0UrI7s1Nxo5+LIjhwy7jx1D8GF026XVW10n2UIRyU33K9lu0B9xE2DguBEhKkSHttKovhNTw0SNJjGzuU8Bcq4ElbKec7MQ1K7SP2nByswR5Q/2YldTVx6HoDolFbOmS+tBaMUv6GXG5Ey7q+a2Xy7b5JnjXuA0a4nk1gOX9dQOGu6i+h5816AVMbyj0yFmvPyJuwn1ynX+TLfnDPf7nEdaxZ5VOD+ZV5aY0LXqdrj4UabFe2zFasqNBdMj8iGePITN4/ZyG5eTfKmA+zwJmK8n2DqXkSP26/QMc/jfn5b2SubE1UenUYV8GrUbVFiVBfkmHrXCXlVLXyqe1nlqLMstW+kQ0kowkeMax852g==
Call for Presentations
VerifyThis Long-Term Challenge 2020 - Concluding Event -
co-located with ETAPS and VerifyThis 25th and 26th April 2020, Dublin, Ireland http://verifythis.github.io/
Deadline: 1st March 2020
## Introduction
The VerifyThis Long-Term Challenge complements the on-site format of the VerifyThis competition with a verification challenge, in which teams contribute to the verification of a practically relevant piece of software over a period of six months. The challenge aims to be a showcase that deductive program verification can produce relevant results for real systems with acceptable effort. The challenge 2020 started in September 2019, and ends February 2020. To conclude the challenge, we will have a final workshop session at ETAPS along with the VerifyThis program verification competition [1].
For 2020, the challenge system is the new, implementation of the PGP server infrastructure, called HAGRID [2]. The old implementation did not conform to GDPR and was known to be vulnerable against DoS attacks.
We invite you to present your results on the verification of this security-relevant challenge system during a special session of the VerifyThis program verification competition, held at ETAPS.
## Submission
Authors are invited to submit a presentation proposal (or extended abstract) as a PDF using Springer’s LNCS style, which should be about a page long, but not longer than three pages (excluding bibliography). It should discuss ...
* ... the used verification approach and tools * ... how the challenge was adapted to make verification possible (abstractions, reimplementation, different behaviour) * ... what has been achieved (modelled and verified properties) * ... successes and challenges encountered in the course of the case study.
## Submission Link
https://easychair.org/conferences/?conf=vtltc2020
## Proceedings
There will be an informal pre-proceeding of the accepted presentation proposals.
A special issue for this verification challenge is planned and will be discussed on-site.
## Important dates
Submission deadline: 1st March 2020 Notifications: 15th March 2020 Workshop: 25-26th April 2020
## Program Chairs and Organizers
Marieke Huisman Raul E. Monti Mattias Ulbrich Alexander Weigl
[1] https://www.pm.inf.ethz.ch/research/verifythis.html [2] https://sequoia-pgp.org/blog/2019/06/14/20190614-hagrid/
|
- [Coq-Club] CFP VerifyThis Long-Term Challenge (VTLTC 2020), r.e.monti AT utwente.nl, 02/10/2020
Archive powered by MHonArc 2.6.18.