Project-Team Tamis
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

previous Previous | up Home

Bibliography

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 ]
    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, no 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, no 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

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

previous Previous | up Home