Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 3J. Kim, S. Picek, A. Heuser, S. Bhasin, A. Hanjalic.

    Make Some Noise Unleashing the Power of Convolutional Neural Networks for Profiled Side-channel Analysis, in: IACR Transactions on Cryptographic Hardware and Embedded Systems, May 2019. [ DOI : 10.13154/tches.v2019.i3.148-179 ]

  • 4S. Picek, A. Heuser, A. Jovic, S. Bhasin, F. Regazzoni.

    The Curse of Class Imbalance and Conflicting Metrics with Machine Learning for Side-channel Evaluations, in: IACR Transactions on Cryptographic Hardware and Embedded Systems, August 2019, vol. 2019, no 1, pp. 1-29. [ DOI : 10.13154/tches.v2019.i1.209-237 ]

  • 5D. B. Roy, S. Bhasin, S. Guilley, A. Heuser, S. Patranabis, D. Mukhopadhyay.

    CC Meets FIPS: A Hybrid Test Methodology for First Order Side Channel Analysis, in: IEEE Transactions on Computers, March 2019, vol. 68, no 3, pp. 347-361. [ DOI : 10.1109/TC.2018.2875746 ]


International Conferences with Proceedings

  • 6M. Barbier, A. Renzaglia, J. Quilbeuf, L. Rummelhard, A. Paigwar, C. Laugier, A. Legay, J. Ibañez-Guzmán, O. Simonin.

    Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking, in: IV 2019 - 30th IEEE Intelligent Vehicles Symposium, Paris, France, IEEE, June 2019, pp. 252-259. [ DOI : 10.1109/IVS.2019.8813793 ]

  • 7P. Boutillier, I. Cristescu, J. Feret.

    Counters in Kappa: Semantics, Simulation, and Static Analysis, in: ESOP 2019 - 28th European Symposium on Programming, Prague, Czech Republic, Springer, April 2019, pp. 176-204. [ DOI : 10.1007/978-3-030-17184-1_7 ]

  • 8C. Brown, A. D. Barwell, Y. Marquer, C. Minh, O. Zendra.

    Type-Driven Verification of Non-functional Properties, in: PPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming, Porto, Portugal, ACM Press, October 2019, pp. 1-15. [ DOI : 10.1145/3354166.3354171 ]

  • 9A. Gonzalvez, R. Lashermes.

    A case against indirect jumps for secure programs, in: SSPREW-9 2019 - 9th Software Security, Protection, and Reverse Engineering Workshop, San Juan, United States, SSPREW9 '19: Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering, December 2019, pp. 1-10.

  • 10T. Ninet, A. Legay, R. Maillard, L.-M. Traonouez, O. Zendra.

    Model Checking the IKEv2 Protocol Using Spin, in: PST 2019 - 17th International Conference on Privacy, Security and Trust, Fredericton, Canada, August 2019, pp. 1-9.

  • 11T. Ninet, A. Legay, R. Maillard, L.-M. Traonouez, O. Zendra.

    The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2, in: TrustCom 2019 - 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Rotorua, New Zealand, IEEE, August 2019, pp. 1-8.


Conferences without Proceedings

  • 12F. Déchelle, B. Lebon, O. Zendra.

    MASSE: Modular Automated Syntactic Signature Extraction, in: RESSI 2019 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, Erquy, France, May 2019, 1 p.

  • 13C. Genevey-Metat, B. Gérard, A. Heuser.

    Combining sources of side-channel information, in: C&ESAR 2019, Rennes, France, November 2019.


Books or Proceedings Editing

  • 14M. Duranton, K. De Bosschere, B. Coppens, C. Gamrat, M. Gray, H. Munk, E. Ozer, T. Vardanega, O. Zendra (editors)

    The HiPEAC Vision 2019, HiPEAC CSA, January 2019, 178 p.


Other Publications

References in notes
  • 18A. Savary, M. Frappier, M. Leuschel, J. Lanet.

    Model-Based Robustness Testing in Event-B Using Mutation, in: Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, R. Calinescu, B. Rumpe (editors), Lecture Notes in Computer Science, Springer, 2015, vol. 9276, pp. 132–147.