Cited By
View all- De Coninck QNavarre LRybowski N(2024)On Integrating eBPF into Pluginized ProtocolsACM SIGCOMM Computer Communication Review10.1145/3649171.364917353:3(2-8)Online publication date: 20-Feb-2024
Implementing the plugin distribution system
Authors: 
Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, 
Olivier BonaventureAuthors Info & Claims
Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier BonaventureAuthors Info & ClaimsPages 39 - 41
Abstract
Recent works proposed to dynamically extend protocol implementations through protocol plugins. While addressing deployment issues, they raise safety concerns (do they terminate, do they act maliciously,. . . ). To fill this gap, a system distributing trust in plugin's verification properties was proposed in the literature. However, it was not implemented. This poster demonstrates the feasibility of this approach by providing an open-source implementation of this system. We also extend the state-of-the-art verification works about protocol plugins by considering a new property called side-effects.
References
[1]
Quentin De Coninck, François Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, and Olivier Bonaventure. 2019. Pluginizing quic. In Proceedings of the ACM Special Interest Group on Data Communication. 59–74.
[2]
Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, and Jorge A Navas. 2015. The SeaHorn verification framework. In International Conference on Computer Aided Verification. Springer, 343–361.
[3]
Nicolas Rybowski. 2021a. Side-effects verification tool for PQUIC plugins. https://github.com/nrybowski/pquic-formal-model. (2021).
[4]
Nicolas Rybowski. 2021b. SPMS prototype implementation. https://github.com/nrybowski/SPMS. (2021).
[5]
Thomas Wirtgen, Quentin De Coninck, Randy Bush, Laurent Vanbever, and Olivier Bonaventure. 2020. xBGP: When You Can't Wait for the IETF and Vendors. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks. 1–7.
Index Terms
- Implementing the plugin distribution system
Recommendations
Pluginizing QUIC
SIGCOMM '19: Proceedings of the ACM Special Interest Group on Data CommunicationApplication requirements evolve over time and the underlying protocols need to adapt. Most transport protocols evolve by negotiating protocol extensions during the handshake. Experience with TCP shows that this leads to delays of several years or more ...
IntelliJML: a JML plugin for IntelliJ IDEA
FTfJP '21: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like ProgramsJava code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a JML plugin for IntelliJ IDEA, ...
Animalipse -- An Eclipse Plugin for AnimalScript
The algorithm animation language AnimalScript, while highly expressive and versatile, is not easy to edit with no editor support. We have developed an Eclipse plugin for editing AnimalScript that includes a text editor, outline, and code assist. We ...
Comments
Information & Contributors
Information
Published In
August 2021
94 pages
ISBN:9781450386296
DOI:10.1145/3472716
- Program Chairs:
- Marco Chiesa,
- David Choffnes,
- Athina Markopoulou,
- Marinho Barcellos
Copyright © 2021 Owner/Author.
Permission to make digital or hard copies of part or all 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. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 August 2021
Check for updates
Author Tags
Qualifiers
- Poster
Conference
SIGCOMM '21
Sponsor:
Acceptance Rates
SIGCOMM '21 Paper Acceptance Rate 30 of 56 submissions, 54%;
Overall Acceptance Rate 92 of 158 submissions, 58%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 199Total Downloads
- Downloads (Last 12 months)11
- Downloads (Last 6 weeks)1
Reflects downloads up to 16 Jan 2025
Other Metrics
Citations
Cited By
View all- De Coninck QNavarre LRybowski N(2024)On Integrating eBPF into Pluginized ProtocolsACM SIGCOMM Computer Communication Review10.1145/3649171.364917353:3(2-8)Online publication date: 20-Feb-2024
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in