104 research outputs found
Catalogue Benoit éditeur “Au Métronome, Maison Émile Benoit, Sulzbach successeur” : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” (“Le kiosque à ma sœur” … “La mère Philippe”)
No full textCatalogue Benoit éditeur “Au Métronome, Maison Émile Benoit, Sulzbach successeur”, 13, Faubourg Saint Martin, Paris : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” ; titres : “Le kiosque à ma sœur” … “La mère Philippe” ; verso “Lettre du Vendredi Saint” (cotage EB7609) ; classement en six colonnes : titres, genres, auteurs, compositeurs, créées par, prix ; artistes créateurs crédités : Reschal, Sulbac, L. Chevalier [Louis Chevalier], Ouvrard [Éloi Ouvrard], Bourgès, Legrand, Florentin, Fragson [Harry Fragson (1869-1913)], Arnaud, Piter [Georges Piter], Polin, Queyriaux-Chicot [Antoine Queyriaux & Émile Chicot], Caudieux, Libert, Paulus, Baldy, Chaillier [Gustave Chaillier (1837-1910)], Duhem [Émile Duhem], Dufour, Romain, Teste [Auguste Teste (18..-1907)], Ducastel, Réval [Jules Réval], Paulus, Volay, Mathieu, Berthelier [Jean-François Berthelier], Villé [Ferdinand Villé], Henriot ; reprise par l’éditeur Alfred Sulzbach (1860-1927, Sulbac de son nom d’artiste) d’un ancien catalogue d’Émile Benoit (1896 medihal-00541669) utilisé sur plusieurs titres, à des dates différentes) ; datation impossible en l’état actuel de la recherche (par approximation, 1902 hypothèse à confirmer)
Catalogue Benoit éditeur “Au Métronome, Maison Émile Benoit, Sulzbach successeur” : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” (“Le kiosque à ma sœur” … “La mère Philippe”) [1896]
No full textCatalogue Benoit éditeur “Au Métronome, Maison Émile Benoit, Sulzbach successeur”, 13, Faubourg Saint Martin, Paris : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” ; titres : “Le kiosque à ma sœur” … “La mère Philippe” ; verso “Lettre du Vendredi Saint” (cotage EB7609) ; classement en six colonnes : titres, genres, auteurs, compositeurs, créées par, prix ; artistes créateurs crédités : Reschal, Sulbac, L. Chevalier [Louis Chevalier], Ouvrard [Éloi Ouvrard], Bourgès, Legrand, Florentin, Fragson [Harry Fragson (1869-1913)], Arnaud, Piter [Georges Piter], Polin, Queyriaux-Chicot [Antoine Queyriaux & Émile Chicot], Caudieux, Libert, Paulus, Baldy [Armand Baldy], Chaillier [Gustave Chaillier (1837-1910)], Duhem [Émile Duhem], Dufour, Romain, Teste [Auguste Teste (18..-1907)], Ducastel, Réval [Jules Réval], Paulus, Volay, Mathieu, Berthelier [Jean-François Berthelier], Villé [Ferdinand Villé], Henriot ; reprise par l’éditeur Alfred Sulzbach (1860-1927, Sulbac de son nom d’artiste) d’un ancien catalogue d’Émile Benoit (1896 medihal-00541669) utilisé sur plusieurs titres, à des dates différentes) ; datation impossible en l’état actuel de la recherche (par approximation, 1902 hypothèse à confirmer)
Catalogue Benoit éditeur “Au Métronome, Maison Émile Benoit, Sulzbach successeur” : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” (“Le kiosque à ma sœur” … “La mère Philippe”) [1896]
No full textCatalogue Benoit éditeur “Au Métronome, Maison Émile Benoit, Sulzbach successeur”, 13, Faubourg Saint Martin, Paris : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” ; titres : “Le kiosque à ma sœur” … “La mère Philippe” ; verso “Lettre du Vendredi Saint” (cotage EB7609) ; classement en six colonnes : titres, genres, auteurs, compositeurs, créées par, prix ; artistes créateurs crédités : Reschal, Sulbac, L. Chevalier [Louis Chevalier], Ouvrard [Éloi Ouvrard], Bourgès, Legrand, Florentin, Fragson [Harry Fragson (1869-1913)], Arnaud, Piter [Georges Piter], Polin, Queyriaux-Chicot [Antoine Queyriaux & Émile Chicot], Caudieux, Libert, Paulus, Baldy [Armand Baldy], Chaillier [Gustave Chaillier (1837-1910)], Duhem [Émile Duhem], Dufour, Romain, Teste [Auguste Teste (18..-1907)], Ducastel [Henri Gain dit Ducastel (1846-1885)], Réval [Jules Réval], Paulus, Volay, Mathieu, Berthelier [Jean-François Berthelier], Villé [Ferdinand Villé], Henriot ; reprise par l’éditeur Alfred Sulzbach (1860-1927, Sulbac de son nom d’artiste) d’un ancien catalogue d’Émile Benoit (1896 medihal-00541669) utilisé sur plusieurs titres, à des dates différentes) ; datation impossible en l’état actuel de la recherche (par approximation, 1902 hypothèse à confirmer)
Catalogue Émile Benoit Éditeur : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” (“Le kiosque à ma sœur” / “La mère Philippe”)
No full textCatalogue Émile Benoit Éditeur, 13, Faubourg Saint Martin, Paris : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” ; titres : “Le kiosque à ma sœur” / “La mère Philippe” ; au verso de “Le Lion du désert” (exemplaire ré-édition) ; classement en six colonnes : titres, genres, auteurs, compositeurs, créées par, prix ; artistes créateurs crédités : Reschal, Sulbac, L. Chevalier [Louis Chevalier], Ouvrard [Éloi Ouvrard], Bourgès [Paul Bourgès], Legrand, Florentin, Fragson, Arnaud, Piter [Georges Piter], Polin, Queyriaux-Chicot [Antoine Queyriaux ; Émile Chicot], Caudieux, Libert, Paulus, Baldy [Armand Baldy (18..-19.. interprète)], Chaillier [Gustave Chaillier (1837-1910)], Duhem [Émile Duhem], Dufour, Romain,Teste [Auguste Teste], Ducastel. [Henri Gain dit Ducastel (1846-1885)], Réval [Jules Réval], Paulus, Volay, Mathieu, Berthelier [Jean-François Berthelier], Villé [Ferdinand Villé], Henriot ; catalogue utilisé sur plusieurs titres, à des dates différentes et par les propriétaires successifs de la maison d’édition ; datation exacte inconnue en l’état actuel de la recherche (beaucoup de titres absents du catalogue BNF), datation approximative par adresse de l’éditeur entre 1883 et 1897 (Dévriès & Lesure), par analyse des titres 1896 (à confirmer). Le catalogue contient plusieurs titres de Villemer-Delormel, exemples de chansons de Villemer-Delormel publiées par un éditeur classique. [mise à jour 04/10/2017
Catalogue Émile Benoit Éditeur : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” (“Le kiosque à ma sœur” / “La mère Philippe”)
No full textCatalogue Émile Benoit Éditeur, 13, Faubourg Saint Martin, Paris : “Succès parisiens / Chansonnettes comiques pour hommes (Suite)” ; titres : “Le kiosque à ma sœur” / “La mère Philippe” ; au verso de “Le Lion du désert” (exemplaire ré-édition) ; classement en six colonnes : titres, genres, auteurs, compositeurs, créées par, prix ; artistes créateurs crédités : Reschal, Sulbac, L. Chevalier [Louis Chevalier], Ouvrard [Éloi Ouvrard], Bourgès, Legrand, Florentin, Fragson, Arnaud, Piter [Georges Piter], Polin, Queyriaux-Chicot [Antoine Queyriaux & Émile Chicot], Caudieux, Libert, Paulus, Baldy, Chaillier [Gustave Chaillier (1837-1910)], Duhem [Émile Duhem], Dufour, Romain,Teste [Auguste Teste], Ducastel, Réval [Jules Réval], Paulus, Volay, Mathieu, Berthelier [Jean-François Berthelier], Villé [Ferdinand Villé], Henriot ; catalogue utilisé sur plusieurs titres, à des dates différentes et par les propriétaires successifs de la maison d’édition ; datation exacte inconnue en l’état actuel de la recherche (beaucoup de titres absents du catalogue BNF), datation approximative par adresse de l’éditeur entre 1883 et 1897 (Dévriès & Lesure), par analyse des titres 1896 (à confirmer). Le catalogue contient plusieurs titres de Villemer-Delormel, exemples de chansons de Villemer-Delormel publiées par un éditeur classique. [mise à jour 04/10/2017
Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications
No full textInternational audienceQuasi-adaptive non-interactive zero-knowledge (QA-NIZK) proofs is a powerful paradigm, suggested recently by Jutla and Roy (Asiacrypt '13), which is motivated by the Groth-Sahai seminal techniques for efficient non-interactive zero-knowledge (NIZK) proofs. In this paradigm, the common reference string may depend on specific language parameters, a fact that allows much shorter proofs in important cases. It even makes certain standard model applications competitive with the Fiat-Shamir heuristic in the Random Oracle idealization (such QA-NIZK proofs were recently optimized to constant size by Jutla and Roy (Crypto '14) and Libert et al. (Eurocrypt '14) for the important case of proving that a vector of group elements belongs to a linear subspace). While, e.g., the QA-NIZK arguments of Libert et al. provide unbounded simulation-soundness and constant proof length, their simulation-soundness is only loosely related to the underlying assumption (with a gap proportional to the number of adversarial queries) and it is unknown how to alleviate this limitation without sacrificing efficiency. Here, we deal with the basic question of whether and to what extent we can simultaneously optimize the proof size and the tightness of security reductions, allowing for important applications with tight security (which are typically to date quite lengthy) to be of shorter size. In this paper, we resolve this question by describing a novel simulation-sound QA-NIZK argument showing that a vector v ∈ G n belongs to a subspace of rank t < n using a constant number of group elements. Unlike previous constant-size QA-NIZK proofs of such statements, the unbounded simulation-soundness of our system is nearly tightly related (i.e., the reduction only loses a factor proportional to the security parameter) to the standard Decision Linear assumption. To show simulation-soundness in the constrained context of tight reductions, we employ a number of techniques, and explicitly point at a technique – which may be of independent interest – of hiding the linear span of a structure-preserving homomorphic signature (which is part of an OR proof). As an application, we design a public-key cryptosystem with almost tight CCA2-security in the multi-challenge, multiuser setting with improved length (asymptotically optimal for long messages). We also adapt our scheme to provide CCA security in the key-dependent message scenario (KDM-CCA2) with ciphertext length reduced by 75% when compared to the best known tightly secure KDM-CCA2 system so far
Analysis of Students' Preconceptions of Concurrency
No full textIn previous literature, several authors have recommended teaching concurrent programming, as the current evolution of IT involves concurrency. However, in order to teach concurrent programming properly, in a constructivist educational learning framework, we need to know the preconceptions students have regarding it. In this paper, we report on the results found from data collected through a questionnaire submitted in secondary schools to 101 students aged from 12 to 15. We detail the preconceptions of concurrent programming we extracted from the questionnaire answers and formulate recommendations toward creating a course teaching concurrent programming.</p
Vector Commitments With Proofs of Smallness: Short Range Proofs and More
No full textVector commitment schemes are compressing commitments to vectors that make it possible to succinctly open a commitment for individual vector positions without revealing anything about other positions. We describe vector commitments enabling constant-size proofs that the committed vector is small (i.e., binary, ternary, or of small norm). As a special case, we obtain range proofs featuring the shortest proof length in the literature with only group elements per proof. As another application, we obtain short pairing-based NIZK arguments for lattice-related statements. In particular, we obtain short proofs (comprised of group elements) showing the validity of ring LWE ciphertexts and public keys. Our constructions are proven simulation-extractable in the algebraic group model and the random oracle model
Simulation-Extractable KZG Polynomial Commitments and Applications to HyperPlonk
No full textHyperPlonk is a recent SNARK proposal (Eurocrypt\u2723) that features a linear-time prover and supports custom gates of larger degree than Plonk. For the time being, its instantiations are only proven to be knowledge-sound (meaning that soundness is only guaranteed when the prover runs in isolation) while many applications motivate the stronger notion of simulation-extractability (SE). Unfortunately, the most efficient SE compilers are not immediately applicable to multivariate polynomial interactive oracle proofs. To address this problem, we provide an instantiation of HyperPlonk for which we can prove simulation-extractability in a strong sense. As a crucial building block, we describe KZG-based commitments to multivariate polynomials that also provide simulation-extractability while remaining as efficient as malleable ones. Our proofs stand in the combined algebraic group and random oracle model and ensure straight-line extractability (i.e., without rewinding)
Leveraging Small Message Spaces for CCA1 Security in Additively Homomorphic and BGN-type Encryption
No full textWe show that the smallness of message spaces can be used as a checksum allowing to hedge against CCA1 attacks in additively homomorphic encryption schemes. We first show that the additively homomorphic variant of Damgård\u27s Elgamal provides IND-CCA1 security under the standard DDH assumption. Earlier proofs either required non-standard assumptions or only applied to hybrid versions of Damgård\u27s Elgamal, which are not additively homomorphic. Our security proof builds on hash proof systems and exploits the fact that encrypted messages must be contained in a polynomial-size interval in order to enable decryption. With group elements per ciphertext, this positions Damgård\u27s Elgamal as the most efficient/compact DDH-based additively homomorphic CCA1 cryptosystem. Under the same assumption, the best candidate so far was the lite Cramer-Shoup cryptosystem, where ciphertexts consist of group elements. We extend this observation to build an IND-CCA1 variant of the Boneh-Goh-Nissim encryption scheme, which allows evaluating 2-DNF formulas on encrypted data. By computing tensor products of Damgård\u27s Elgamal ciphertexts, we obtain product ciphertexts consisting of group elements (instead of elements if we were tensoring lite Cramer-Shoup ciphertexts) in the target group of a bilinear map. Using similar ideas, we also obtain a CCA1 variant of the Elgamal-Paillier cryptosystem by forcing plaintext bits to be zeroes, which yields CCA1 security almost for free. In particular, the message space remains exponentially large and ciphertexts are as short as in the IND-CPA scheme. We finally adapt the technique to the Castagnos-Laguillaumie system
- …
