Cotret Pascal
Présentation
Hello introduction
Publications
Publications
Support matériel pour la distribution de moteurs IA embarqués2ème conférence française annuelle dédiée à la cyber embarquée et à son écosystème (CyberOnBoard), 2025 |
|
|
Remarkable Challenges of High-Performance Language Virtual Machines[Research Report] Inria Lille - Nord Europe. 2022 |
|
|
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érielsElectronique. Université de Bretagne Sud, 2012. Français. ⟨NNT : ⟩ |
|
|
Contributions à la sécurité à la frontière logicielle - matérielleArchitectures Matérielles [cs.AR]. Université de Bretagne Occidentale, 2025 |
Enforcing RISC-V TEE Security Against Cache Timing AttacksInternational Workshops on Cryptographic architectures embedded in logic devices, Jun 2025, Autrans (Grenoble), France |
|
|
|
Enhancing Keystone Security Against Cache Timing Attacks: A Modular ApproachColloque 2025 du GDR SoC2, Jun 2025, Lorient, France |
|
|
Security of Dynamically Reconfigurable RISC-V Systems: I/O Attack Focus39th Annual IEEE International Parallel & Distributed Processing Symposium (IEEE IPDPS 2025) : 32nd Reconfigurable Architecture Workshop, Jun 2025, Milan, Italy. ⟨10.1109/IPDPSW66978.2025.00198⟩ |
Verrouillage des lignes de cache pour la lutte contre les attaques par canaux auxiliaires exploitant les mémoires cachesCyber On Board, Mar 2024, ile des Embiez, France |
|
|
|
On The Effect of Replacement Policies on The Security of Randomized Cache Architectures19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2024), Jul 2024, Singapore, Singapore. pp.483-497, ⟨10.1145/3634737.3637677⟩ |
Cache locking against cache-based side-channel attacksÉ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 |
|
|
|
A Fine-Grained Dynamic Partitioning Against Cache-Based Timing Attacks via Cache Locking2024 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2024), Jul 2024, Knoxville, TN, United States |
|
|
Gigue: A JIT Code Binary Generator for Hardware TestingVMIL, Oct 2023, Cascais, Portugal. ⟨10.1145/3623507.3623553⟩ |
|
|
RISC-V Embedded AI for IDS ApplicationsRESSI 2024 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France |
|
|
JIT Compiler Security through Low-Cost RISC-V Extension30th Reconfigurable Architectures Workshop, May 2023, St Petersburg (Florida), United States |
|
|
Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Jul 2023, Delft, Netherlands. pp.1-7 |
|
|
Porting a JIT Compiler to RISC-V: Challenges and OpportunitiesProceedings of the 19th International Conference on Managed Programming Languages and Runtimes (MPLR '22), Sep 2022, Brussels, Belgium |
|
|
Benchmarking Quantized Neural Networks on FPGAs with FINNDATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures, Feb 2021, Grenoble, France |
|
|
A small and adaptive coprocessor for information flow tracking in ARM SoCsReConFig 2018 - International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩ |
|
|
A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug componentsAsianHOST 2018 - Asian Hardware Oriented Security and Trust Symposium, Dec 2018, Hong Kong, China. pp.1-13, ⟨10.1109/asianhost.2018.8607177⟩ |
|
|
ARMHEx: A hardware extension for DIFT on ARM-based SoCs2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩ |
|
|
DroneJack: Kiss your drones goodbye!SSTIC 2017 - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2017, Rennes, France. pp.1-8 |
|
|
ARMHEx: embedded security through hardware-enhanced information flow trackingRESSI 2017 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2017, Grenoble (Autrans), France |
|
|
Towards a hardware-assisted information flow tracking ecosystem for ARM processors26th International Conference on Field-Programmable Logic and Applications (FPL 2016), Aug 2016, Lausanne, Switzerland. ⟨10.1109/fpl.2016.7577396⟩ |
HardBlare: Hardware Design for Tag-Based Security MonitorsCybersecurity France/Japan, Sep 2016, Rennes, France |
|
|
|
A portable approach for SoC-based Dynamic Information Flow Tracking implementations11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France |
|
|
Hit the KeyJack: stealing data from your daily wireless devices incognitoJournées C&ESAR, Nov 2016, Rennes, France |
A hardware coprocessor for Zynq-based Dynamic Information Flow Tracking14th International Workshop on Cryptographic architectures embedded in logic devices (CryptArchi), Jun 2016, La Grande Motte, France |
|
Multi-standard ofdm transceiver for heterogeneous system-on-chipsWinnComm Europe, Oct 2016, Gennevilliers, France |
|
|
|
Reconnaissance faciale basée sur les ondelettes robuste et optimisée pour les systèmes embarquésGRETSI, Sep 2015, Lyon, France |
|
|
Bus-based MPSoC security through communication protection: A latency-efficient alternativeFCCM 2012 (20th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines), Apr 2012, Toronto, Canada. pp.200-207 |
|
|
Security enhancements for FPGA-based MPSoCs: a boot-to-runtime protection flow for an embedded Linux-based systemReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2012, York, United Kingdom. pp.1-8 |
|
|
Lightweight reconfiguration security services for AXI-based MPSoCsFPL 2012 (22nd International Conference on Field Programmable Logic and Applications), Aug 2012, Oslo, Norway. pp.655-658, ⟨10.1109/FPL.2012.6339233⟩ |
|
|
HCrypt: a novel concept of crypto-processor with secured key managementReConFig 2010 (2010 International Conference on ReConFigurable Computing and FPGAs), Dec 2010, Cancùn, Mexico. pp.280-285, ⟨10.1109/FPT.2011.6132722⟩ |
|
|
Securing a High-Level Language Virtual Machine Through its ISA: Pharo as a Case StudyGDR SOC², Jun 2021, Rennes, France |
|
|
ARMHEx: a framework for efficient DIFT in real-world SoCsField Programmable Logic (FPL), Sep 2017, Ghent, Belgium. , 2017 |
|
|
HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow TrackingSéminaire des doctorantes et doctorants en informatique de la Société Informatique de France, Apr 2016, Paris, France. 2016 |
HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processorsHiPEAC, Jan 2016, Prague, Czech Republic. 2016 |
|
|
|
HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processorsCHES 2015 - Workshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. 2015 |