Thomas Bourgeat
École Polytechnique Fédérale de Lausanne(CH)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Parallel Computing and Optimization Techniques, Physical Unclonable Functions (PUFs) and Hardware Security, Formal Methods in Verification
Most-Cited Works
- → MI6(2019)109 cited
- → The essence of Bluespec: a core language for rule-based hardware design(2020)48 cited
- → Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology(2021)42 cited
- → Accelerating Robot Dynamics Gradients on a CPU, GPU, and FPGA(2021)38 cited
- → FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining(2021)38 cited
- → CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches(2020)37 cited
- → Composable Building Blocks to Open up Processor Design(2018)29 cited
- → AQUOMAN: An Analytic-Query Offloading Machine(2020)28 cited
- → RoboShape: Using Topology Patterns to Scalably and Flexibly Deploy Accelerators Across Robots(2023)22 cited
- → DAGguise: mitigating memory timing side channels(2022)18 cited