From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD*

Florian Legendre, Gilles Dequen, Michaël Krajecki

2013

Abstract

.

Paper Citation

in Harvard Style

Legendre F., Dequen G. and Krajecki M. (2013). From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD* . In Proceedings of the 10th International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2013) ISBN 978-989-8565-73-0, pages 435-443. DOI: 10.5220/0004534104350443

in Bibtex Style

@conference{secrypt13,
author={Florian Legendre and Gilles Dequen and Michaël Krajecki},
title={From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD*},
booktitle={Proceedings of the 10th International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2013)},
year={2013},
pages={435-443},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004534104350443},
isbn={978-989-8565-73-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2013)
TI - From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD*
SN - 978-989-8565-73-0
AU - Legendre F.
AU - Dequen G.
AU - Krajecki M.
PY - 2013
SP - 435
EP - 443
DO - 10.5220/0004534104350443