Accéder directement au contenu

Cotret Pascal

32
Documents

Présentation

Hello introduction
Hello introduction

Publications

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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