Drag Rewriting

Autor: Dershowitz, Nachum, Jouannaud, Jean-Pierre, Orejas, Fernando

We present a new and powerful algebraic framework for graph rewriting, based on drags, a class of graphs enjoying a novel composition operator. Graphs are embellished with roots and sprouts, which can be wired together to form edges. Drags enjoy a ri

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::757333ae591c09af278aa7bfde49e70f
https://inria.hal.science/hal-04143346

Two-Client Inner-Product Functional Encryption with an Application to Money-Laundering Detection

Autor: de Perthuis, Paola, Pointcheval, David

Publikováno v: Proceedings of the 29th ACM Conference on Computer and Communications Security (CCS '22)
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
ACM CCS-Computer and Communications Security 2022
ACM CCS-Computer and Communications Security 2022, Nov 2022, Los Angeles, United States

International audience; In this paper, we extend Inner-Product Functional Encryption (IPFE), where there is just a vector in the key and a vector in the single sender's ciphertext, to two-client ciphertexts. More precisely, in our two-client function

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80486257c62b6cf381a0467e22f0929d
https://doi.org/10.1145/3548606.3559374

MyOPE: Malicious SecuritY for Oblivious Polynomial Evaluation

Autor: Malika Izabachène, Anca Nitulescu, Paola de Perthuis, David Pointcheval

Publikováno v: Lecture Notes in Computer Science
SCN 2022-13th Conference on Cryptography and Security for Networks
SCN 2022-13th Conference on Cryptography and Security for Networks, Sep 2022, Amalfi, Italy. pp.663-686, ⟨10.1007/978-3-031-14791-3_29⟩
Lecture Notes in Computer Science ISBN: 9783031147906

International audience; Oblivious Polynomial Evaluation (OPE) schemes are interactive protocols between a sender with a private polynomial and a receiver with a private evaluation point where the receiver learns the evaluation of the polynomial in th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6b9fa6a3132c7b44c87f175a90a629c
https://hal.science/hal-03820565/file/main.pdf

Concepts and Semantics of Programming Languages 2: Modular and Object‐oriented Constructs with OCaml, Python, C++, Ada and Java

Autor: Hardin, Thérèse, Jaume, Mathieu, Pessaux, François, Viguié Donzeau-Gouge, Véronique

Publikováno v: ISTE Wiley, 2021, Print ISBN:9781786306029 |Online ISBN:9781119851196. ⟨10.1002/9781119851196⟩

International audience; This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::771495d742b29cf8c8f9040c2c76ead1
https://hal.archives-ouvertes.fr/hal-03337213

Une approche basée sur l'ASP pour détecter des attracteurs dans les réseaux booléens circulaires

Autor: Khaled, Tarek, Benhamou, Belaïd

Publikováno v: 14eme Journées Francophones de Programmation par Contraintes, JFPC
14eme Journées Francophones de Programmation par Contraintes, JFPC, Jun 2021, Nice, France

International audience; En biologie, les réseaux booléens sont traditionnellement utilisés pour représenter et simuler les réseaux de régulation de gènes. Les attracteurs font l'objet d'une attention particulière dans l'analyse de la dynamiqu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3430::87766d2cbeff046a5cd11e184c748c83
https://hal-amu.archives-ouvertes.fr/hal-03616262/file/JFPC_2021_E4.pdf