VerifyThis Long-term Challenge 2020: Proceedings of the Online-Event

Marieke [Hrsg.] Huismann, Raùl E. [Hrsg.] Monti, Mattias [Hrsg.] Ulbrich, Alexander [Hrsg.] Weigl
II Preface erties. In particular, revocation of key entries was identified here as an interesting challenge for non-interference approaches. A final workshop session for the challenge had been planned at ETAPS (along with the VerifyThis program verification competition). Since ETAPS has been postponed, we met and exchanged online. During the online meeting, the different solutions were briefly explained, and we discussed the approaches, how they can benefit from one another and how further
more » ... nd how further verification success can be stipulated. We would like to thank all participants of the challenge and the online-event.
doi:10.5445/ir/1000119426 fatcat:2uyds54vnfhczidjhvnsywsjte