@inproceedings{diverio:hal-03002187, TITLE = {{You-Know-Why: an Early-Stage Prototype of a Key Server Developed using Why3}}, AUTHOR = {Diverio, Diego and Louren{\c c}o, Cl{\'a}udio and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-03002187}, BOOKTITLE = {{VerifyThis 2020 - Long-term Challenge}}, ADDRESS = {Dublin, Ireland}, PUBLISHER = {{Karlsruhe Institute of Technology}}, PAGES = {4--7}, YEAR = {2020}, MONTH = Apr, PDF = {https://inria.hal.science/hal-03002187/file/main.pdf}, HAL_ID = {hal-03002187}, HAL_VERSION = {v1}, }