Renaud Pacalet

67 papers A* 1A 6B 1C 17Misc 1Journal 15Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Microarchitectural Espionage: FPGA-Based Security Analysis of Branch Prediction in RISC-V Out-of-Order Cores. ISDFS Mahreen Khan, Muhammad Emir Bin Mohd Shahfie, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2026	J	`jnl`	Toward Secure RISC-V Microarchitecture: Vulnerability Classes and Defenses. IEEE Access Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	C	`conf`	Assessing Security RISC: Analyzing Flush+Fault Attack on RISC-V Using gem5 Simulator. SECRYPT Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	—	`conf`	Bypass Synchronization Primitives: GhostRace Attack and Mitigation on RISC-V. ComComAP Mahreen Khan, Maria Priscilla Lima Medeiros, Matheus Victor de Freitas Rodrigues, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille, Lirida Naviner
2025	—	`conf`	Evaluating KASLR Break on RISC-V Using Gem5: Microarchitectural Side-Channel Analysis of Page-Table Walks. EICC Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	C	`conf`	Evict+Spec+Time on RISC-V: Gem5-Based Implementation and Microarchitectural Analysis. DSD Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	C	`conf`	Masked Vector Sampling for HQC. SECRYPT Maxime Spyropoulos, David Vigilant, Fabrice Perion, Renaud Pacalet, Laurent Sauvage
2025	—	`conf`	Opcode Analysis of Real Encryption-Based Microarchitectural Attacks Using gem5. ComComAP Muhammad Awais, Mahreen Khan, Maria Mushtaq, Lirida Naviner, Jawad Haj-Yahya, Florent Bruguier, Renaud Pacalet, Ludovic Apvrille
2025	C	`conf`	Side-Channel Attack Detection Using gem5 and Machine Learning: A Case Study on Fault-Based Attacks in RISC-V. IOLTS Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2025	J	`jnl`	Side-Channel Sensitivity Analysis on HQC: Towards a Fully Masked Implementation. IACR Cryptol. ePrint Arch. Guillaume Goy, Maxime Spyropoulos, Nicolas Aragon, Philippe Gaborit, Renaud Pacalet, Fabrice Perion, Laurent Sauvage, David Vigilant
2025	Misc	`conf`	SpectreShield: Design and Analysis of Spectre Countermeasures on RISC-V Using gem5. CSR Mahreen Khan, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille
2024	J	`jnl`	Masked Vector Sampling for HQC. IACR Cryptol. ePrint Arch. Maxime Spyropoulos, David Vigilant, Fabrice Perion, Renaud Pacalet, Laurent Sauvage
2023	J	`jnl`	Execution trace analysis for a precise understanding of latency violations. Softw. Syst. Model. Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert
2021	A	`conf`	Execution Trace Analysis for a Precise Understanding of Latency Violations. MoDELS Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
2021	J	`jnl`	Multi-resource scheduling for FPGA systems. Microprocess. Microsystems Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici
2020	—	`conf`	Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures. ICC Bogdan Uscumlic, Andrea Enrici, Renaud Pacalet, Amna Gharbi, Ludovic Apvrille, Lionel Natarianni, Laurent Roullet
2020	C	`conf`	Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures. DSD Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici
2020	C	`conf`	Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms. DSD Amna Gharbi, Andrea Enrici, Bogdan Uscumlic, Ludovic Apvrille, Renaud Pacalet
2020	C	`conf`	Impact of Security Measures on Performance Aspects in SysML Models. MODELSWARD Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
2020	—	`conf`	SysML models: studying safety and security measures impact on performance using graph tainting. MoDELS (Companion) Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
2019	C	`conf`	Dynamic Guest Memory Resizing - Paravirtualized Approach. PDP Maciej Bielski, Alvise Rigo, Renaud Pacalet
2019	C	`conf`	Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems. MODELSWARD Andrea Enrici, Ludovic Apvrille, Renaud Pacalet
2019	—	`conf`	Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle. MECO Radek Fujdiak, Petr Blazek, Ludovic Apvrille, Zdenek Martinasek, Petr Mlynek, Renaud Pacalet, David Smekal, Pavel Mrnustik, Maros Barabas, Maysam Zoor
2019	C	`conf`	Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications. DSD Benjamin Dauphin, Renaud Pacalet, Andrea Enrici, Ludovic Apvrille
2019	—	`conf`	Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications. MODELSWARD (Revised Selected Papers) Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, Minh Hiep Pham
2018	C	`conf`	A Model Compilation Approach for Optimized Implementations of Signal-processing Systems. MODELSWARD Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, Adrien Canuel
2018	—	`conf`	Model-Based Programming for Multi-processor Platforms with TTool/DIPLODOCUS and OMC. MODELSWARD (Revised Selected Papers) Andrea Enrici, Julien Lallet, Renaud Pacalet, Ludovic Apvrille, Karol Desnos, Imran Latif
2017	J	`jnl`	A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems. ACM Trans. Design Autom. Electr. Syst. Andrea Enrici, Ludovic Apvrille, Renaud Pacalet
2016	—	`conf`	Survey on Memory and Devices Disaggregation Solutions for HPC Systems. CSE/EUC/DCABES Maciej Bielski, Christian Pinto, Daniel Raho, Renaud Pacalet
2015	A	`conf`	Hardware-assisted Memory Tracing on New SoCs Embedding FPGA Fabrics. ACSAC Letitia W. Li, Guillaume Duc, Renaud Pacalet
2015	—	`conf`	Performance optimizations of integrity checking based on Merkle trees. HASP@ISCA Salaheddine Ouaarab, Guillaume Duc, Renaud Pacalet
2014	A	`conf`	A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes. MoDELS Andrea Enrici, Ludovic Apvrille, Renaud Pacalet
2014	—	`ch.`	Model-Driven Design of Software Defined Radio Applications Based on UML. Embedded Systems Development, From Functional Models to Implementations Jair Gonzalez-Pina, Renaud Pacalet
2014	—	`conf`	SecBus, a Software/Hardware Architecture for Securing External Memories. MobileCloud Jeremie Brunel, Renaud Pacalet, Salaheddine Ouaarab, Guillaume Duc
2013	J	`jnl`	Formal system-level design space exploration. Concurr. Comput. Pract. Exp. Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
2013	B	`conf`	TRESCCA - Trustworthy Embedded Systems for Secure Cloud Computing. ARES Gunnar Schomaker, Andreas Herrholz, Guillaume Duc, Renaud Pacalet, Salvatore Raho, Miltos D. Grammatikakis, Marcello Coppola, Ignacio Garcia Vega
2012	—	`conf`	DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications. EUROMICRO-SEAA Jair Gonzalez-Pina, Rabéa Ameur-Boulifa, Renaud Pacalet
2012	J	`jnl`	Dynamic Power Management for the Iterative Decoding of Turbo Codes. IEEE Trans. Very Large Scale Integr. Syst. Erick Amador, Raymond Knopp, Renaud Pacalet, Vincent Rezard
2012	—	`conf`	Flexible front-end processing for software defined radio applications using application specific instruction-set processors. DASIP Carina Schmidt-Knorreck, Renaud Pacalet, Andreas Minwegen, Uwe Deidersen, Torsten Kempf, Raymond Knopp, Gerd Ascheid
2010	—	`conf`	Architectures for cognitive radio testbeds and demonstrators - An overview. CrownCom Oscar Gustafsson, Kiarash Amiri, Dennis Andersson, Anton Blad, Christian Bonnet, Joseph R. Cavallaro, Jeroen Declerck, Antoine Dejonghe, Patrik Eliardsson, Miguel Glassee, Aawatif Hayar, Lieven Hollevoet, Christopher Hunter, Madhura Joshi, Florian Kaltenberger, Raymond Knopp, Khanh Le, Zoran Miljanic, Patrick Murphy, Frederik Naessens, Navid Nikaein, Dominique Nussbaum, Renaud Pacalet, Praveen Raghavan, Ashutosh Sabharwal, Onkar Sarode, Predrag Spasojevic, Yang Sun, Hugo M. Tullberg, Tom Vander Aa, Liesbet Van der Perre, Michelle Wetterwald, Michael Wu
2010	—	`conf`	Dynamic Power Management on LDPC Decoders. ISVLSI Erick Amador, Raymond Knopp, Vincent Rezard, Renaud Pacalet
2010	J	`jnl`	Evaluation of Power Constant Dual-Rail Logics Countermeasures against DPA with Design Time Security Metrics. IEEE Trans. Computers Sylvain Guilley, Laurent Sauvage, Florent Flament, Vinh-Nga Vong, Philippe Hoogvorst, Renaud Pacalet
2010	—	`conf`	Formal System-level Design Space Exploration. NOTERE Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
2009	—	`conf`	Fast Simulation Techniques for Design Space Exploration. TOOLS (47) Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
2009	C	`conf`	High-Level System Modeling for Rapid HW/SW Architecture Exploration. IEEE International Workshop on Rapid System Prototyping Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi, Patricia Le Moenner, Renaud Pacalet
2009	C	`conf`	Open Platform for Prototyping of Advanced Software Defined Radio and Cognitive Radio Techniques. DSD Dominique Nussbaum, Karim Khalfallah, Christophe Moy, Amor Nafkha, Pierre Leray, Julien Delorme, Jacques Palicot, Jérôme Martin, Fabien Clermidy, Bertrand Mercier, Renaud Pacalet
2009	A*	`conf`	Optimum LDPC decoder: a memory architecture problem. DAC Erick Amador, Renaud Pacalet, Vincent Rezard
2009	A	`conf`	SecBus: Operating System controlled hierarchical page-based memory bus protection. DATE Lifeng Su, Stephan Courcambeck, Pierre Guillemin, Christian Schwarz, Renaud Pacalet
2008	—	`conf`	Application Specific Processors for Multimedia Applications. CSE Muhammad Rashid, Ludovic Apvrille, Renaud Pacalet
2008	—	`conf`	Evaluation of ASIPs Design with LISATek. SAMOS Muhammad Rashid, Ludovic Apvrille, Renaud Pacalet
2008	C	`conf`	Flexible Baseband Architectures for Future Wireless Systems. DSD Muhammad Najam-ul-Islam, Rizwan Rasheed, Renaud Pacalet, Raymond Knopp, Karim Khalfallah
2008	J	`jnl`	Security Evaluation of WDDL and SecLib Countermeasures against Power Attacks. IEEE Trans. Computers Sylvain Guilley, Laurent Sauvage, Philippe Hoogvorst, Renaud Pacalet, Guido Marco Bertoni, Sumanta Chaudhuri
2008	C	`conf`	Silicon-level Solutions to Counteract Passive and Active Attacks. FDTC Sylvain Guilley, Laurent Sauvage, Jean-Luc Danger, Nidhal Selmane, Renaud Pacalet
2007	J	`jnl`	A fast pipelined multi-mode DES architecture operating in IP representation. Integr. Sylvain Guilley, Philippe Hoogvorst, Renaud Pacalet
2007	—	`conf`	Reconfigurable DSP Architectures for SDR Applications. ICECS Muhammad Najam-ul-Islam, Karim Khalfallah, Raymond Knopp, Renaud Pacalet
2007	J	`jnl`	Secured CAD Back-End Flow for Power-Analysis-Resistant Cryptoprocessors. IEEE Des. Test Comput. Sylvain Guilley, Florent Flament, Philippe Hoogvorst, Renaud Pacalet, Yves Mathieu
2006	—	`conf`	A UML-based Environment for System Design Space Exploration. ICECS Ludovic Apvrille, Waseem Muhammad, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
2006	C	`conf`	Abstract Application Modeling for System Design Space Exploration. DSD Waseem Muhammad, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
2006	J	`jnl`	Un environnement de conception de systèmes distribués basé sur UML. Ann. des Télécommunications Ludovic Apvrille, Pierre de Saqui-Sannes, Renaud Pacalet, Axelle Apvrille
2006	—	`conf`	Using GPU for fast Block-Matching. EUSIPCO Sebastien Mazare, Jean-Luc Dugelay, Renaud Pacalet
2005	A	`conf`	The "Backend Duplication" Method. CHES Sylvain Guilley, Philippe Hoogvorst, Yves Mathieu, Renaud Pacalet
2004	A	`conf`	CMOS Structures Suitable for Secured Hardware. DATE Sylvain Guilley, Philippe Hoogvorst, Yves Mathieu, Renaud Pacalet, Jean Provost
2004	C	`conf`	Differential Power Analysis Model and Some Results. CARDIS Sylvain Guilley, Philippe Hoogvorst, Renaud Pacalet
2004	J	`jnl`	SoCs security: a war against side-channels. Ann. des Télécommunications Sylvain Guilley, Renaud Pacalet
2000	J	`jnl`	LUX: A Heterogeneous Parallel Computer Dedicated to Ray Tracing. Parallel Distributed Comput. Pract. Stéphane Mancini, Renaud Pacalet
1999	—	`conf`	LUX: An Heterogeneous Function Composition Parallel Computer for Graphics. Euro-Par Stéphane Mancini, Renaud Pacalet
1997	—	`conf`	A VLSI Architecture for Image Geometrical Transformations Using an Embedded Core Based Processor. ASAP Carolina Miro, Nicolas Darbel, Renaud Pacalet, Valerie Paquet