Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub


Publications of the year

Doctoral Dissertations and Habilitation Theses

F. Dold.
The GNU Taler system : practical and provably secure electronic payments, Université Rennes 1, February 2019.
N. Jafri.
Formal fault injection vulnerability detection in binaries : a software process and hardware validation, Université Rennes 1, March 2019.

Articles in International Peer-Reviewed Journals

J. 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 ]
S. 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 ]
D. 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

M. 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 ]
P. 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 ]
C. 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 ]
A. 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.
T. 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.
T. 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

F. 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.
C. 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

M. 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

C. Aubert, I. Cristescu.
History-Preserving Bisimulations on Reversible Calculus of Communicating Systems, February 2019, - working paper or preprint.
S. 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.
T. Richmond, A. Heuser, B. Gérard.
Side-Channel Analysis of Post-Quantum Cryptography, January 2019, 1 p, SecDays 2019 - Security Days, Poster.
References in notes
A. 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.