Erscheinungsjahr
Format
Lizenz
Sprache
-
Making Masking Security Proofs Concrete Or How to Evaluate the Security of any Leaking Device
Freier ZugriffBASE | 2015|Schlagwörter: Security proofs -
Quasipolynomial size proofs of the propositional pigeonhole principle
Elsevier | 2015|Schlagwörter: Propositional proofs, Frege proofs, Extended Frege proofs -
Proofs of Catalytic Space
Freier ZugriffDataCite | 2019|Schlagwörter: Proofs of Replication, Proofs of Space -
Probabilistic yoking proofs for large scale IoT systems
Elsevier | 2015|Schlagwörter: Yoking proofs, Grouping proofs -
App-based scaffolds for writing two-column proofs
Taylor & Francis Verlag | 2019|Schlagwörter: Proofs, two-column proofs -
Probabilistic yoking proofs for large scale IoT systems
Freier ZugriffBASE | 2015|Schlagwörter: Yoking proofs, Grouping proofs -
Interactive Oracle Proofs with Constant Rate and Query Complexity
Freier ZugriffDataCite | 2017|Schlagwörter: probabilistically checkable proofs, interactive proofs -
Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs
Freier ZugriffBASE | 2019|Schlagwörter: Zero-Knowledge Proofs -
The Depth of Resolution Proofs
Online Contents | 2011|Schlagwörter: Resolution proofs, depth of proofs -
Simple Doubly-Efficient Interactive Proof Systems for Locally-Characterizable Sets
Freier ZugriffDataCite | 2018|Schlagwörter: Interactive proofs -
SSProve:A Foundational Framework for Modular Cryptographic Proofs in Coq
Freier ZugriffBASE | 2023|Schlagwörter: game-based proofs, machine-checked proofs, modular proofs, state-separating proofs -
Round Complexity Versus Randomness Complexity in Interactive Proofs
Freier ZugriffDataCite | 2018|Schlagwörter: Interactive Proofs -
Learning from Their Mistakes: Using Students' Incorrect Proofs as a Pedagogical Tool
Taylor & Francis Verlag | 2011|Schlagwörter: active reading of proofs, critical reading of proofs, incorrect proofs -
Reductio ad absurdum from a dialogical perspective
Freier ZugriffOnline Contents | 2016|Schlagwörter: Mathematical proofs -
Metadata Release of the Archive of Formal Proofs for Isabelle2021 (04-16)
Freier ZugriffBASE | 2021|Schlagwörter: formal proofs -
An Exponential Separation Between MA and AM Proofs of Proximity
Freier ZugriffOnline Contents | 2021|Schlagwörter: Interative proofs, proofs of proximity -
On the (In)Dependence of the Peano Axioms for Natural Numbers
Taylor & Francis Verlag | 2022|Schlagwörter: algebraic proofs, logical proofs -
Infinitary Proof Theory: the Multiplicative Additive Case
Freier ZugriffDataCite | 2016|Schlagwörter: Infinitary proofs -
Tightly secure signatures and public-key encryption
Online Contents | 2015|Schlagwörter: Groth–Sahai proofs, Tight security proofs
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.