Implementing the Plugin Distribution System

Fri, 10/29/2021 - 11:32 by Nicolas Rybowski


Recent works proposed to dynamically extend protocol implemen-tations through protocol plugins. While addressing deploymentissues, they raise safety concerns (do they terminate, do they act ma-liciously,. . . ). To fill this gap, a system distributing trust in plugin’sverification properties was proposed in the literature. However, itwas not implemented. This poster demonstrates the feasibility ofthis approach by providing an open-source implementation of thissystem. We also extend the state-of-the-art verification works aboutprotocol plugins by considering a new property called side-effects.

Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay and Olivier Bonaventure
Proceedings of the SIGCOMM'21 Poster and Demo Sessions, pages 39-41, Augustus 2021. Association for Computing Machinery (New York, NY, United States).
Distributed verification system ; Plugin ; Protocol operation ; Safety properties ; PQUIC
Cite it
See here

IEEE Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

ACM Copyright Notice: Copyright 1999 by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page or intial screen of the document. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept., ACM Inc., fax +1 (212) 869-0481, or

Springer-Verlag LNCS Copyright Notice: The copyright of these contributions has been transferred to Springer-Verlag Berlin Heidelberg New York. The copyright transfer covers the exclusive right to reproduce and distribute the contribution, including reprints, translations, photographic reproductions, microform, electronic form (offline, online), or any other reproductions of similar nature. Online available from Springer-Verlag LNCS series.


implementing_the_pds_poster.pdf1.4 MB
implementing_the_pds_abstract.pdf762.69 KB