Publications

Moritz Peters, Nicolas Gaudin, Jan Philipp Thoma, Vianney Lapôtre, Pascal Cotret, Guy Gogniat, Tim Güneysu (2024). On The Effect of Replacement Policies on The Security of Randomized Cache Architectures. In 19th ACM ASIA Conference on Computer and Communications Security (ACM AsiaCCS 2024).

PDF

Nicolas Gaudin, Vianney Lapôtre, Pascal Cotret, Guy Gogniat (2024). Cache locking against cache-based side-channel attacks. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 2024.

Aya Jendoubi, Jean-Christophe Prévotet, Philippe Tanguy, Pascal Cotret (2024). Enhancing Security in Heterogeneous Virtualized Systems: A Focus on I/O Attacks in the existence of IOMMU in a RISC-V architecture. In GDR SoC².

Pierre Garreau, Pascal Cotret, Julien Francq, Jean-Christophe Cexus, Loïc Lagadec (2024). RISC-V Embedded AI for IDS Applications. In RESSI 2024 Rendez-vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information.

PDF

Nicolas Gaudin, Vianney Lapôtre, Pascal Cotret, Guy Gogniat (2024). Verrouillage des lignes de cache pour la lutte contre les attaques par canaux auxiliaires exploitant les mémoires cache. In 1ère conférence française annuelle dédiée à la cyber embarquée et à son écosystème (CyberOnBoard 2024).

Slides

Nicolas Gaudin, Vianney Lapôtre, Pascal Cotret, Guy Gogniat (2024). Cache locking against cache-based side-channel attacks. In Ecole d’hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes (FETCH).

PDF

Quentin Ducasse, Pascal Cotret, Loïc Lagadec (2023). Gigue: A JIT Code Binary Generator for Hardware Testing. In 2023 Workshop on Virtual Machines and Language Implementations.

PDF Video Source Document

Jean-Loup Hatchikian-Houdot, Nicolas Gaudin, Pascal Cotret, Frédéric Besson, Guy Gogniat, Guillaume Hiet, Vianney Lapôtre, Pierre Wilke (2023). Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections. In SILM - IEEE Euro S&P workshop.

PDF

Quentin Ducasse, Pascal Cotret, Loïc Lagadec (2023). JIT Compiler Security through Low-Cost RISC-V Extension. In RAW - 30th Reconfigurable Architectures Workshop.

PDF

Quentin Ducasse, Guille Polito, Pablo Tesone, Pascal Cotret, Loïc Lagadec (2022). Porting a JIT compiler to RISC-V: Challenges and Opportunities. In MPLR - Managed Programming Languages and Runtimes 2022.

PDF Slides DOI

Guillermo Polito, Stéphane Ducasse, Pablo Tesone, Luc Fabresse, Gaël Thomas, Mathieu Bacou, Loïc Lagadec, Pascal Cotret (2022). Remarkable Challenges of High-Performance Language Virtual Machines. In Research Report Inria Lille - Nord Europe.

PDF

Quentin Ducasse, Pascal Cotret, Loïc Lagadec (2021). Securing a high-level language virtual machine through its ISA: Pharo as a case study. In GDR SoC².

Quentin Ducasse, Pascal Cotret, Loïc Lagadec, Rob Stewart (2021). Benchmarking quantized neural networks on FPGAs with FINN. In SLOHA - DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures.

PDF DOI

Valérie Viet Triem Tong, Benoît Fournier, Guillaume Fournier, Léopold Ouairy, Pascal Cotret, Gilles Guette (2019). Dis, c’est quoi là haut dans le ciel ? C’est un Linux, mon petit. In MISC magazine 104.

PDF

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat, Arnab Kumar Biswas (2018). A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components. In Asian Hardware Oriented Security and Trust Symposium (AsianHOST).

PDF DOI

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat, Arnab Kumar Biswas (2018). A MIPS-based coprocessor for information flow tracking in ARM SoCs. In International Conference on Reconfigurable Computing and FPGAs (Reconfig).

PDF DOI

Muhammad Abdul Wahab, Mounir Nasr Allah, Pascal Cotret, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat (2018). Monitoring information flows in heterogeneous SoCs with a dedicated coprocessor. In GDR SoC².

PDF

Pascal Cotret (2018). Monitoring program execution (and more) on ARM processors. In Toulouse Hacking Convention.

PDF

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat (2017). ARMHEx: A hardware extension for DIFT on ARM-based SoCs. In FPL2017 (27th International Conference on Field-Programmable Logic and Applications).

PDF DOI

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat (2017). A framework for efficient DIFT in real-world SoCs. In FPL2017 (27th International Conference on Field-Programmable Logic and Applications) - Demo session.

PDF DOI

Guillaume Fournier, Paul Audren de Kerdrel, Pascal Cotret, Valérie Viet Triem Tong (2017). DroneJack: kiss your drones goodbye !. In GDR SoC².

PDF Slides Video

Muhammad Abdul Wahab, Mounir Nasr Allah, Pascal Cotret, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat (2017). ARMHEx: a hardware extension for information flow tracking on ARM-based platforms. In GDR SoC².

PDF

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat (2017). ARMHEx: a hardware extension for information flow tracking on ARM-based platforms. In RESSI - Rendez-vous de la recherche et de l’enseignement de la sécurité des systèmes d’information.

PDF

Muhammad Abdul Wahab, Pascal Cotret (2017). Pwning ARM Debug Components for Sec-Related Stuff. In Hack In the Box Security Conference - CommSec track 2017.

PDF

Guillaume Fournier, Pascal Cotret, Pierre Matoussowsky (2016). Hit the KeyJack: stealing data from your daily wireless devices incognito. In Computer & Electronics Security Application Rendez-vous (C&ESAR 2016).

PDF

Pascal Cotret, Vipin Kizheppatt, Christophe Moy (2016). Multi-standard OFDM transceiver for heterogeneous system-on-chips. In WinnComm Europe 2016.

Slides

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre (2016). Towards a hardware-assisted information flow tracking ecosystem for ARM processors. In FPL2016 (26th International Conference on Field-Programmable Logic and Applications).

PDF DOI

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat (2016). A hardware coprocessor for Zynq-based Dynamic Information Flow Tracking. In CryptArchi (International Workshop on Cryptographic Architectures Embedded in Reconfigurable Devices).

PDF

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapôtre, Guy Gogniat (2016). A portable approach for SoC-based Dynamic Information Flow Tracking implementations. In GDR SoC².

PDF

Pascal Cotret, Guy Gogniat, Johanna Sepulveda (2016). Protection of heterogeneous architectures on FPGAs: an approach based on hardware firewalls. In Elsevier Microprocessors and microsystems, Volume 42.

PDF DOI

Pascal Cotret, Guillaume Hiet, Guy Gogniat (2015). HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors. In CHES 2015 (Workshop on Cryptographic Hardware and Embedded Systems).

Poster

Pascal Cotret, Stéphane Chevobbe, Mehdi Darouich (2015). Embedded wavelet-based face recognition under variable position. In IS&T/SPIE Electronic Imaging, Real-Time Image and Video Processing 2015.

PDF DOI

Pascal Cotret, Stéphane Chevobbe, Mehdi Darouich (2015). Reconnaissance faciale basée sur les ondelettes robuste et optimisée pour les systèmes embarqués. In GRETSI.

PDF

Pascal Cotret, Guy Gogniat (2014). Protection des architectures hétérogènes sur FPGA : une approche par pare-feux matériels. In Techniques de l’Ingénieur, vol. IN175, pp. 1–10.

PDF DOI

Pascal Cotret (2012). Protection des architectures hétérogènes multiprocesseurs dans les systèmes embarqués. Une approche décentralisée basée sur des pare-feux matériels. In Manuscript.

PDF Slides

Pascal Cotret, Guy Gogniat, Jean-Philippe Diguet, Jérémie Crenne (2012). Lightweight reconfiguration security services for AXI-based MPSoCs. In FPL (22nd International Conference on Field Programmable Logic and Applications).

PDF DOI

Pascal Cotret, Florian Devic, Guy Gogniat, Benoît Badrignans, Lionel Torres (2012). Security enhancements for FPGA-based MPSoCs: A boot-to-runtime protection flow for an embedded Linux-based system. In ReCoSoC (7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip).

PDF DOI

Pascal Cotret, Guy Gogniat, Jean-Philippe Diguet, Jérémie Crenne (2012). Self-reconfigurable security-enhanced communications in FPGA-based MPSoCs. In CryptArchi (International Workshop on Cryptographic Architectures Embedded in Reconfigurable Devices).

PDF Slides

Pascal Cotret, Guy Gogniat, Jean-Philippe Diguet (2012). Self-configuration of latency-efficient security enhancements for MPSoC communications monitoring. In GDR SoC².

PDF

Pascal Cotret, Jérémie Crenne, Guy Gogniat, Jean-Philippe Diguet (2012). Bus-based MPSoC Security through Communication Protection: A Latency-efficient Alternative. In FCCM (International Symposium on Field-Programmable Custom Computing Machines).

PDF DOI

Eduardo Wanderley, Romain Vaslin, Jérémie Crenne, Pascal Cotret, Guy Gogniat, Jean-Philippe Diguet, Jean-Luc Danger, Philippe Maurine, Viktor Fischer, Benoît Badrignans, Lionel Barthe, Pascal Benoît, Lionel Torres (2011). Security FPGA Analysis. In Security Trends for FPGAs, Springer, pp. 7-46.

PDF DOI