Rafik Kheddam

Publications

Citations

H-Index

2011

Active since

Affiliations

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

Rafik Kheddam is an author at Institut national de recherche en sciences et technologies du numérique specializing in data security, security protocols, and formal verification.

Top concepts

EngineeringVerificationData SecurityComputer ScienceSoftware TestingSoftware AnalysisSoftware SecuritySecurity ProtocolsFormal VerificationInformation Security

Publications per year

2011–2014

Publications

Mutation-Based Test Generation from Security Protocols in HLPSL

Frédéric Dadeau, Pierre‐Cyrille Héam, Rafik Kheddam · 2011 · 37 citations

Engineering, Information Security, Verification +24

Model‐based mutation testing from security protocols in HLPSL

Frédéric Dadeau, Pierre‐Cyrille Héam, Rafik Kheddam et al. · Software Testing Verification and Reliability · 2014 · 16 citations

Engineering, Information Security, Verification +21

Rows per page

1–2 of 2