Short Accountable Ring Signatures Based on DDH Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, and Christophe Petit

First Page		Document Content
Date: 2016-09-01 06:28:04 Cryptography Public-key cryptography Digital signature IP Soundness Group signature Post-quantum cryptography Designated verifier signature Computational complexity theory		Short Accountable Ring Signatures Based on DDH Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, and Christophe Petit Add to Reading List Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 754,44 KB Share Document on Facebook

	Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca DocID: 1xVIK - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan · DocID: 1xV5B - View Document
	Type Soundness for Dependent Object Types (DOT) * Complete We sis DocID: 1xUdC - View Document
	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 DocID: 1xTFM - View Document
	Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin DocID: 1xTuC - View Document