Cotret Pascal
24
Documents
Presentation
Hello introduction
Hello introduction
Publications
|
Remarkable Challenges of High-Performance Language Virtual Machines[Research Report] Inria Lille - Nord Europe. 2022
Reports
hal-03770065v1
|
|
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 : ⟩
Theses
tel-00789541v2
|
|
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
Conference papers
hal-03725841v1
|
|
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
Conference papers
hal-03085342v1
|
|
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⟩
Conference papers
hal-01911619v1
|
|
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⟩
Conference papers
hal-01911621v1
|
|
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
Conference papers
hal-01635125v1
|
|
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⟩
Conference papers
hal-01558473v1
|
|
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
Conference papers
hal-01558155v1
|
|
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⟩
Conference papers
hal-01337579v1
|
|
A portable approach for SoC-based Dynamic Information Flow Tracking implementations11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France
Conference papers
hal-01311045v1
|
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
Conference papers
hal-01341830v1
|
|
|
Hit the KeyJack: stealing data from your daily wireless devices incognitoJournées C&ESAR, Nov 2016, Rennes, France
Conference papers
hal-01383008v1
|
HardBlare: Hardware Design for Tag-Based Security MonitorsCybersecurity France/Japan, Sep 2016, Rennes, France
Conference papers
hal-01450853v1
|
|
Multi-standard ofdm transceiver for heterogeneous system-on-chipsWinnComm Europe, Oct 2016, Gennevilliers, France
Conference papers
hal-01450839v1
|
|
|
Reconnaissance faciale basée sur les ondelettes robuste et optimisée pour les systèmes embarquésGRETSI, Sep 2015, Lyon, France
Conference papers
hal-01171943v1
|
|
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
Conference papers
hal-00750343v1
|
|
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
Conference papers
hal-00750339v1
|
|
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⟩
Conference papers
hal-00750332v1
|
|
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⟩
Conference papers
hal-00750348v1
|
|
ARMHEx: a framework for efficient DIFT in real-world SoCsConference poster hal-01558475v1 |
|
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
Conference poster
hal-01311032v1
|
HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processorsHiPEAC, Jan 2016, Prague, Czech Republic. 2016
Conference poster
hal-01450844v1
|
|
|
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
Conference poster
hal-01252597v1
|