Unifying simulatability definitions in cryptographic systems under different timing assumptions

Michael Backes
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/anq6kvwvqbegtipq5vfhvonzqq" style="color: black;">The Journal of Logic and Algebraic Programming</a> </i> &nbsp;
The cryptographic concept of simulatability has become a salient technique for faithfully analyzing and proving security properties of arbitrary cryptographic protocols. We investigate the relationship between simulatability in synchronous and asynchronous frameworks by means of the formal models of Pfitzmann et al., which are seminal in using this concept in order to bridge the gap between the formal-methods and the cryptographic community. We show that the synchronous model can be seen as a
more &raquo; ... ecial case of the asynchronous one with respect to simulatability, i.e., we present an embedding from the synchronous model into the asynchronous one that we show to preserve simulatability. We show that this result allows for carrying over lemmas and theorems that rely on simulatability from the asynchronous model to its synchronous counterpart without any additional work, hence future work on enhancing simulatability-based models can concentrate on the more general asynchronous case.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2004.09.002">doi:10.1016/j.jlap.2004.09.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q2e76u3o7bbwvpl3agnvq5nbhy">fatcat:q2e76u3o7bbwvpl3agnvq5nbhy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418013222/https://core.ac.uk/download/pdf/82437279.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/87/fc87eb5cb64a938935120248ba0bf7c4b1c57424.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2004.09.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>