
Cotret Pascal
35
Documents
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
Autre publication scientifique
hal-05041703
v1
|
|
Remarkable Challenges of High-Performance Language Virtual Machines[Research Report] Inria Lille - Nord Europe. 2022
Rapport
hal-03770065
v1
|
|
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 : ⟩
Thèse
tel-00789541
v2
|
Enforcing RISC-V TEE Security Against Cache Timing AttacksInternational Workshops on Cryptographic architectures embedded in logic devices, Jun 2025, Autrans (Grenoble), France
Communication dans un congrès
hal-05041492
v1
|
|
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
Communication dans un congrès
hal-04461273
v1
|
|
|
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⟩
Communication dans un congrès
hal-04427321
v1
|
|
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
Communication dans un congrès
hal-04619896
v1
|
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
Communication dans un congrès
hal-04446221
v1
|
|
|
Gigue: A JIT Code Binary Generator for Hardware TestingVMIL, Oct 2023, Cascais, Portugal. ⟨10.1145/3623507.3623553⟩
Communication dans un congrès
hal-04469651
v1
|
|
JIT Compiler Security through Low-Cost RISC-V Extension30th Reconfigurable Architectures Workshop, May 2023, St Petersburg (Florida), United States
Communication dans un congrès
hal-04031296
v1
|
|
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
Communication dans un congrès
hal-04498047
v2
|
|
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
Communication dans un congrès
hal-04155139
v1
|
|
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
Communication dans un congrès
hal-03725841
v1
|
|
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
Communication dans un congrès
hal-03085342
v1
|
|
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⟩
Communication dans un congrès
hal-01911619
v1
|
|
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⟩
Communication dans un congrès
hal-01911621
v1
|
|
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⟩
Communication dans un congrès
hal-01558473
v1
|
|
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
Communication dans un congrès
hal-01635125
v1
|
|
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
Communication dans un congrès
hal-01558155
v1
|
|
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⟩
Communication dans un congrès
hal-01337579
v1
|
HardBlare: Hardware Design for Tag-Based Security MonitorsCybersecurity France/Japan, Sep 2016, Rennes, France
Communication dans un congrès
hal-01450853
v1
|
|
|
A portable approach for SoC-based Dynamic Information Flow Tracking implementations11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France
Communication dans un congrès
hal-01311045
v1
|
|
Hit the KeyJack: stealing data from your daily wireless devices incognitoJournées C&ESAR, Nov 2016, Rennes, France
Communication dans un congrès
hal-01383008
v1
|
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
Communication dans un congrès
hal-01341830
v1
|
|
Multi-standard ofdm transceiver for heterogeneous system-on-chipsWinnComm Europe, Oct 2016, Gennevilliers, France
Communication dans un congrès
hal-01450839
v1
|
|
|
Reconnaissance faciale basée sur les ondelettes robuste et optimisée pour les systèmes embarquésGRETSI, Sep 2015, Lyon, France
Communication dans un congrès
hal-01171943
v1
|
|
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
Communication dans un congrès
hal-00750343
v1
|
|
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
Communication dans un congrès
hal-00750339
v1
|
|
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⟩
Communication dans un congrès
hal-00750332
v1
|
|
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⟩
Communication dans un congrès
hal-00750348
v1
|
|
Securing a High-Level Language Virtual Machine Through its ISA: Pharo as a Case StudyGDR SOC², Jun 2021, Rennes, France
Poster de conférence
hal-04542157
v1
|
|
ARMHEx: a framework for efficient DIFT in real-world SoCsField Programmable Logic (FPL), Sep 2017, Ghent, Belgium. , 2017
Poster de conférence
hal-01558475
v1
|
|
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
Poster de conférence
hal-01311032
v1
|
HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processorsHiPEAC, Jan 2016, Prague, Czech Republic. 2016
Poster de conférence
hal-01450844
v1
|
|
|
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
Poster de conférence
hal-01252597
v1
|
Chargement...
Chargement...