Cotret Pascal

Présentation

Hello introduction

Publications

Autre publication scientifique (1)

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

Rapport (1)

Remarkable Challenges of High-Performance Language Virtual Machines Guillermo Polito,Stéphane Ducasse,Pablo Tesone,Luc Fabresse,G Thomaset al. [Research Report] Inria Lille - Nord Europe. 2022 Rapport hal-03770065v1

Thèse (1)

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 Pascal Cotret Electronique. Université de Bretagne Sud, 2012. Français. ⟨NNT : ⟩ Thèse tel-00789541v2

HDR (1)

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

Communication dans un congrès (28)

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
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 Cotretet 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
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
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
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
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
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 Guyet 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
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
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
A small and adaptive coprocessor for information flow tracking in ARM SoCs Muhammad Abdul Wahab,Pascal Cotret,Mounir Nasr Allah,Guillaume Hiet,Arnab Kumar Biswaset 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
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 Lapotreet 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
ARMHEx: A hardware extension for DIFT on ARM-based SoCs Muhammad Abdul Wahab,Pascal Cotret,Mounir Nasr Allah,Guillaume Hiet,Vianney Lapotreet 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
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
ARMHEx: embedded security through hardware-enhanced information flow tracking Muhammad Abdul – Wahab,Pascal Cotret,Mounir – Nasr Allah,Guillaume – Hiet,Vianney Lapotreet 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
Towards a hardware-assisted information flow tracking ecosystem for ARM processors Muhammad Abdul Wahab,Pascal Cotret,Mounir Nasr Allah,Guillaume Hiet,Vianney Lapotreet 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
HardBlare: Hardware Design for Tag-Based Security Monitors Pascal Cotret Cybersecurity France/Japan, Sep 2016, Rennes, France Communication dans un congrès hal-01450853v1
A portable approach for SoC-based Dynamic Information Flow Tracking implementations Muhammad Abdul Wahab,Pascal Cotret,Mounir Nasr Allah,Guillaume Hiet,Vianney Lapotreet al. 11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France Communication dans un congrès hal-01311045v1
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
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
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
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
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
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
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
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

Poster de conférence (6)

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. Poster de conférence hal-05056900v1
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
ARMHEx: a framework for efficient DIFT in real-world SoCs Muhammad Abdul Wahab,Pascal Cotret,Mounir Nasr Allah,Guillaume Hiet,Vianney Lapotreet al. Field Programmable Logic (FPL), Sep 2017, Ghent, Belgium. , 2017 Poster de conférence hal-01558475v1
HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow Tracking Mounir Nasr Allah,Guillaume Hiet,Muhammad Abdul Wahab,Pascal Cotret,Guy Gogniatet 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
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