Cotret Pascal

Documents

Présentation

français
anglais

Publications

	Remarkable Challenges of High-Performance Language Virtual Machines Guillermo Polito , Stéphane Ducasse , Pablo Tesone , Luc Fabresse , G Thomas [Research Report] Inria Lille - Nord Europe. 2022 Rapport 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ériels Pascal Cotret Electronique. Université de Bretagne Sud, 2012. Français. ⟨NNT : ⟩ Thèse tel-00789541v2

	On The Effect of Replacement Policies on The Security of Randomized Cache Architectures Moritz Peters , Nicolas Gaudin , Jan Philipp Thoma , Vianney Lapotre , Pascal Cotret 19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2024), Jul 2024, Singapore, Singapore Communication dans un congrès hal-04427321v1
	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
	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
	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
	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
	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
	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 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 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 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
	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 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
	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: A hardware extension for DIFT on ARM-based SoCs Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre 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
	ARMHEx: embedded security through hardware-enhanced information flow tracking Muhammad Abdul – Wahab , Pascal Cotret , Mounir – Nasr Allah , Guillaume – Hiet , Vianney Lapotre 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
	A portable approach for SoC-based Dynamic Information Flow Tracking implementations Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre 11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France Communication dans un congrès hal-01311045v1
	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 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
	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
	Towards a hardware-assisted information flow tracking ecosystem for ARM processors Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre 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
	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
	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
	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
	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

	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 Lapotre 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 Gogniat 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

Cotret Pascal

Présentation

Publications

Remarkable Challenges of High-Performance Language Virtual Machines

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

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

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

RISC-V Embedded AI for IDS Applications

Cache locking against cache-based side-channel attacks

JIT Compiler Security through Low-Cost RISC-V Extension

Gigue: A JIT Code Binary Generator for Hardware Testing

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

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

Benchmarking Quantized Neural Networks on FPGAs with FINN

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

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

DroneJack: Kiss your drones goodbye!

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

ARMHEx: embedded security through hardware-enhanced information flow tracking

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

HardBlare: Hardware Design for Tag-Based Security Monitors

A hardware coprocessor for Zynq-based Dynamic Information Flow Tracking

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

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

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

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

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

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

Lightweight reconfiguration security services for AXI-based MPSoCs

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

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

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

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

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

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