Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Universite De Toulon

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Symbolic protocol verification with dice ; Symbolic protocol verification with dice: Process equivalences in the presence of probabilities

Authors : Cheval, Vincent; Crubillé, Raphaëlle; Kremer, Steve ...

Subjects: Security protocols; Symbolic verification; Probabilistic process equivalences

Source: ISSN: 0926-227X.

Read More Add to Saved list

Academic Journal

Les jeux à la rescousse de la vérification

Authors : Monmege, Benjamin;

Subjects: Logiciel; Theorie des jeux; vérification programme

Source: ISSN: 2270-6224 ; Interstices ; https://hal.science/hal-04230642 ; Interstices, 2023 ; https://interstices.info/les-jeux-a-la-rescousse-de-la-verification/.

Read More Add to Saved list

Conference

Symbolic protocol verification with dice: process equivalences in the presence of probabilities

Authors : Cheval, Vincent; Crubillé, Raphaëlle; Kremer, Steve ...

Subjects: Security protocols; Symbolic verification; Probabilistic process equivalencesHaifa; Israel

Source: CSF'22 - 35th IEEE Computer Security Foundations Symposium ; https://inria.hal.science/hal-03700492 ; CSF'22 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel

Read More Add to Saved list

Academic Journal

Kinship Verification Through Facial Images Using CNN-Based Features

Authors : Chergui, Abdelhakim; Ouchtati, Salim; Mavromatis, Sébastien ...

Subjects: kinship verification; deep learning; VGG- Face

Source: ISSN: 0765-0019.

Read More Add to Saved list

Academic Journal

Kinship verification through facial images using multiscale and multilevel handcrafted features

Authors : Chergui, Abdelhakim; Ouchtati, Salim; Mavromatis, Sébastien ...

Subjects: support vector machines; Kinship verification; pyramid multilevel

Source: ISSN: 1017-9909.

Read More Add to Saved list

Academic Journal

DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation

Authors : Yacoub, Aznam; Hamri, Maamar El Amine; Frydman, Claudia ...

Subjects: Model-checking; verification and validation; modeling and simulation

Source: ISSN: 0037-5497 ; EISSN: 1741-3133.

Read More Add to Saved list

Report

Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)

Authors : Cheval, Vincent; Crubillé, Raphaëlle; Kremer, Steve ...

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Source: https://inria.hal.science/hal-03683907 ; 2023.

Read More Add to Saved list

Academic Journal

DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

Authors : Yacoub, Aznam; Hamri, Maamar El Amine; Frydman, Claudia ...

Subjects: DEv-PROMELA; Simulation; Formal Verification

Source: ISSN: 1740-2123.

Read More Add to Saved list

Academic Journal

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems

Authors : Yacoub, Aznam; Hamri, Maamar El Amine; Frydman, Claudia ...

Subjects: DEv-PROMELA; Simulation; Formal Verification

Source: ISSN: 1740-2123.

Read More Add to Saved list

Academic Journal

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems

Authors : Yacoub, Aznam; Hamri, Maamar El Amine; Frydman, Claudia ...

Subjects: DEv-PROMELA Simulation Formal Verification Verification and Validation; DEv-PROMELA; Simulation

Source: ISSN: 1740-2123.

Read More Add to Saved list