Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CFP VerifyThis Long-Term Challenge (VTLTC 2020)


view this post on Zulip Email Gateway (Aug 23 2022 at 08:26):

From: "r.e.monti@utwente.nl" <r.e.monti@utwente.nl>
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 ...

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/


Last updated: Mar 28 2024 at 12:29 UTC