Paper 2026/1068
Self-Guarding Arbitrary Cryptographic Primitives and 2PC Protocols
, Sapienza University of Rome, Sapienza University of Rome, Sapienza University of RomeAbstract
In IEEE CSF '18, Fischlin and Mazaheri introduced the notion of self-guarding cryptographic protocols as a countermeasure to algorithm substitution attacks. After a trusted initialization phase, a Self-Guarder wraps the user's cryptographic algorithm implementation and sanitizes it in a way that (1) prevents that an adversary can exploit the subverted implementation to exfiltrate user's data and (2) maintain the correctness of the genuine implementation. Whilst the proposed solutions in CSF '18 support a bounded number of executions before requiring a re-initialization phase, we show a universal self-guarder supporting an unbounded number of executions from a single trusted setup. Our self-guarder can be applied to any cryptographic primitive and any two-party computation protocol in the stand-alone setting with the aid of a verifiable-computation-enabling compiler.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Published elsewhere. IEEE CSF 2026
- Keywords
- selfguardingsubversionbackdoorsverifiable computation
- Contact author(s)
-
friolo @ di uniroma1 it
papers @ anri dev
venturi @ di uniroma1 it - History
- 2026-05-31: approved
- 2026-05-27: received
- See all versions
- Short URL
- https://ia.cr/2026/1068
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2026/1068,
author = {Daniele Friolo and Andrea Reale and Daniele Venturi},
title = {Self-Guarding Arbitrary Cryptographic Primitives and {2PC} Protocols},
howpublished = {Cryptology {ePrint} Archive, Paper 2026/1068},
year = {2026},
url = {https://eprint.iacr.org/2026/1068}
}
