A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella Abstract—Zero-knowled - Zero-knowledge proof - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic		A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: certicrypt.gforge.inria.fr Download Document from Source Website File Size: 281,03 KB Share Document on Facebook

	SKELETONS AND MODULI OF STOKES TORSORS by Jean-Baptiste Teyssier Abstract. — We prove an analogue for Stokes torsors of Deligne’s skeleton conjecture and deduce from it the representability of the functor of relative DocID: 1xW1q - View Document
	LEIBNIZ HOMOLOGY OF LIE ALGEBRAS AS FUNCTOR HOMOLOGY ERIC HOFFBECK AND CHRISTINE VESPA Abstract. We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from DocID: 1xVSt - View Document
	FUNCTOR CATEGORIES AND STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Tokyo, January 18-22, 2016. These lectures conce DocID: 1xUmg - View Document
	GENERIC REPRESENTATIONS OF ORTHOGONAL GROUPS: THE FUNCTOR CATEGORY Fquad CHRISTINE VESPA Abstract. In this paper, we define the functor category Fquad associated to F2 -vector spaces equipped with a quadratic form. We sh DocID: 1xTZ1 - View Document
	STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Copenhagen, part of ”Workshop and Masterclass on Homological stabilit DocID: 1xTxU - View Document