238
References
Palash Sarkar and Tetsu Iwata, editors, Advances in Cryptology – ASIACRYPT 2014, Part I,
volume 8873 of Lecture Notes in Computer Science, pages 179–199, Kaoshiung, Taiwan,
R.O.C., December 7–11, 2014. Springer.
107. Ioana Boureanu, David Gerault, and Pascal Lafourcade. Fine-grained and application-ready
distance-bounding security. Cryptology ePrint Archive, Report 2018/384, 2018.
108. Ioana Boureanu, Aikaterini Mitrokotsa, and Serge Vaudenay. On the pseudorandom function
assumption in (secure) distance-bounding protocols. In Alejandro Hevia and Gregory Neven,
editors, Progress in Cryptology – LATINCRYPT 2012, pages 100–120. Springer, 2012.
109. Ioana Boureanu, Aikaterini Mitrokotsa, and Serge Vaudenay. Towards secure distance
bounding. In Fast Software Encryption - 20th International Workshop, FSE 2013, pages
55–67, Singapore, March 2013.
110. Ioana Boureanu, Aikaterini Mitrokotsa, and Serge Vaudenay. Practical and provably secure
distance-bounding. In Yvo Desmedt, editor, Information Security, pages 248–258, Cham,
2015. Springer.
111. Ioana Boureanu and Serge Vaudenay. Optimal proximity proofs. In Information Security and
Cryptology - 10th International Conference, Inscrypt 2014, Beijing, China, December 13–15,
2014, Revised Selected Papers, pages 170–190, 2014.
112. Stefan Brands and David Chaum. Distance-bounding protocols. In Tor Helleseth, editor,
Advances in Cryptology — EUROCRYPT ’93, pages 344–359. Springer, 1994.
113. Stefan Brands and David Chaum. Distance-bounding protocols. In Tor Helleseth, editor,
Advances in Cryptology – EUROCRYPT ’93, volume 765 of Lecture Notes in Computer
Science, pages 344–359. Springer, 1994.
114. Agnès Brelurut, David Gerault, and Pascal Lafourcade. Survey of distance bounding
protocols and threats. In Joaquin Garcia-Alfaro, Evangelos Kranakis, and Guillaume
Bonfante, editors, Foundations and Practice of Security, pages 29–49, Cham, 2016. Springer.
115. Éric Brier, Christophe Clavier, and Francis Olivier. Correlation Power Analysis with a
Leakage Model. In CHES, volume 3156 of LNCS, pages 16–29. Springer, August 11–13
2004. Cambridge, MA, USA.
116. Robert G Brown, Dirk Eddelbuettel, and David Bauer. Dieharder: A random number test
suite. Open Source software library, under development, 2013.
117. Marco Bucci, Luca Giancane, Raimondo Luzzi, M. Marino, Giuseppe Scotti, and Alessandro
Trifiletti. Enhancing power analysis attacks against cryptographic devices. IET Circuits,
Devices & Systems, 2(3):298–305, 2008.
118. Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, and JeanMarc Robert. A prover-anonymous and terrorist-fraud resistant distance-bounding protocol.
In ACM Conference on Security & Privacy in Wireless and Mobile Networks, WiSec ’16,
pages 121–133, New York, NY, USA, 2016. ACM.
119. Kang Byeong-Ho. Ubiquitous computing environment threats and defensive measures. Int.
J. Multimedia Ubiquit. Eng, 2(1):47–60, 2007.
120. Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and Automatic
Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the
8th USENIX Conference on Operating Systems Design and Implementation, OSDI ’08, 2008.
121. Tom Caddy. Fips 140–2. In Encyclopedia of Cryptography and Security, pages 468–471.
Springer, 2011.
122. Eleonora Cagli, Cécile Dumas, and Emmanuel Prouff. Convolutional neural networks
with data augmentation against jitter-based countermeasures - profiling attacks without preprocessing. In Cryptographic Hardware and Embedded Systems - CHES 2017 - 19th
International Conference, Taipei, Taiwan, September 25–28, 2017, Proceedings, pages 45–
68, 2017.
123. Ying Cai and Ge Xu. Cloaking with footprints to provide location privacy protection in
location-based services, August 15 2017. US Patent 9,736,685.
124. Seyit Ahmet Çamtepe and Bülent Yener. Combinatorial design of key distribution mechanisms for wireless sensor networks. IEEE/ACM Trans. Netw., 15(2):346–358, 2007.
References
Palash Sarkar and Tetsu Iwata, editors, Advances in Cryptology – ASIACRYPT 2014, Part I,
volume 8873 of Lecture Notes in Computer Science, pages 179–199, Kaoshiung, Taiwan,
R.O.C., December 7–11, 2014. Springer.
107. Ioana Boureanu, David Gerault, and Pascal Lafourcade. Fine-grained and application-ready
distance-bounding security. Cryptology ePrint Archive, Report 2018/384, 2018.
108. Ioana Boureanu, Aikaterini Mitrokotsa, and Serge Vaudenay. On the pseudorandom function
assumption in (secure) distance-bounding protocols. In Alejandro Hevia and Gregory Neven,
editors, Progress in Cryptology – LATINCRYPT 2012, pages 100–120. Springer, 2012.
109. Ioana Boureanu, Aikaterini Mitrokotsa, and Serge Vaudenay. Towards secure distance
bounding. In Fast Software Encryption - 20th International Workshop, FSE 2013, pages
55–67, Singapore, March 2013.
110. Ioana Boureanu, Aikaterini Mitrokotsa, and Serge Vaudenay. Practical and provably secure
distance-bounding. In Yvo Desmedt, editor, Information Security, pages 248–258, Cham,
2015. Springer.
111. Ioana Boureanu and Serge Vaudenay. Optimal proximity proofs. In Information Security and
Cryptology - 10th International Conference, Inscrypt 2014, Beijing, China, December 13–15,
2014, Revised Selected Papers, pages 170–190, 2014.
112. Stefan Brands and David Chaum. Distance-bounding protocols. In Tor Helleseth, editor,
Advances in Cryptology — EUROCRYPT ’93, pages 344–359. Springer, 1994.
113. Stefan Brands and David Chaum. Distance-bounding protocols. In Tor Helleseth, editor,
Advances in Cryptology – EUROCRYPT ’93, volume 765 of Lecture Notes in Computer
Science, pages 344–359. Springer, 1994.
114. Agnès Brelurut, David Gerault, and Pascal Lafourcade. Survey of distance bounding
protocols and threats. In Joaquin Garcia-Alfaro, Evangelos Kranakis, and Guillaume
Bonfante, editors, Foundations and Practice of Security, pages 29–49, Cham, 2016. Springer.
115. Éric Brier, Christophe Clavier, and Francis Olivier. Correlation Power Analysis with a
Leakage Model. In CHES, volume 3156 of LNCS, pages 16–29. Springer, August 11–13
2004. Cambridge, MA, USA.
116. Robert G Brown, Dirk Eddelbuettel, and David Bauer. Dieharder: A random number test
suite. Open Source software library, under development, 2013.
117. Marco Bucci, Luca Giancane, Raimondo Luzzi, M. Marino, Giuseppe Scotti, and Alessandro
Trifiletti. Enhancing power analysis attacks against cryptographic devices. IET Circuits,
Devices & Systems, 2(3):298–305, 2008.
118. Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, and JeanMarc Robert. A prover-anonymous and terrorist-fraud resistant distance-bounding protocol.
In ACM Conference on Security & Privacy in Wireless and Mobile Networks, WiSec ’16,
pages 121–133, New York, NY, USA, 2016. ACM.
119. Kang Byeong-Ho. Ubiquitous computing environment threats and defensive measures. Int.
J. Multimedia Ubiquit. Eng, 2(1):47–60, 2007.
120. Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and Automatic
Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the
8th USENIX Conference on Operating Systems Design and Implementation, OSDI ’08, 2008.
121. Tom Caddy. Fips 140–2. In Encyclopedia of Cryptography and Security, pages 468–471.
Springer, 2011.
122. Eleonora Cagli, Cécile Dumas, and Emmanuel Prouff. Convolutional neural networks
with data augmentation against jitter-based countermeasures - profiling attacks without preprocessing. In Cryptographic Hardware and Embedded Systems - CHES 2017 - 19th
International Conference, Taipei, Taiwan, September 25–28, 2017, Proceedings, pages 45–
68, 2017.
123. Ying Cai and Ge Xu. Cloaking with footprints to provide location privacy protection in
location-based services, August 15 2017. US Patent 9,736,685.
124. Seyit Ahmet Çamtepe and Bülent Yener. Combinatorial design of key distribution mechanisms for wireless sensor networks. IEEE/ACM Trans. Netw., 15(2):346–358, 2007.