References
239
125. Giovanni Camurati and Aurélien Francillon. Inception: system-wide security testing of realworld embedded systems software. In USENIX Security Symposium, 2018.
126. Christophe De Cannière, Orr Dunkelman, and Miroslav Kneževi´ c. KATAN and KTANTAN
- a family of small and efficient hardware-oriented block ciphers. In Christophe Clavier
and Kris Gaj, editors, Cryptographic Hardware and Embedded Systems – CHES 2009,
volume 5747 of Lecture Notes in Computer Science, pages 272–288, Lausanne, Switzerland,
September 6–9, 2009. Springer.
127. Christophe De Cannière and Bart Preneel. Trivium. In New Stream Cipher Designs - The
eSTREAM Finalists, pages 244–266, 2008.
128. Anne Canteaut, Thomas Fuhr, Henri Gilbert, María Naya-Plasencia, and Jean-René Reinhard.
Multiple differential cryptanalysis of round-reduced PRINCE. In Carlos Cid and Christian
Rechberger, editors, Fast Software Encryption – FSE 2014, volume 8540 of Lecture Notes in
Computer Science, pages 591–610, London, UK, March 3–5, 2015. Springer.
129. Anne Canteaut, Virginie Lallemand, and María Naya-Plasencia. Related-key attack on fullround PICARO. In Orr Dunkelman and Liam Keliher, editors, SAC 2015: 22nd Annual
International Workshop on Selected Areas in Cryptography, volume 9566 of Lecture Notes in
Computer Science, pages 86–101, Sackville, NB, Canada, August 12–14, 2016. Springer.
130. Xavier Carpent. RFID authentication and time-memory trade-offs. PhD thesis, Catholic
University of Louvain, Louvain-la-Neuve, Belgium, 2015.
131. Luca Caviglione, Steffen Wendzel, and Wojciech Mazurczyk. The future of digital forensics:
Challenges and the road ahead. IEEE Security & Privacy, 15(6):12–17, 2017.
132. Avik Chakraborti, Anupam Chattopadhyay, Muhammad Hassan, and Mridul Nandi. TriviA:
A fast and secure authenticated encryption scheme. In Tim Güneysu and Helena Handschuh,
editors, Cryptographic Hardware and Embedded Systems – CHES 2015, volume 9293 of
Lecture Notes in Computer Science, pages 330–353, Saint-Malo, France, September 13–16,
2015. Springer.
133. Nishanth Chandran, Vipul Goyal, Ryan Moriarty, and Rafail Ostrovsky. Position based
cryptography. In International Cryptology Conference on Advances in Cryptology –
CRYPTO’09, Lecture Notes in Computer Science, pages 391–407. Springer, 2009.
134. Suresh Chari, Charanjit Jutla, Josyula Rao, and Pankaj Rohatgi. Towards sound approaches to
counteract power-analysis attacks. In Advances in Cryptology - CRYPTO’99, pages 791–791.
Springer, 1999.
135. Suresh Chari, Josyula R. Rao, and Pankaj Rohatgi. Template Attacks. In CHES, volume 2523
of LNCS, pages 13–28. Springer, August 2002. San Francisco Bay (Redwood City), USA.
136. David Chaum and Torben P. Pedersen. Wallet databases with observers. In Ernest F. Brickell,
editor, Advances in Cryptology - CRYPTO ’92, 12th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 16–20, 1992, Proceedings, volume 740
of Lecture Notes in Computer Science, pages 89–105. Springer, 1992.
137. Daming D Chen, Manuel Egele, Maverick Woo, and David Brumley. Towards automated
dynamic analysis for linux-based embedded firmware. In ISOC NDSS 2016, 2016.
138. Huaifeng Chen and Xiaoyun Wang. Improved linear hull attack on round-reduced Simon with
dynamic key-guessing techniques. Cryptology ePrint Archive, Report 2015/666, 2015. http://
eprint.iacr.org/2015/666.
139. Hung-Yu Chien. SASI: A new ultralightweight RFID authentication protocol providing
strong authentication and strong integrity. IEEE Transactions on Dependable and Secure
Computing, 4(4):337–340, December 2007.
140. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. S2e: A platform for in-vivo
multi-path analysis of software systems. Acm Sigplan Notices, 46(3):265–278, 2011.
141. Tom Chothia, Flavio D. Garcia, Joeri de Ruiter, Jordi van den Breekel, and Matthew
Thompson. Relay cost bounding for contactless EMV payments. In Rainer Böhme and
Tatsuaki Okamoto, editors, Financial Cryptography and Data Security - 19th International
Conference, FC 2015, San Juan, Puerto Rico, January 26–30, 2015, Revised Selected Papers,
volume 8975 of Lecture Notes in Computer Science, pages 189–206, Puerto Rico, January
2015. Springer.
239
125. Giovanni Camurati and Aurélien Francillon. Inception: system-wide security testing of realworld embedded systems software. In USENIX Security Symposium, 2018.
126. Christophe De Cannière, Orr Dunkelman, and Miroslav Kneževi´ c. KATAN and KTANTAN
- a family of small and efficient hardware-oriented block ciphers. In Christophe Clavier
and Kris Gaj, editors, Cryptographic Hardware and Embedded Systems – CHES 2009,
volume 5747 of Lecture Notes in Computer Science, pages 272–288, Lausanne, Switzerland,
September 6–9, 2009. Springer.
127. Christophe De Cannière and Bart Preneel. Trivium. In New Stream Cipher Designs - The
eSTREAM Finalists, pages 244–266, 2008.
128. Anne Canteaut, Thomas Fuhr, Henri Gilbert, María Naya-Plasencia, and Jean-René Reinhard.
Multiple differential cryptanalysis of round-reduced PRINCE. In Carlos Cid and Christian
Rechberger, editors, Fast Software Encryption – FSE 2014, volume 8540 of Lecture Notes in
Computer Science, pages 591–610, London, UK, March 3–5, 2015. Springer.
129. Anne Canteaut, Virginie Lallemand, and María Naya-Plasencia. Related-key attack on fullround PICARO. In Orr Dunkelman and Liam Keliher, editors, SAC 2015: 22nd Annual
International Workshop on Selected Areas in Cryptography, volume 9566 of Lecture Notes in
Computer Science, pages 86–101, Sackville, NB, Canada, August 12–14, 2016. Springer.
130. Xavier Carpent. RFID authentication and time-memory trade-offs. PhD thesis, Catholic
University of Louvain, Louvain-la-Neuve, Belgium, 2015.
131. Luca Caviglione, Steffen Wendzel, and Wojciech Mazurczyk. The future of digital forensics:
Challenges and the road ahead. IEEE Security & Privacy, 15(6):12–17, 2017.
132. Avik Chakraborti, Anupam Chattopadhyay, Muhammad Hassan, and Mridul Nandi. TriviA:
A fast and secure authenticated encryption scheme. In Tim Güneysu and Helena Handschuh,
editors, Cryptographic Hardware and Embedded Systems – CHES 2015, volume 9293 of
Lecture Notes in Computer Science, pages 330–353, Saint-Malo, France, September 13–16,
2015. Springer.
133. Nishanth Chandran, Vipul Goyal, Ryan Moriarty, and Rafail Ostrovsky. Position based
cryptography. In International Cryptology Conference on Advances in Cryptology –
CRYPTO’09, Lecture Notes in Computer Science, pages 391–407. Springer, 2009.
134. Suresh Chari, Charanjit Jutla, Josyula Rao, and Pankaj Rohatgi. Towards sound approaches to
counteract power-analysis attacks. In Advances in Cryptology - CRYPTO’99, pages 791–791.
Springer, 1999.
135. Suresh Chari, Josyula R. Rao, and Pankaj Rohatgi. Template Attacks. In CHES, volume 2523
of LNCS, pages 13–28. Springer, August 2002. San Francisco Bay (Redwood City), USA.
136. David Chaum and Torben P. Pedersen. Wallet databases with observers. In Ernest F. Brickell,
editor, Advances in Cryptology - CRYPTO ’92, 12th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 16–20, 1992, Proceedings, volume 740
of Lecture Notes in Computer Science, pages 89–105. Springer, 1992.
137. Daming D Chen, Manuel Egele, Maverick Woo, and David Brumley. Towards automated
dynamic analysis for linux-based embedded firmware. In ISOC NDSS 2016, 2016.
138. Huaifeng Chen and Xiaoyun Wang. Improved linear hull attack on round-reduced Simon with
dynamic key-guessing techniques. Cryptology ePrint Archive, Report 2015/666, 2015. http://
eprint.iacr.org/2015/666.
139. Hung-Yu Chien. SASI: A new ultralightweight RFID authentication protocol providing
strong authentication and strong integrity. IEEE Transactions on Dependable and Secure
Computing, 4(4):337–340, December 2007.
140. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. S2e: A platform for in-vivo
multi-path analysis of software systems. Acm Sigplan Notices, 46(3):265–278, 2011.
141. Tom Chothia, Flavio D. Garcia, Joeri de Ruiter, Jordi van den Breekel, and Matthew
Thompson. Relay cost bounding for contactless EMV payments. In Rainer Böhme and
Tatsuaki Okamoto, editors, Financial Cryptography and Data Security - 19th International
Conference, FC 2015, San Juan, Puerto Rico, January 26–30, 2015, Revised Selected Papers,
volume 8975 of Lecture Notes in Computer Science, pages 189–206, Puerto Rico, January
2015. Springer.