Concepedia

Pierre‐Cyrille Héam

PH

9

Publications

167

Citations

9

H-Index

2000

Active since

Affiliations

Université de franche-comté(Current)

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Laboratoire Lorrain de Recherche en Informatique et ses Applications

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

Centre National de la Recherche Scientifique

Pierre‐Cyrille Héam is an author at Université de franche-comté specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsVerificationSoftware AnalysisFormal VerificationData SecurityProgram AnalysisComputer EngineeringInformation Security

Publications per year

2000–2017

9

Publications

9

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

Automatic Verification of Security Protocols Using Approximations

Yohan Boichut, Pierre‐Cyrille Héam, Olga Kouchnarenko · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 31 citations · Full text

Engineering, Information Security, Verification +19

Efficient and cryptographically secure generation of chaotic pseudorandom numbers on GPU

Christophe Guyeux, Raphaël Couturier, Pierre‐Cyrille Héam et al. · The Journal of Supercomputing · 2015 · 28 citations

Hardware Security, Gpu Architecture, Cryptographic Primitive +12

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

A theoretical limit for safety verification techniques with regular fix-point computations

Yohan Boichut, Pierre‐Cyrille Héam · Information Processing Letters · 2008 · 12 citations

Mathematical Programming, Engineering, Verification +16

Rows per page

1–5 of 9