Emmanuelle Encrenaz-Tiphène

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Emmanuelle Encrenaz-Tiphène is an author at École Normale Supérieure Paris-Saclay specializing in computer engineering, engineering, and hardware security.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceHardware SecurityFormal VerificationComputer EngineeringComputer Architecture

Publications per year

2008–2008

Publications

Timed verification of the generic architecture of a memory circuit using parametric timed automata

Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg et al. · Formal Methods in System Design · 2008 · 31 citations

Hardware Security, Generic Architecture, Engineering +13

Rows per page

1–1 of 1