Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures

We propose different implementations of the sparse matrix--dense vector multiplication (\spmv{}) for finite fields and rings \Zb/m\Zb. We take advantage of graphic card processors (GPU) and multi-core architectures. Our aim is to improve the speed of \spmv{} in the \linbox library, and henceforth the speed of its black box algorithms. Besides, we use this and a new parallelization of the sigma-basis algorithm in a parallel block Wiedemann rank implementation over finite fields

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Akari, Takuzu, Kakuro and KenKen are logic games similar to Sudoku. In Akari, a labyrinth on a grid has to be lit by placing lanterns, respecting various constraints. In Takuzu a grid has to be filled with 0's and 1's, while respecting certain constraints. In Kakuro a grid has to be filled with numbers such that the sums per row and column match given values; similarly in KenKen a grid has to be filled with numbers such that in given areas the product, sum, difference or quotient equals a given value. We give physical algorithms to realize zero-knowledge proofs for these games which allow a player to show that he knows a solution without revealing it. These interactive proofs can be realized with simple office material as they only rely on cards and envelopes. Moreover, we formalize our algorithms and prove their security.Comment: FUN with algorithms 2016, Jun 2016, La Maddalena, Ital

Private Multi-party Matrix Multiplication and Trust Computations

This paper deals with distributed matrix multiplication. Each player owns only one row of both matrices and wishes to learn about one distinct row of the product matrix, without revealing its input to the other players. We first improve on a weighted average protocol, in order to securely compute a dot-product with a quadratic volume of communications and linear number of rounds. We also propose a protocol with five communication rounds, using a Paillier-like underlying homomorphic public key cryptosystem, which is secure in the semi-honest model or secure with high probability in the malicious adversary model. Using ProVerif, a cryptographic protocol verification tool, we are able to check the security of the protocol and provide a countermeasure for each attack found by the tool. We also give a randomization method to avoid collusion attacks. As an application, we show that this protocol enables a distributed and secure evaluation of trust relationships in a network, for a large class of trust evaluation schemes.Comment: Pierangela Samarati. SECRYPT 2016 : 13th International Conference on Security and Cryptography, Lisbonne, Portugal, 26--28 Juillet 2016. 201

Brandt's fully private auction protocol revisited

International audienceAuctions have a long history, having been recorded as early as 500 B.C. [Kri02]. Nowadays, electronic auctions have been a great success and are increasingly used in various applications, including high performance computing [BAGS02]. Many cryptographic protocols have been proposed to address the various security requirements of these electronic transactions, in particular to ensure privacy. Brandt [Bra06] developed a protocol that computes the winner using homomorphic operations on a distributed ElGamal encryption of the bids. He claimed that it ensures full privacy of the bidders, i.e. no information apart from the winner and the winning price is leaked. We first show that this protocol – when using malleable interactive zero-knowledge proofs – is vulnerable to attacks by dishonest bidders. Such bidders can manipulate the publicly available data in a way that allows the seller to deduce all participants' bids. We provide an efficient parallelized implementation of the protocol and the attack to show its practicality. Additionally we discuss some issues with verifiability as well as attacks on non-repudiation, fairness and the privacy of individual bidders exploiting authentication problems

Phénoménologie linguistique, mutisme des sens et normativité chez John L. Austin

Nombre de travaux contemporains en philosophie de la perception s’inspirent de l’ouvrage Sense and Sensibilia du philosophe anglais John L. Austin (1911-1960). En examinant le langage ordinaire pour reconnaître la diversité des phénomènes perceptifs, Austin vise entre autres à démontrer l’impossibilité de les réduire aux catégories métaphysiques traditionnelles. Charles Travis est de ceux qui se sont risqués à réinvestir la phénoménologie linguistique d’Austin. Se réclamant ouvertement d’Austin qui soutenait que « nos sens sont muets », il développera la thèse du silence des sens selon laquelle la perception n’aurait pas un contenu représentationnel. Cette thèse aura une grande influence sur Jocelyn Benoist, qui reprendra à son compte l’idée selon laquelle la perception n’est pas intentionnelle. Travis et Benoist s’entendent donc pour dire qu’en tant que la perception est silencieuse — et donc non-conceptuelle — elle ne peut être intentionnelle. Or, il s’en suivrait alors que la phénoménologie serait fondamentalement incompatible avec la radicalité de leur critique réciproque contre le représentationnalisme, basée sur la thèse d’inspiration austinienne du silence des sens. L’intuition à l’origine de ce mémoire réside dans la perspective selon laquelle ces conclusions constitueraient en fait une radicalisation de la thèse véritablement défendue par Austin, le mutisme n’étant pas synonyme de silence. Si Austin a pu démontrer très efficacement l’autonomie de la perception par rapport au langage, la reprise de cette idée chez Travis et Benoist les a menés à une thèse plus radicale selon laquelle la perception ne serait pas une activité que l’on pourrait qualifier de normative. Partant de cette idée, j’interroge la portée et les limites de la thèse d’Austin et de ses héritiers en examinant le rôle de la normativité en jeu dans la perception. Dans ce mémoire, je soutiens que les conclusions que Travis et Benoist tirent de la thèse du silence des sens qu’ils attribuent à Austin constituent en fait une radicalisation de la position véritablement défendue par l’Oxonien. La thèse de Travis et Benoist doit être nuancée dans la mesure où d’autres types de normes jouent un rôle transcendantal pour la perception. Dès lors que l’on considère l’expérience sensible, non pas comme une activité exclusivement épistémique et cognitive, mais comme une pratique incarnée, la thèse du mutisme des sens devient compatible avec une conception normative de la perception.Much contemporary work in philosophy of perception draws on the work Sense and Sensibilia by the English philosopher John L. Austin (1911-1960). By examining ordinary language to recognize the diversity of perceptual phenomena, Austin aims, among other things, to demonstrate the impossibility of reducing them to traditional metaphysical categories. Charles Travis is one of those who have ventured to reinvest Austin's linguistic phenomenology. Following in the footsteps of Austin, who maintained that "our senses are dumb", he developed the thesis of the silence of the senses, according to which perception has no representational content. This thesis had a major influence on Jocelyn Benoist, who took up the idea that perception is not intentional. Travis and Benoist agree that since perception is silent - and therefore non-conceptual - it cannot be intentional. It would then follow that phenomenology would be fundamentally incompatible with the radicalness of their reciprocal critique of representationalism based on Austin’s inspired thesis of the silence of the senses. The intuition behind this dissertation lies in the prospect that these conclusions might in fact constitute a radicalization of the thesis actually defended by Austin, since mutism is not synonymous with silence. If Austin demonstrated very effectively the autonomy of perception in relation to language, the revival of this idea by Travis and Benoist led them to a much more radical thesis, according to which perception would not be an activity that can be described as normative. Based on this idea, I question the scope and limits of the thesis of Austin and his heirs by examining the role of normativity at play in perception. In this dissertation, I argue that the conclusions Travis and Benoist draw from the silence of the senses thesis they attribute to Austin are in fact a radicalization of the position actually defended by the Oxonian. Travis and Benoist's thesis must be tempered insofar as other types of norms play a transcendental role for perception. As soon as we consider sensible experience not as an exclusively epistemic and cognitive activity, but as an embodied practice, the thesis of the mutism of the senses becomes compatible with a normative conception of perception

Éros, amour et sexualité : la paiderastía dans le Banquet de Platon

Le texte du Banquet de Platon constitue l’un des témoignages les plus importants de ce que fut l’institution pédérastique en Grèce antique. Le dialogue sur l’amour, qui prend la forme d’une réunion au cours de laquelle les différents protagonistes feront successivement l’éloge d’Éros, pose toutefois problème dans la mesure où la position de l’auteur est éminemment ambigüe. Bien que la position de Diotime semble plus cohérente avec le reste de la doctrine platonicienne, il serait malgré tout réducteur de considérer celle de Pausanias comme un simple détour rhétorique opéré par Platon. Ainsi, il s’agira de montrer dans quelle mesure la position de Pausanias mérite une attention particulière. Il semble en effet que la thèse platonicienne, bien que réticente à encourager les relations homosexuelles charnelles, ne consiste pas en une réfutation complète des conclusions de Pausanias

L’envers de la superinternalité

Afin d’échapper au dilemme de la fondation, Karen Bennett a proposé une thèse selon laquelle la relation de fondation serait superinterne, c’est-à-dire qu’elle reposerait entièrement sur la nature du relatum de gauche. Si cette approche peut de prime abord sembler particulièrement convaincante en raison de sa simplicité et de son élégance, un examen plus minutieux révèle toutefois d’importantes difficultés. Dans cet article, j’élabore de nombreuses critiques contre la thèse de la superinternalité qui s’avère moins intuitive qu’elle ne le laisse paraître. Je considère ensuite l’alternative que représente la sémantique métaphysique développée par Ted Sider

L’envers de la superinternalité

Afin d’échapper au dilemme de la fondation, Karen Bennett a proposé une thèse selon laquelle la relation de fondation serait superinterne, c’est-à-dire qu’elle reposerait entièrement sur la nature du relatum de gauche. Si cette approche peut de prime abord sembler particulièrement convaincante en raison de sa simplicité et de son élégance, un examen plus minutieux révèle toutefois d’importantes difficultés. Dans cet article, j’élabore de nombreuses critiques contre la thèse de la superinternalité qui s’avère moins intuitive qu’elle ne le laisse paraître. Je considère ensuite l’alternative que représente la sémantique métaphysique développée par Ted Sider