A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
2014
Logical Methods in Computer Science
Preserved Fulltext
Other Versions
The 2-sorted convergent rewrite system is then extended into one that fully captures a block chaining encryption-decryption mode at an abstract level, using no AC-symbols; and unification modulo this extended ...
We investigate unification problems related to the Cipher Block Chaining (CBC) mode of encryption. ...
A generic Block Chained Cipher-Decipher Scheme In this section we extend the 2-sorted equational theory BC 0 studied above, into one that fully models, in a simple manner and without using any AC-symbols ...
doi:10.2168/lmcs-10(1:5)2014
fatcat:bps27ub74jabzk4x2rxaqmg5ke
SECURWARE 2015 Committee SECURWARE Advisory Chairs
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
a series of events covering related topics on theory and practice on security, cryptography, secure protocols, trust, privacy, confidentiality, vulnerability, intrusion detection and other areas related ...
We are grateful to the members of the SECURWARE 2015 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success. ...
ACKNOWLEDGMENT The authors acknowledge the financial support given to this work, under the project "Security Technologies for Mobile Environments -TSAM", granted by the ...
fatcat:xebt7atkmzcy5mu3yabwgyczye
) 1. Secure Chaotic Maps-based Group Key Agreement Scheme with Privacy Preserving Hongfeng Zhu 1001-1009 A Publicly Verifiable Secret Sharing Scheme Based on Multilinear Diffie-Hellman Assumption Qiao Peng
2016
International Journal of Network Security
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Nowadays chaos theory related to cryptography has been addressed widely, so there is an intuitive connection between group key agreement and chaotic maps. ...
Such a connector may lead to a novel way to construct authenticated and efficient group key agreement protocols. ...
Sivapong Nilwong for his useful suggestions. ...
fatcat:nivpmyymvvecpft6npkuhw7smi
LIPIcs, Volume 71, SNAPL'17, Complete Volume
[article]
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Joe Gibbs Politz, Arjun Guha, and
S N A P L 2 0 1 7 Acknowledgments. We thank the anonymous reviewers for their feedback and suggestions to improve our manuscript. Acknowledgements. ...
A syntactic approach to type soundness. Information and Computation, pages 38-94, 1994. Andrew K. Wright and Robert Cartwright. A practical soft type system for Scheme. ...
In Section 2 (Theory), we present a recent brand of work that brought a much better understanding of canonical forms in the simply-typed case, inspired by ideas from logic and proof theory, in particular ...
doi:10.4230/lipics.snapl.2017
fatcat:tmxd6cpxebfbdi6xs3ki5cbgfi
On the Origin of Arabic Script
Graphemics in the 21st Century
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Not only have I greatly profited from our discussions about Chinese scripts, the character system, cal ligraphy and so forth, she also always finds a way to get a book or other material for me and to me ...
, to Mike Cahill, Dave Rowe and Hugh Paterson III for their helpful comments on a draft of this paper, and to the Focolari community in Man for their generous hospitality. ...
Instead of these, letters from the [standard] Arabic block should be used for interchange". (U §9. 2) 22. ...
doi:10.36824/2018-graf-mans
fatcat:mlqnilf5y5aylimzundwaghswe
Water as medieval intellectual entity: case studies in twelfth-century western monasticism
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this thesis, the imagery of water serves as a point of focus for an inquiry into the composition of medieval abstract space. ...
As a ubiquitous element of human life with distinct properties and connotations across time, water touches, and has ever touched upon, both what is historically and culturally unique and what is ongoing ...
99 For the origins of the term 'ecosophy', see Félix Guattari, Ian Pindar, and Paul Sutton (eds), The Three Ecologies, London, Athlone, 2000, esp. .p 28. 168 BIBLIOGRAPHY ...
doi:10.17613/m6r20n
fatcat:ioskaxoycnhhbo55tvd6a5maze