-
1Academic Journal
المساهمون: Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto = University of Porto, CRACS & Inesc TEC Porto, Institute IMDEA Software Madrid, Max Planck Institute for Security and Privacy Bochum (MPI SP), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming securely with cryptography (PROSECCO), Inria de Paris, Meta, ANR-17-CE39-0004,TECAP,Analyse de protocoles - unir les outils existants(2017), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)
المصدر: ISSN: 2471-2566.
مصطلحات موضوعية: Verification of Cryptographic Primitives, Formal Methods, Interactive Proof System, Complexity Analysis, [INFO]Computer Science [cs]
-
2Conference
المساهمون: Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto = University of Porto, Institute for Systems and Computer Engineering, Technology and Science Porto (INESC TEC), Max Planck Institute for Security and Privacy Bochum (MPI SP), Institute IMDEA Software Madrid, Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming securely with cryptography (PROSECCO), Inria de Paris, École polytechnique (X), Institut Polytechnique de Paris (IP Paris), ANR-17-CE39-0004,TECAP,Analyse de protocoles - unir les outils existants(2017)
المصدر: CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security ; https://hal.science/hal-03469015 ; CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2541-2563, ⟨10.1145/3460120.3484548⟩
مصطلحات موضوعية: Verification of Cryptographic Primitives, Formal Methods, Interactive Proof System, Complexity Analysis, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
جغرافية الموضوع: Virtual Event, South Korea
-
3Conference
المؤلفون: Malaquias, Felipe Lisboa, Asavoae, Mihail, Brandner, Florian
المساهمون: Secure and Safe Hardware (SSH), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris, Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Département Communications & Electronique (COMELEC), Télécom ParisTech, Autonomic and Critical Embedded Systems (ACES), Département Informatique et Réseaux (INFRES), Laboratoire Environnement de Conception & Architecture (LECA), Université Paris-Saclay-Département Systèmes et Circuits Intégrés Numériques (DSCIN (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), NASA Formal Methods
المصدر: NFM 2023 : NASA Formal Methods Symposium ; https://telecom-paris.hal.science/hal-04337961 ; NFM 2023 : NASA Formal Methods Symposium, NASA Formal Methods, May 2023, Houston (TX), United States. pp.295-311, ⟨10.1007/978-3-031-33170-1_18⟩
مصطلحات موضوعية: DRAM, Coq, Hardware Design and Verification, Code Generation, Interactive Proof System, [INFO]Computer Science [cs]
جغرافية الموضوع: Houston (TX), United States
Time: Houston (TX), United States
-
4Academic Journal
المصدر: Applied Sciences; Volume 10; Issue 2; Pages: 465
مصطلحات موضوعية: graph isomorphism, isomorphism of polynomials, interactive proof system, multivariate cryptography, zero-knowledge proof
جغرافية الموضوع: agris
وصف الملف: application/pdf
Relation: Computing and Artificial Intelligence; https://dx.doi.org/10.3390/app10020465
الاتاحة: https://doi.org/10.3390/app10020465
-
5Report
المؤلفون: Ebrahimi, Ehsan
مصطلحات موضوعية: Efficient Interactive Proof System, Post-quantum Security, Computational Zero-knowledge, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://orbilu.uni.lu/handle/10993/48607; info:hdl:10993/48607
-
6
المؤلفون: Lebenicnik, Marko
مصطلحات موضوعية: Decentralized Storage Network, Interactive Proof System, Hyperledger Sawtooth, Proof of Knowledge, IPFS, Proof by Reduction, Homomorphic Verifiable Tags, Blockchain, Proof of Storage, Proof of Retrievability, Validator, Transaction Handler, Interactive Turing Machine, Provable Data Possession, Dynamic Proxy
وصف الملف: kein Volltext verfügbar
-
7
المؤلفون: Carla Ràfols, Arantxa Zapico
المصدر: Advances in Cryptology – CRYPTO 2021 ISBN: 9783030842413
CRYPTO (1)مصطلحات موضوعية: Theoretical computer science, Computer Science::Discrete Mathematics, business.industry, Computer science, Pairing, Core (graph theory), Interactive proof system, Gas meter prover, Algebraic number, Characterization (mathematics), Modular design, business, Subspace topology
-
8
المؤلفون: Lebenicnik, Marko
مصطلحات موضوعية: Merkle DAG, Ditributed ledger, Smart Contract, Proof of Replication, Global State Datenbank, IPFS, Byzantine fault tolerance, Blockchain, Verifier, Storage Provider, Global State Database, Universally Unique Identifier, Transaction Family, Transaction Processor, Byzantinische Fehlertoleranz, Provable Data Possession, Content Identifier, Decentralized Storage Network, Hyperledger Sawtooth, Radix Merkle Tree, Interactive proof system, Proof of Work, Proof of Storage, Sybil Identitäten, Sybil identities, Nicht-Deduplizierbare Replika, Non-Deduplicable Replicas, Proof of Spacetime
وصف الملف: kein Volltext verfügbar
-
9
المؤلفون: Mark M. Wilde
المصدر: ISIT
مصطلحات موضوعية: FOS: Computer and information sciences, Quantum Physics, Bell state, Computer science, Computer Science - Information Theory, Information Theory (cs.IT), Measure (physics), FOS: Physical sciences, Interactive proof system, 020206 networking & telecommunications, 02 engineering and technology, Quantum channel, 01 natural sciences, Superposition principle, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Quantum Physics (quant-ph), 010306 general physics, Algorithm, Quantum, Computer Science::Information Theory, Communication channel
-
10Academic Journal
المؤلفون: Xiaohui Liang, Zhenfu Cao, Jun Shao, Huang Lin
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://eprint.iacr.org/2007/450.pdf.
مصطلحات موضوعية: Group signature, standard model, short signature, non-interactive proof system
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.7991; http://eprint.iacr.org/2007/450.pdf
-
11
المؤلفون: Anne Broadbent
المصدر: Theory of Computing. 14:1-37
مصطلحات موضوعية: Computational complexity theory, Computer science, Computation, Interactive proof system, Quantum entanglement, Gas meter prover, 01 natural sciences, 010305 fluids & plasmas, Theoretical Computer Science, Computational Theory and Mathematics, Quantum cryptography, BQP, 0103 physical sciences, 010306 general physics, Algorithm, Quantum computer
-
12Academic Journal
المؤلفون: Suguru TAMAKI
المصدر: Interdisciplinary Information Sciences. 2015, 21(4):289
-
13
المؤلفون: Vinod Vaikuntanathan, Alex Lombardi
المصدر: Advances in Cryptology – CRYPTO 2020 ISBN: 9783030568764
CRYPTO (3)مصطلحات موضوعية: Optimal learning, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Theoretical computer science, Argument, Computer science, Interactive proof system, Context (language use), Data_CODINGANDINFORMATIONTHEORY, PPAD, Standard model (cryptography)
-
14
المؤلفون: Anne Broadbent, Fang Song, John Watrous, Zhengfeng Ji
المصدر: FOCS
مصطلحات موضوعية: FOS: Computer and information sciences, Work (thermodynamics), Computer Science - Cryptography and Security, General Computer Science, Computer science, Generalization, General Mathematics, Computation, FOS: Physical sciences, 0102 computer and information sciences, Computer Science::Computational Complexity, Gas meter prover, 01 natural sciences, Computation Theory & Mathematics, 0103 physical sciences, Calculus, Complexity class, 0101 Pure Mathematics, 0802 Computation Theory and Mathematics, 010306 general physics, Quantum, Quantum computer, Discrete mathematics, Quantum Physics, Interactive proof system, TheoryofComputation_GENERAL, 010201 computation theory & mathematics, ComputerSystemsOrganization_MISCELLANEOUS, Commitment scheme, Zero-knowledge proof, Quantum Physics (quant-ph), Cryptography and Security (cs.CR)
وصف الملف: application/pdf
-
15
المؤلفون: Ulrich Berger, Hideki Tsuiki, Olga Petrovska
المصدر: Lecture Notes in Computer Science ISBN: 9783030514655
CiEمصطلحات موضوعية: Soundness, Computer science, Programming language, Coinduction, Interactive proof system, 0102 computer and information sciences, Fixed point, Mathematical proof, computer.software_genre, 01 natural sciences, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, computer
-
16
المؤلفون: Charles Rackoff, Silvio Micali, Shafi Goldwasser
المصدر: Providing Sound Foundations for Cryptography
مصطلحات موضوعية: Knowledge management, Correctness, Computational complexity theory, business.industry, Computer science, Proof assistant, Proof of knowledge, Interactive proof system, Proposition, Mathematical proof, Algebra, Knowledge complexity, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Quadratic equation, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Graph (abstract data type), business, Hamiltonian (control theory)
-
17Academic Journal
المؤلفون: V. Arvind, Johannes Köbler
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Lowness, self-reducible set, interactive proof system, probabilistic class, function class, program checker
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.9754; http://samy.informatik.hu-berlin.de/Institut/struktur/algorithmenII/Papers/zpp.ps.gz
-
18
المصدر: Proceedings of the National Academy of Sciences. 113:8618-8623
مصطلحات موضوعية: 0301 basic medicine, Engineering, Multidisciplinary, business.industry, Poison control, Interactive proof system, Cryptography, 010403 inorganic & nuclear chemistry, Computer security, computer.software_genre, Object (computer science), 01 natural sciences, 0104 chemical sciences, 03 medical and health sciences, 030104 developmental biology, Software, Warhead, Computer engineering, Physical Sciences, Cryptographic hash function, business, Protocol (object-oriented programming), computer
-
19
المؤلفون: Ben Fisch
المصدر: Advances in Cryptology – EUROCRYPT 2019 ISBN: 9783030176556
EUROCRYPT (2)مصطلحات موضوعية: Discrete mathematics, Degree (graph theory), Computer science, Expander graph, Interactive proof system, Space (mathematics), Mathematical proof, Replication (computing)
-
20
المؤلفون: Ron D. Rothblum, Tom Gur
المصدر: ITCS
مصطلحات موضوعية: Statement (computer science), Discrete mathematics, Property testing, 0209 industrial biotechnology, Theoretical computer science, Sublinear function, Property (programming), General Mathematics, Multiplicative function, Interactive proof system, 0102 computer and information sciences, 02 engineering and technology, Mathematical proof, 01 natural sciences, Theoretical Computer Science, QA76, Computational Mathematics, 020901 industrial engineering & automation, Computational Theory and Mathematics, 010201 computation theory & mathematics, Probabilistically checkable proof, Mathematics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28e67ab61948086ab437da41cd61e74c
http://wrap.warwick.ac.uk/113748/1/WRAP-non-interactive -proofs-proximity-Gur-2018.pdf
Full Text Finder