Thomas Bourgeat

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing
Yu-Wei Fan and others (2026)
Making Concurrent Hardware Verification Sequential
Thomas Bourgeat and others (2025) · Proceedings of the ACM on Programming Languages