Performance Evaluation of Security Protocols
Bela Genge, Piroska Haller

TL;DR
This paper introduces a polynomial mathematical model for comparing the performance of security protocols, enabling efficient evaluation without implementation-specific details, validated through extensive protocol testing.
Contribution
It presents a novel polynomial modeling approach for security protocol performance comparison, reducing reliance on implementation-specific data.
Findings
Model accurately predicts protocol performance
Enables comparison without actual implementation
Validated with 1000 generated protocols
Abstract
We propose a comparative performance evaluation of security protocols. The novelty of our approach lies in the use of a polynomial mathematical model that captures the performance of classes of cryptographic algorithms instead of capturing the performance of each algorithm separately, approach that is used in other papers. A major advantage of using such a model is that it does not require implementation-specific information, because the decision is based on comparing the estimated performances of protocols instead of actually evaluating them. The approach is validated by comparatively evaluating the performances of 1000 automatically generated security protocols against the performances of their actual implementations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Authentication Protocols Security · Cryptography and Data Security · Formal Methods in Verification
