Výsledky vyhledávání

Certifying cryptographic protocols by abstract model-checking and proof concretization

Autor: M. Périn, R. Janvier, Y. Lakhnech

Publikováno v: ACM SIGBED Review. 3:37-57

In this paper, we report on our effort in enhancing our model-checker for cryptographic protocols with the ability to automatically generate a deductive proof that the protocol meets its specification. More specifically, we discuss a technique that a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4a3884ff66f6a7ee87c0237d53ae4a69
https://doi.org/10.1145/1183088.1183094

Zobrazit plný text záznamu

Generic Indifferentiability Proofs of Hash Designs

Autor: Y. Lakhnech, Pierre-Alain Fouque, M. Daubignard

Publikováno v: CSF
25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012
25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Jun 2012, Cambridge, United States. pp.14, ⟨10.1109/CSF.2012.13⟩
25th Computer Security Foundations Symposium, 2012, Jun 2012, Cambridge, United States. pp.14, ⟨10.1109/CSF.2012.13⟩

Hash functions are the swiss army knife of cryptographers. They are used to generate unique identifiers in hash-and-sign signatures, as one-way functions for one-time-password, to break the structure of the input in key derivation functions and also

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea038f462c7ee757108e6613f4bf5cbc
https://doi.org/10.1109/csf.2012.13

Zobrazit plný text záznamu

Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security

Autor: M. Daubignard, R. Janvier, Laurent Mazaré, Y. Lakhnech

Publikováno v: Formal Aspects in Security and Trust ISBN: 9783540752264
Formal Aspects in Security and Trust

The composition of security definitions is a subtle issue. As most security protocols use a combination of security primitives, it is important to have general results that allow to combine such definitions. We present here a general result of compos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::74b7af74c8f090f0d5b5d7e574671914
https://doi.org/10.1007/978-3-540-75227-1_4

Zobrazit plný text záznamu

Implementation of an environment of symbolic model checking based on the TDGs

Autor: R. Robbana, Y. Lakhnech, S. Ayadi

Publikováno v: ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts..

Summary form only given. Several applications generate complicated finite states systems as the design of the communications protocols and the design of circuits. When the number of states of a system is large, it is difficult to determine manually i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d86faee79845289157995a1a36973a24
https://doi.org/10.1109/aiccsa.2003.1227529

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání