Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 1F. Dold.
  
  The GNU Taler system : practical and provably secure electronic payments, Université Rennes 1, February 2019.
  
  https://tel.archives-ouvertes.fr/tel-02138082
• 2N. Jafri.
  
  Formal fault injection vulnerability detection in binaries : a software process and hardware validation, Université Rennes 1, March 2019.
  
  https://tel.archives-ouvertes.fr/tel-02385208

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 ]
  
  https://hal.inria.fr/hal-02010599
• 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, n^o 1, pp. 1-29. [ DOI : 10.13154/tches.v2019.i1.209-237 ]
  
  https://hal.inria.fr/hal-01935318
• 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, n^o 3, pp. 347-361. [ DOI : 10.1109/TC.2018.2875746 ]
  
  https://hal.inria.fr/hal-02413209

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 ]
  
  https://hal.inria.fr/hal-02127889
• 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 ]
  
  https://hal.inria.fr/hal-02397876
• 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 ]
  
  https://hal.inria.fr/hal-02314723
• 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.
  
  https://hal.archives-ouvertes.fr/hal-02382711
• 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.
  
  https://hal.inria.fr/hal-02062292
• 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.
  
  https://hal.inria.fr/hal-01980276

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.
  
  https://hal.inria.fr/hal-02159947
• 13C. Genevey-Metat, B. Gérard, A. Heuser.
  
  Combining sources of side-channel information, in: C&ESAR 2019, Rennes, France, November 2019.
  
  https://hal.archives-ouvertes.fr/hal-02456646

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.
  
  https://hal.inria.fr/hal-02314184

Other Publications

• 15C. Aubert, I. Cristescu.
  
  History-Preserving Bisimulations on Reversible Calculus of Communicating Systems, February 2019, https://arxiv.org/abs/1804.10355 - working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-01778656
• 16S. Picek, A. Heuser, C. Alippi, F. Regazzoni.
  
  When Theory Meets Practice: A Framework for Robust Profiled Side-channel Analysis, February 2019, working paper or preprint.
  
  https://hal.inria.fr/hal-02010603
• 17T. Richmond, A. Heuser, B. Gérard.
  
  Side-Channel Analysis of Post-Quantum Cryptography, January 2019, 1 p, SecDays 2019 - Security Days, Poster.
  
  https://hal.inria.fr/hal-02018859

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.
  
  http://dx.doi.org/10.1007/978-3-319-22969-0_10