Florent Jacquemard

Publications

344

Citations

H-Index

1998

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

Orange (France)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Florent Jacquemard is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningVerificationFormal VerificationData SecurityProgram AnalysisProof ComplexitySoftware Analysis

Publications per year

1998–2020

Publications

Ground reducibility is EXPTIME-complete

Hubert Comon, Florent Jacquemard · Information and Computation · 2003 · 31 citations · Full text

Real Algebraic Geometry, Proof Complexity, Ground Reducibility +1

A theory of dictionary attacks and its complexity

Stéphanie Delaune, Florent Jacquemard · IEEE Computer Security Foundations Symposium · 2004 · 30 citations

Cryptographic Primitive, Engineering, Information Security +21

A decision procedure for the verification of security protocols with explicit destructors

Stéphanie Delaune, Florent Jacquemard · 2004 · 30 citations

Cryptographic Primitive, Engineering, Information Security +23

Operational semantics of a domain specific language for real time musician–computer interaction

José I. Echeveste, Arshia Cont, Jean‐Louis Giavitto et al. · Discrete Event Dynamic Systems · 2013 · 29 citations · Full text

Music, Operational Semantics, Human-computer Interaction +5

Automatic verification of conformance of firewall configurations to security policies

Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard · 2009 · 29 citations · Full text

Engineering, Information Security, Next-generation Firewall +22

Rows per page

1–5 of 16