GH
Guillaume Hiet

Well Cited

56
Works
353
Citations
9
H-Index
Search Authors
Author Statistics
External Links
OpenAlex Profile ORCID Profile

Guillaume Hiet

Also known as: Guillaume Hiet, HIET, Guillaume, Hiet Guillaume, Hiet, Guillaume, Hiet, Guillaume, –

56

Total Works

353

Citations

9

H-Index

9

i10-Index

Citation & Works Trend by Year
20 years active
Top Research Topics
Security and Verification in Computing (41) Network Security and Intrusion Detection (22) Logic, programming, and type systems (10) Formal Methods in Verification (9) Physical Unclonable Functions (PUFs) and Hardware Security (8)
Recent Publications
15 shown
Year Publication Title Citations Action
2026 Modular and automatic formal verification of a RISC-V processor with security mechanisms HAL 0
2025 HYPERSEC: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection Lecture notes in computer science 0
2025 WIP: InSight -A CoreSight Trace Interpreter for Dynamic Information Flow Tracking HAL 0
2025 heRVé: towards a formally verified RISC-V processor with security mechanisms HAL 0
2025 An XVisor extension using a Domain Specific Language to detect Rootkits in Virtual Machines HAL 0
2024 Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code Lecture notes in computer science 0
2023 Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) 2
2023 A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity IEEE Computer Security Foundations Workshop (CSFW) 2
2022 Cross-domain alert correlation methodology for industrial control systems Computers & Security 7
2022 RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems Leibniz international proceedings in informatics 9
2022 RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) 1
2021 Security at the Hardware/Software Interface HAL 0
2021 DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) 2
2020 Intrusion Survivability for Commodity Operating Systems Digital Threats Research and Practice 1
2020 Modular verification of programs with effectsand effects handlers Formal Aspects of Computing 6

Data source: OpenAlex API