Cotret Pascal

38
Documents

Présentation

Hello introduction

Publications

Publications

Support matériel pour la distribution de moteurs IA embarqués

Loïc Lagadec , Pierre Garreau , Pascal Cotret , Julien Francq , Jean-Christophe Cexus

2ème conférence française annuelle dédiée à la cyber embarquée et à son écosystème (CyberOnBoard), 2025

Autre publication scientifique hal-05041703v1
Deposit thumbnail

Contributions à la sécurité à la frontière logicielle - matérielle

Pascal Cotret

Architectures Matérielles [cs.AR]. Université de Bretagne Occidentale, 2025

HDR tel-05460575v1

Enforcing RISC-V TEE Security Against Cache Timing Attacks

Oussama Elmnaouri , Pascal Cotret , Vianney Lapotre , Loïc Lagadec

International Workshops on Cryptographic architectures embedded in logic devices, Jun 2025, Autrans (Grenoble), France

Communication dans un congrès hal-05041492v1
Deposit thumbnail

Enhancing Keystone Security Against Cache Timing Attacks: A Modular Approach

Oussama Elmnaouri , Pascal Cotret , Vianney Lapotre , Loïc Lagadec

Colloque 2025 du GDR SoC2, Jun 2025, Lorient, France

Communication dans un congrès hal-05056900v1
Deposit thumbnail

Security of Dynamically Reconfigurable RISC-V Systems: I/O Attack Focus

Aya Jendoubi , Jean-Christophe Prévotet , Philippe Tanguy , Pascal Cotret

39th Annual IEEE International Parallel & Distributed Processing Symposium (IEEE IPDPS 2025) : 32nd Reconfigurable Architecture Workshop, Jun 2025, Milan, Italy. ⟨10.1109/IPDPSW66978.2025.00198⟩

Communication dans un congrès hal-05117047v1

Verrouillage des lignes de cache pour la lutte contre les attaques par canaux auxiliaires exploitant les mémoires caches

Nicolas Gaudin , Vianney Lapotre , Pascal Cotret , Gogniat Guy

Cyber On Board, Mar 2024, ile des Embiez, France

Communication dans un congrès hal-04461273v1

On The Effect of Replacement Policies on The Security of Randomized Cache Architectures

Moritz Peters , Nicolas Gaudin , Jan Philipp Thoma , Vianney Lapôtre , Pascal Cotret et al.

19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2024), Jul 2024, Singapore, Singapore. pp.483-497, ⟨10.1145/3634737.3637677⟩

Communication dans un congrès hal-04427321v1
Deposit thumbnail

A Fine-Grained Dynamic Partitioning Against Cache-Based Timing Attacks via Cache Locking

Nicolas Gaudin , Pascal Cotret , Gogniat Guy , Vianney Lapotre

2024 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2024), Jul 2024, Knoxville, TN, United States

Communication dans un congrès hal-04619896v1

Cache locking against cache-based side-channel attacks

Nicolas Gaudin , Vianney Lapotre , Pascal Cotret , Gogniat Guy

École d'hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes (FETCH), Université Libre de Bruxelles, Feb 2024, Maillen, Belgium

Communication dans un congrès hal-04446221v1
Deposit thumbnail

JIT Compiler Security through Low-Cost RISC-V Extension

Quentin Ducasse , Pascal Cotret , Loïc Lagadec

30th Reconfigurable Architectures Workshop, May 2023, St Petersburg (Florida), United States

Communication dans un congrès hal-04031296v1
Deposit thumbnail

RISC-V Embedded AI for IDS Applications

Pierre Garreau , Pascal Cotret , Julien Francq , Jean-Christophe Cexus , Loïc Lagadec

RESSI 2024 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France

Communication dans un congrès hal-04498047v2
Deposit thumbnail

Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections

Nicolas Gaudin , Jean-Loup Hatchikian-Houdot , Frédéric Besson , Pascal Cotret , Gogniat Guy et al.

2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Jul 2023, Delft, Netherlands. pp.1-7

Communication dans un congrès hal-04155139v1
Deposit thumbnail

Gigue: A JIT Code Binary Generator for Hardware Testing

Quentin Ducasse , Pascal Cotret , Loïc Lagadec

VMIL, Oct 2023, Cascais, Portugal. ⟨10.1145/3623507.3623553⟩

Communication dans un congrès hal-04469651v1
Deposit thumbnail

Porting a JIT Compiler to RISC-V: Challenges and Opportunities

Quentin Ducasse , Guillermo Polito , Pablo Tesone , Pascal Cotret , Loïc Lagadec

Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes (MPLR '22), Sep 2022, Brussels, Belgium

Communication dans un congrès hal-03725841v1
Deposit thumbnail

Benchmarking Quantized Neural Networks on FPGAs with FINN

Quentin Ducasse , Pascal Cotret , Loïc Lagadec , Rob Stewart

DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures, Feb 2021, Grenoble, France

Communication dans un congrès hal-03085342v1
Deposit thumbnail

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre et al.

AsianHOST 2018 - Asian Hardware Oriented Security and Trust Symposium, Dec 2018, Hong Kong, China. pp.1-13, ⟨10.1109/asianhost.2018.8607177⟩

Communication dans un congrès hal-01911621v1
Deposit thumbnail

A small and adaptive coprocessor for information flow tracking in ARM SoCs

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Arnab Kumar Biswas et al.

ReConFig 2018 - International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩

Communication dans un congrès hal-01911619v1
Deposit thumbnail

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre et al.

2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩

Communication dans un congrès hal-01558473v1
Deposit thumbnail

DroneJack: Kiss your drones goodbye!

Guillaume Fournier , Paul Audren de Kerdrel , Pascal Cotret , Valérie Viet Triem Tong

SSTIC 2017 - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2017, Rennes, France. pp.1-8

Communication dans un congrès hal-01635125v1
Deposit thumbnail

ARMHEx: embedded security through hardware-enhanced information flow tracking

Muhammad Abdul – Wahab , Pascal Cotret , Mounir – Nasr Allah , Guillaume – Hiet , Vianney Lapotre et al.

RESSI 2017 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2017, Grenoble (Autrans), France

Communication dans un congrès hal-01558155v1

HardBlare: Hardware Design for Tag-Based Security Monitors

Pascal Cotret

Cybersecurity France/Japan, Sep 2016, Rennes, France

Communication dans un congrès hal-01450853v1
Deposit thumbnail

A portable approach for SoC-based Dynamic Information Flow Tracking implementations

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre et al.

11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France

Communication dans un congrès hal-01311045v1

A hardware coprocessor for Zynq-based Dynamic Information Flow Tracking

Muhammad Abdul Wahab , Christophe Moy , Pascal Cotret

14th International Workshop on Cryptographic architectures embedded in logic devices (CryptArchi), Jun 2016, La Grande Motte, France

Communication dans un congrès hal-01341830v1
Deposit thumbnail

Hit the KeyJack: stealing data from your daily wireless devices incognito

Guillaume Fournier , Pierre Matoussowsky , Pascal Cotret

Journées C&ESAR, Nov 2016, Rennes, France

Communication dans un congrès hal-01383008v1

Multi-standard ofdm transceiver for heterogeneous system-on-chips

Pascal Cotret , Christophe Moy , Vipin Kizheppatt

WinnComm Europe, Oct 2016, Gennevilliers, France

Communication dans un congrès hal-01450839v1
Deposit thumbnail

Towards a hardware-assisted information flow tracking ecosystem for ARM processors

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre et al.

26th International Conference on Field-Programmable Logic and Applications (FPL 2016), Aug 2016, Lausanne, Switzerland. ⟨10.1109/fpl.2016.7577396⟩

Communication dans un congrès hal-01337579v1
Deposit thumbnail

Reconnaissance faciale basée sur les ondelettes robuste et optimisée pour les systèmes embarqués

Pascal Cotret , Stéphane Chevobbe , Mehdi Darouich

GRETSI, Sep 2015, Lyon, France

Communication dans un congrès hal-01171943v1
Deposit thumbnail

Security enhancements for FPGA-based MPSoCs: a boot-to-runtime protection flow for an embedded Linux-based system

Pascal Cotret , Florian Devic , Guy Gogniat , Benoit Badrignans , Lionel Torres

ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2012, York, United Kingdom. pp.1-8

Communication dans un congrès hal-00750339v1
Deposit thumbnail

Lightweight reconfiguration security services for AXI-based MPSoCs

Pascal Cotret , Guy Gogniat , Jean-Philippe Diguet , Jérémie Crenne

FPL 2012 (22nd International Conference on Field Programmable Logic and Applications), Aug 2012, Oslo, Norway. pp.655-658, ⟨10.1109/FPL.2012.6339233⟩

Communication dans un congrès hal-00750332v1
Deposit thumbnail

Bus-based MPSoC security through communication protection: A latency-efficient alternative

Pascal Cotret , Jérémie Crenne , Guy Gogniat , Jean-Philippe Diguet

FCCM 2012 (20th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines), Apr 2012, Toronto, Canada. pp.200-207

Communication dans un congrès hal-00750343v1
Deposit thumbnail

HCrypt: a novel concept of crypto-processor with secured key management

Lubos Gaspar , Viktor Fischer , Florent Bernard , Lilian Bossuet , Pascal Cotret

ReConFig 2010 (2010 International Conference on ReConFigurable Computing and FPGAs), Dec 2010, Cancùn, Mexico. pp.280-285, ⟨10.1109/FPT.2011.6132722⟩

Communication dans un congrès hal-00750348v1
Deposit thumbnail

Securing a High-Level Language Virtual Machine Through its ISA: Pharo as a Case Study

Quentin Ducasse , Pascal Cotret , Loïc Lagadec

GDR SOC², Jun 2021, Rennes, France

Poster de conférence hal-04542157v1
Deposit thumbnail

ARMHEx: a framework for efficient DIFT in real-world SoCs

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre et al.

Field Programmable Logic (FPL), Sep 2017, Ghent, Belgium. , 2017

Poster de conférence hal-01558475v1
Deposit thumbnail

HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow Tracking

Mounir Nasr Allah , Guillaume Hiet , Muhammad Abdul Wahab , Pascal Cotret , Guy Gogniat et al.

Séminaire des doctorantes et doctorants en informatique de la Société Informatique de France, Apr 2016, Paris, France. 2016

Poster de conférence hal-01311032v1

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

Pascal Cotret , Guillaume Hiet , Guy Gogniat

HiPEAC, Jan 2016, Prague, Czech Republic. 2016

Poster de conférence hal-01450844v1
Deposit thumbnail

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

Pascal Cotret , Guillaume Hiet , Guy Gogniat , Vianney Lapotre

CHES 2015 - Workshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. 2015

Poster de conférence hal-01252597v1