×

Found 19,361 Documents (Results 1–100)

Optimal eventual Byzantine agreement protocols with omission failures. (English) Zbl 07824331

Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 244-252 (2023).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Advanced intelligent systems and reasoning: standardization, experimentation, explanation. (English) Zbl 07823008

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 3-20 (2023).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: Link

Steiner’s Wittgenstein. (English) Zbl 07803654

Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 345-376 (2023).
MSC:  00A30
PDFBibTeX XMLCite
Full Text: DOI

Toward practical lattice-based proof of knowledge from Hint-MLWE. (English) Zbl 07800244

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14085, 549-580 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Efficient hybrid exact/relaxed lattice proofs and applications to rounding and VRFs. (English) Zbl 07800242

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14085, 484-517 (2023).
MSC:  94A60 81P94
PDFBibTeX XMLCite
Full Text: DOI

Algebraic reductions of knowledge. (English) Zbl 07800224

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14084, 669-701 (2023).
MSC:  94A60 94A05
PDFBibTeX XMLCite
Full Text: DOI

Horst meets Fluid-SPN: Griffin for zero-knowledge applications. (English) Zbl 07799268

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14083, 573-606 (2023).
MSC:  94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

New design techniques for efficient arithmetization-oriented hash functions: Anemoi permutations and Jive compression mode. (English) Zbl 07799266

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14083, 507-539 (2023).
MSC:  68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Individual cryptography. (English) Zbl 07799233

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 547-579 (2023).
MSC:  94A60 94A62
PDFBibTeX XMLCite
Full Text: DOI

A framework for practical anonymous credentials from lattices. (English) Zbl 07799228

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 384-417 (2023).
MSC:  94A62 94A60
PDFBibTeX XMLCite
Full Text: DOI

Non-interactive universal arguments. (English) Zbl 07799220

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 132-158 (2023).
MSC:  94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

Orbweaver: succinct linear functional commitments from lattices. (English) Zbl 07799219

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 106-131 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Non-interactive zero-knowledge from non-interactive batch arguments. (English) Zbl 07799217

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 38-71 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Secure multiparty computation from threshold encryption based on class groups. (English) Zbl 07799108

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 613-645 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Security-preserving distributed samplers: how to generate any CRS in one round without random oracles. (English) Zbl 07799104

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 489-514 (2023).
MSC:  94A60 68M12
PDFBibTeX XMLCite
Full Text: DOI

Reusable secure computation in the plain model. (English) Zbl 07799102

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 427-458 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Arithmetic sketching. (English) Zbl 07799094

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 171-202 (2023).
PDFBibTeX XMLCite
Full Text: DOI

MinRank in the head. Short signatures from zero-knowledge proofs. (English) Zbl 07798827

El Mrabet, Nadia (ed.) et al., Progress in cryptology – AFRICACRYPT 2023. 14th international conference on cryptology in Africa, Sousse, Tunisia, July 19–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14064, 3-27 (2023).
MSC:  94A62 94A60 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Mathematics and ChatGPT. A rendezvous at the foot of the technological singularity. (Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität.) (German) Zbl 07796262

Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Weakest link in formal argumentation: lookahead and principle-based analysis. (English) Zbl 07789763

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 61-83 (2023).
MSC:  68-06 68T27
PDFBibTeX XMLCite
Full Text: DOI

Modal and justification logics for multi-agent systems (invited talk). (English) Zbl 1528.68363

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 3-8 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Relational concept analysis in practice: capitalizing on data modeling using design patterns. (English) Zbl 07786589

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 166-182 (2023).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Description quivers for compact representation of concept lattices and ensembles of decision trees. (English) Zbl 07786586

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 127-142 (2023).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Three views on dependency covers from an FCA perspective. (English) Zbl 07786583

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 78-94 (2023).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

On the commutative diagrams among Galois connections involved in closure structures. (English) Zbl 07786581

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 49-63 (2023).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Doubly-lexical order supports standardisation and recursive partitioning of formal context. (English) Zbl 07786579

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 17-32 (2023).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Short signatures from regular syndrome decoding in the head. (English) Zbl 1528.94092

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14008, 532-563 (2023).
MSC:  94A62 94A60 81P94
PDFBibTeX XMLCite
Full Text: DOI

Asymmetric group message franking: definitions and constructions. (English) Zbl 1528.94063

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14008, 67-97 (2023).
MSC:  94A60 94A62
PDFBibTeX XMLCite
Full Text: DOI

On Valiant’s conjecture. Impossibility of incrementally verifiable computation from random oracles. (English) Zbl 07773995

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 438-469 (2023).
MSC:  68Q10 94A60
PDFBibTeX XMLCite
Full Text: DOI

Supersingular curves you can trust. (English) Zbl 07773994

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 405-437 (2023).
MSC:  94A60 14G50 11G07
PDFBibTeX XMLCite
Full Text: DOI

Witness-succinct universally-composable SNARKs. (English) Zbl 07773991

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 315-346 (2023).
MSC:  94A60 68P25 68N20
PDFBibTeX XMLCite
Full Text: DOI

Advances in databases and information systems. 27th European conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023. Proceedings. (English) Zbl 1527.68005

Lecture Notes in Computer Science 13985. Cham: Springer (ISBN 978-3-031-42913-2/pbk; 978-3-031-42914-9/ebook). xxii, 254 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Graph-based representation and reasoning. 28th international conference on conceptual structures, ICCS 2023, Berlin, Germany, September 11–13, 2023. Proceedings. (English) Zbl 07767951

Lecture Notes in Computer Science 14133. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-40959-2/pbk; 978-3-031-40960-8/ebook). xviii, 206 p. (2023).
MSC:  68-06 68T30 00B25
PDFBibTeX XMLCite
Full Text: DOI

Dew: a transparent constant-sized polynomial commitment scheme. (English) Zbl 1526.94020

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 542-571 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Zero-knowledge arguments for subverted RSA groups. (English) Zbl 1526.94035

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 512-541 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Fine-grained verifier NIZK and its applications. (English) Zbl 1526.94038

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 482-511 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

A generic transform from multi-round interactive proof to NIZK. (English) Zbl 1526.94031

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 461-481 (2023).
MSC:  94A60 81P94
PDFBibTeX XMLCite
Full Text: DOI

Private polynomial commitments and applications to MPC. (English) Zbl 1526.94026

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 127-158 (2023).
MSC:  94A60 94A62
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software