References
243
198. Elnec.
Elnec beeprog2.
https://www.elnec.com/en/products/universal-programmers/
beeprog2/.
199. EMVCo. Book C-2 kernel 2 specification v2.5. EMV contactless specifications for payment
system, March 2015.
200. Daniel W. Engels, Markku-Juhani O. Saarinen, Peter Schweitzer, and Eric M. Smith. The
hummingbird-2 lightweight authenticated encryption algorithm. In RFID. Security and
Privacy - 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26–28, 2011,
Revised Selected Papers, pages 19–31, 2011.
201. ˙ Imran Ergüler and Orhun Kara. A new approach to keystream based cryptosystems. In SASC
2008, Workshop Record,, pages 205–221. SASC, 2008.
202. Sebastian Eschweiler, Khaled Yakdan, and Elmar Gerhards-Padilla. discovRE: Efficient
Cross-Architecture Identification of Bugs in Binary Code. In ISOC NDSS 2016, 2016.
203. Muhammed F. Esgin and Orhun Kara. Practical cryptanalysis of full Sprout with TMD
tradeoff attacks. In Selected Areas in Cryptography - SAC 2015, pages 67–85, 2015.
204. ETSI/SAGE. Specification of the 3gpp confidentiality and integrity algorithms uea2 & uia2.
document 2: Snow 3g specification. technical report, etsi/sage, 2006.
205. ETSI/SAGE. Specification of the 3gpp confidentiality and integrity algorithms 128-eea3 &
128-eia3. document 2: Zuc specification, version 1.6, 2011.
206. Limin Fan, Hua Chen, and Si Gao. A general method to evaluate the correlation of
randomness tests. In International Workshop on Information Security Applications, pages
52–62. Springer, 2013.
207. Xinxin Fan, Kalikinkar Mandal, and Guang Gong. Wg-8: A lightweight stream cipher
for resource-constrained smart devices. In Quality, Reliability, Security and Robustness in
Heterogeneous Networks, Qshine 2013, Greader Noida, India, January 11–12, 2013, Revised
Selected Papers, pages 617–632, 2013.
208. Dan Farmer and Wietse Venema. Forensic Discovery. Addison-Wesley Professional, 2005.
209. Horst Feistel. Cryptography and computer privacy. Scientific American, 228(5):15–23, 1973.
210. Benoit Feix, Mylène Roussellet, and Alexandre Venelli. Side-channel analysis on blinded
regular scalar multiplications. In Willi Meier and Debdeep Mukhopadhyay, editors, Progress
in Cryptology - INDOCRYPT 2014: 15th International Conference in Cryptology in India,
volume 8885 of Lecture Notes in Computer Science, pages 3–20, New Delhi, India,
December 14–17, 2014. Springer.
211. Martin Feldhofer and Christian Rechberger. A case against currently used hash functions
in rfid protocols. In On the Move to Meaningful Internet Systems, OTM 2006, Montpellier,
France, October 29 - November 3, 2006, pages 372–381, 2006.
212. Qian Feng, Rundong Zhou, Chengcheng Xu, Yao Cheng, Brian Testa, and Heng Yin. Scalable
Graph-based Bug Search for Firmware Images. In ACM CCS 2016, 2016.
213. Xiutao Feng and Fan Zhang. A practical state recovery attack on the stream cipher sablier v1.
IACR Cryptology ePrint Archive 2014/245, 2014.
214. Niels Ferguson, Stefan Lucks, Bruce Schneier, Doug Whiting, Mihir Bellare, Tadayoshi
Kohno, Jon Callas, and Jesse Walker. The skein hash function family (version 1.3). www.
skein-hash.info/sites/default/files/skein1.3.pdf, 2010.
215. Niels Ferguson, Doug Whiting, Bruce Schneier, John Kelsey, Stefan Lucks, and Tadayoshi
Kohno. Helix: Fast encryption and authentication in a single cryptographic primitive. In
Thomas Johansson, editor, Fast Software Encryption – FSE 2003, volume 2887 of Lecture
Notes in Computer Science, pages 330–346, Lund, Sweden, February 24–26, 2003. Springer.
216. Marc Fischlin and Cristina Onete. Terrorism in distance bounding: Modeling terroristfraud resistance. In Applied Cryptography and Network Security, ACNS’13, pages 414–431.
Springer, 2013.
217. International Organization for Standardization. Standardization and related activities –
general vocabulary (iso/iec guide no. 2), 2004.
218. International Organization for Standardization. Information technology – security techniques
– lightweight cryptography – part 2: Block ciphers (iso/iec standard no. 29192–2), 2012.
243
198. Elnec.
Elnec beeprog2.
https://www.elnec.com/en/products/universal-programmers/
beeprog2/.
199. EMVCo. Book C-2 kernel 2 specification v2.5. EMV contactless specifications for payment
system, March 2015.
200. Daniel W. Engels, Markku-Juhani O. Saarinen, Peter Schweitzer, and Eric M. Smith. The
hummingbird-2 lightweight authenticated encryption algorithm. In RFID. Security and
Privacy - 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26–28, 2011,
Revised Selected Papers, pages 19–31, 2011.
201. ˙ Imran Ergüler and Orhun Kara. A new approach to keystream based cryptosystems. In SASC
2008, Workshop Record,, pages 205–221. SASC, 2008.
202. Sebastian Eschweiler, Khaled Yakdan, and Elmar Gerhards-Padilla. discovRE: Efficient
Cross-Architecture Identification of Bugs in Binary Code. In ISOC NDSS 2016, 2016.
203. Muhammed F. Esgin and Orhun Kara. Practical cryptanalysis of full Sprout with TMD
tradeoff attacks. In Selected Areas in Cryptography - SAC 2015, pages 67–85, 2015.
204. ETSI/SAGE. Specification of the 3gpp confidentiality and integrity algorithms uea2 & uia2.
document 2: Snow 3g specification. technical report, etsi/sage, 2006.
205. ETSI/SAGE. Specification of the 3gpp confidentiality and integrity algorithms 128-eea3 &
128-eia3. document 2: Zuc specification, version 1.6, 2011.
206. Limin Fan, Hua Chen, and Si Gao. A general method to evaluate the correlation of
randomness tests. In International Workshop on Information Security Applications, pages
52–62. Springer, 2013.
207. Xinxin Fan, Kalikinkar Mandal, and Guang Gong. Wg-8: A lightweight stream cipher
for resource-constrained smart devices. In Quality, Reliability, Security and Robustness in
Heterogeneous Networks, Qshine 2013, Greader Noida, India, January 11–12, 2013, Revised
Selected Papers, pages 617–632, 2013.
208. Dan Farmer and Wietse Venema. Forensic Discovery. Addison-Wesley Professional, 2005.
209. Horst Feistel. Cryptography and computer privacy. Scientific American, 228(5):15–23, 1973.
210. Benoit Feix, Mylène Roussellet, and Alexandre Venelli. Side-channel analysis on blinded
regular scalar multiplications. In Willi Meier and Debdeep Mukhopadhyay, editors, Progress
in Cryptology - INDOCRYPT 2014: 15th International Conference in Cryptology in India,
volume 8885 of Lecture Notes in Computer Science, pages 3–20, New Delhi, India,
December 14–17, 2014. Springer.
211. Martin Feldhofer and Christian Rechberger. A case against currently used hash functions
in rfid protocols. In On the Move to Meaningful Internet Systems, OTM 2006, Montpellier,
France, October 29 - November 3, 2006, pages 372–381, 2006.
212. Qian Feng, Rundong Zhou, Chengcheng Xu, Yao Cheng, Brian Testa, and Heng Yin. Scalable
Graph-based Bug Search for Firmware Images. In ACM CCS 2016, 2016.
213. Xiutao Feng and Fan Zhang. A practical state recovery attack on the stream cipher sablier v1.
IACR Cryptology ePrint Archive 2014/245, 2014.
214. Niels Ferguson, Stefan Lucks, Bruce Schneier, Doug Whiting, Mihir Bellare, Tadayoshi
Kohno, Jon Callas, and Jesse Walker. The skein hash function family (version 1.3). www.
skein-hash.info/sites/default/files/skein1.3.pdf, 2010.
215. Niels Ferguson, Doug Whiting, Bruce Schneier, John Kelsey, Stefan Lucks, and Tadayoshi
Kohno. Helix: Fast encryption and authentication in a single cryptographic primitive. In
Thomas Johansson, editor, Fast Software Encryption – FSE 2003, volume 2887 of Lecture
Notes in Computer Science, pages 330–346, Lund, Sweden, February 24–26, 2003. Springer.
216. Marc Fischlin and Cristina Onete. Terrorism in distance bounding: Modeling terroristfraud resistance. In Applied Cryptography and Network Security, ACNS’13, pages 414–431.
Springer, 2013.
217. International Organization for Standardization. Standardization and related activities –
general vocabulary (iso/iec guide no. 2), 2004.
218. International Organization for Standardization. Information technology – security techniques
– lightweight cryptography – part 2: Block ciphers (iso/iec standard no. 29192–2), 2012.