Vincent BEROULLE - Home page

• Safe-Air Project Coordinator: "Safety Evaluation of Aircraft Systems using Virtual Platforms"

• Safe-RFID Project Coordinator: "Dependability and Security of RFID Systems"

• ANR LIESSE project "Laser-Induced fault Effects in Security-dedicated circuitS"

• Julie ROUX, "Robustness Evaluation of Critical System using Cross-Layer Analysis"', since janurary 2018
• Baptiste PESTOURIE, "UWB based Secure Ranging and LOCalization", since october 2017
• Johan LAURENT, "Security Evaluation with Virtual Prototyping and Statistic Analysis of HW/SW Systems against Laser Attacks", since october 2017

• Arash NEIJAT, "Hardware Trojan Detection with Logic Masking Approaches", (2014-2019)
• Jérémy DUBEUF, "ECC Side Channel Analysis and Countermeasure Implementation" , CIFRE Maxim IC (2014-2018)
• Athanasios PAPADIMITRIOU, "RTL Modeling of Laser attacks for Early Evaluation of Secure ICs and Countermeasure Design" (2012-2015), ANR LIESSE Project

• Omar ABDELMALEK, "DESIGN AND EMULATION OF ROBUST ARCHITECTURES FOR UHF RFID TAGS" (2011-2015), ANR Safe-RFID Project

• Noémie BOHER, "Evaluation and Security Enhancement of Analog Integrated Circuits ", (2012-2015), PhD at ST Microelectronics

• Gilles FRITZ, "Fault Simulation for the Evaluation of On-Line Testing in RFID Systems", defended the 10th December 2012

• M. Youssef SERRESTOU, "Optimization of functional qualification thanks to mutation analysis", Defended in December 2008

• M. Tu TRAN XUAN, LCIS and CEA-LETI collaboration, "Test Method and Design-for-Test of Asynchronous Networks-on-Chip: Application to ANOC Network.", Defended in February 2008.

• M. Rami Khouri,"VHDL-AMS Behavioral modeling of RF link for simulation and optimization of RFID UHF systems", Defended in May 2007

• M. Yves JOANNON, CIFRE ST Microelectronics, « Qualification and automatic generation of stimuli for AMS&RF SoC testing », Defended on April 2008.

Key words: Digital Design, VHDL, FPGA, VHDL-AMS, Functional Verification, Safety, Security

• Advanced Digital Architectures
• Verification and test of embedded secured systems
• Design of Analog and Mixed Systems
• Design of VLSI CMOS Integrated Circuits
• Hardware/Software co-design

Full Publication List