Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models.

Alfredo Pironti, Riccardo Sisto

Browse the full DEPCoS paper archive.