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
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

[1]
F. Dold.
The GNU Taler system : practical and provably secure electronic payments, Université Rennes 1, February 2019.
https://tel.archives-ouvertes.fr/tel-02138082
[2]
N. 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

[3]
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 ]
https://hal.inria.fr/hal-02010599
[4]
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 ]
https://hal.inria.fr/hal-01935318
[5]
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 ]
https://hal.inria.fr/hal-02413209

International Conferences with Proceedings

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

Conferences without Proceedings

[12]
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.
https://hal.inria.fr/hal-02159947
[13]
C. 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

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

Other Publications

[15]
C. 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
[16]
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.
https://hal.inria.fr/hal-02010603
[17]
T. 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
[18]
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.
http://dx.doi.org/10.1007/978-3-319-22969-0_10