Publications of Flavio D. Garcia

Journal

Flavio D. Garcia and Peter van Rossum. Sound and Complete Computational Interpretation of Symbolic Hashes in the Standard Model. In Theoretical Computer Science, Vol. 394/1-2, pages 112-133, 2008.

Conferences and Workshops

Flavio D. Garcia, Eric R. Verheul and Bart Jacobs. Cell-based Roadpricing. In 8th European PKI Workshop (EuroPKI 2011) Lecture Notes in Computer Science, Vol. 7163, pages 106-122, 2012. © Springer Heidelberg.
Flavio D. Garcia, Gerhard de Koning Gans and Roel Verdult. Exposing iClass Key Diversification. (Best Paper Award) In 5th USENIX Workshop on Offensive Technologies (WOOT 2011) USENIX Association. 2011.
Flavio D. Garcia and Bart Jacobs. Privacy-friendly Energy-metering via Homomorphic Encryption. In 6th Workshop on Security and Trust Management (STM 2010) Lecture Notes in Computer Science, Vol. 6710, pages 226-238, 2011. © Springer Verlag.
Flavio D. Garcia, Peter van Rossum, Roel Verdult and Ronny Wichers Schreur. Dismantling SecureMemory, CryptoMemory and CryptoRF. In 17th ACM Conference on Computer and Communications Security (CCS 2010). ACM Press. Pages 250-259. 2010. © ACM.
Gerhard de Koning Gans and Flavio D. Garcia. Towards a Practical Solution to the RFID Desynchronization Problem. In S.B. Ors Yalcin, editor, 6th Workshop on RFID Security (RFIDSec 2010). Lecture Notes in Computer Science, Vol. 6370, pages 203-219, 2010. © Springer Verlag.
Flavio D. Garcia and Peter van Rossum. Modeling Privacy for Off-line RFID Systems. In D. Gollmann and J.-L. Lanet, editors, 9th Smart Card Research and Advanced Applications (CARDIS 2010). Lecture Notes in Computer Science, Vol. 6035, pages 194-208, 2010. © Springer Verlag.
David Galindo and Flavio D. Garcia. A Schnorr-like Lightweight Identity Based Signature Scheme. In B. Preneel, editor, Progress in Cryptology (AFRICACRYPT 2009). Lecture Notes in Computer Science, Vol. 5580, pages 135-148, 2009. © Springer Verlag.
Flavio D. Garcia, Peter van Rossum, Roel Verdult and Ronny Wichers Schreur. Wirelessly Pickpocketing a Mifare Classic Card. (Outstanding Paper Award) In 30th IEEE Symposium on Security and Privacy (S&P 2009), pages 3-15. 2009. © IEEE.
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur and Bart Jacobs. Dismantling MIFARE Classic. In S. Jajodia, and J. Lopez, editors, 13th European Symposium on Research in Computer Security (ESORICS 2008). Lecture Notes in Computer Science, Vol. 5283, pages 97-114, 2008. © Springer Verlag.
Gerhard de Koning Gans, Jaap-Henk Hoepman and Flavio D. Garcia. A Practical Attack on the MIFARE Classic. In G. Grimaud and F.-X. Standaert, editors, 8th Smart Card Research and Advanced Application Conference (CARDIS 2008). Lecture Notes in Computer Science, Vol. 5189, pages 267-282, 2008. © Springer Verlag.
David Galindo, Flavio D. Garcia, and Peter van Rossum. Computational Soundness of Non-Malleable Commitments. In 4th Information Security Practice and Experience Conference (ISPEC 2008) , Lecture Notes in Computer Science, Vol. 4991, pages 361-376. Sydney, Australia, 2008. © Springer Verlag.
Flavio D. Garcia and Peter van Rossum. Sound Computational Interpretation of Symbolic Hashes in the Standard Model. In H. Yoshiura, K. Sakurai, K. Rannenberg, Y. Murayama, S. Kawamura, editors, Advances in Information and Computer Security. International Workshop on Security (IWSEC 2006), Lecture Notes in Computer Science, Vol. 4266, pages 33-47. Kyoto, Japan, October 23-24, 2006. © Springer Verlag.	full version:
Flavio D. Garcia and Peter van Rossum. Sound and Complete Computational Interpretation of Formal Hashes (Extended Abstract). In Véronique Cortier and Steve Kremer, editors, Workshop of Formal and Computational Cryptography (FCC 2006). Venice, Italy, July 2006.
Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, and Peter van Rossum. Provable Anonymity. In Ralf Küsters and John Mitchell, editors, 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE 2005). ACM Press, pages 63-72. Alexandria , VA, U.S.A., November 2005.
Flavio D. Garcia and Jaap-Henk Hoepman. Off-line Karma: A Decentralized Currency for Peer-to-peer and Grid Applications. In J. Ioannidis, A. Keromytis, and M. Yung, editors, 3rd Applied Cryptography and Network Security (ACNS 2005), Lecture Notes in Computer Science, Vol. 3531, pages 364-377. New York, NY, USA, June 7-10 2005. © Springer Verlag.
Flavio D. Garcia and Jaap-Henk Hoepman. Off-line Karma: A Decentralized Currency for Static Peer-to-peer and Grid Networks. In S. Furnell, P. Dowland, G. Kormentazas, editors, 5th International Network Conference (INC 2005), pages 325-332, Samos, Greece, July 5-7 2005.
Flavio D. Garcia, Jaap-Henk Hoepman, and J. van Nieuwenhuizen. Spam Filter Analysis. In Y. Deswarte, F. Cuppens, S. Jajodia, and L. Wang, editors, Security and Protection in Information Processing Systems. IFIP TC11 19th International Information Security Conference (SEC2004), pages 395-410, Toulouse, France, August 2004. © Kluwer Academic Publishers.

Theses

Formal and Computational Cryptography: Protocols, Hashes and Commitments. PhD thesis, Radboud University Nijmegen, 2008.
Stereovision with Neural Networks (in Spanish) MSc thesis, Universidad Nacional de Córdoba, 2002.

Others

Flavio D. Garcia and Peter van Rossum. Completeness of Formal Hashes in the Standard Model. Technical Report.
Flavio D. Garcia and Jaap-Henk Hoepman. Off-line Karma: Towards a Decentralized Currency for Peer-to-peer and Grid Applications (Extended Abstract). In Workshop on Secure Multiparty Computations (SMP), Amsterdam, The Netherlands, October 7-8 2004.