6 Hits in 7.5 sec

Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch, Franz Baader
2014 Logical Methods in Computer Science  
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

Rainer Falk, Hans-Joachim Hof, William Dougherty, Secern Consulting -Charlotte, Hans-Joachim Usa, Hof, Peter Müller, Syed Naqvi, Juha Rőning, Mariusz Jakubowski, Microsoft Research, William Dougherty (+163 others)
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  ... 

) 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

Min-Shiang Hwang, Shu-Fen Chiou, Chia-Chun Wu, Cheng-Yi Yang, Ajith Abraham, Korea, Wael Adi, Iqbal Sheikh, Ahamed, Vijay Atluri, Mauro Barni, Andrew Blyth (+91 others)
2016 International Journal of Network Security   unpublished
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.  ... 

LIPIcs, Volume 71, SNAPL'17, Complete Volume [article]

Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
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

Kamal Mansour
Graphemics in the 21st Century   unpublished
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

James Smith
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