Verimag

Security properties evaluation

In the domain of security, verification is generally declined as robustness criteria and must be led against attacker models. We propose tools and technics dedicated to the evaluation of secure devices (smartcard or secured dongle) against fault attacks (such as laser or electromagnetic attacks). We are also interested for modeling and verifying other security requirements (confidentiality, integrity, isolation...) in particular in the context of Common Criteria certification.


Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 704270