Concepedia

Ludovic Casset

LC

2

Publications

44

Citations

2

H-Index

2002

Active since

Affiliations

Laboratoire Génie et Matériaux Textiles(Current)

Ludovic Casset is an author at Laboratoire Génie et Matériaux Textiles specializing in hardware security, formal verification, and data security.

Top concepts

EngineeringCryptographyData SecurityFormal MethodsSystem SoftwareComputer ScienceHardware SecuritySoftware AnalysisSoftware SecurityFormal Verification

Publications per year

2002–2003

2

Publications

2

Formal development of an embedded verifier for Java Card byte code

Ludovic Casset, Lilian Burdy, A Requet · 2003 · 32 citations

Engineering, Hardware Verification Language, Information Security +25

Application of the B formal method to the proof of a type verification algorithm

A Requet, Ludovic Casset, Gilles Grimaud · 2002 · 12 citations

B Formal Method, Engineering, Information Security +25

Rows per page

1–2 of 2