×

Found 18,568 Documents (Results 1–100)

On stabilization of an explicit difference scheme for a nonlinear parabolic equation. (English. Russian original) Zbl 07637725

Dokl. Math. 106, No. 2, 326-331 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 506, 30-36 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Towards causal-consistent reversibility of imperative concurrent programs. (English) Zbl 07615952

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 213-223 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

A reversible debugger for imperative parallel programs with contracts. (English) Zbl 07615951

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 204-212 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Reversibility in Erlang: imperative constructs. (English) Zbl 07615950

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 187-203 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Formal translation from reversing Petri nets to coloured Petri nets. (English) Zbl 07615949

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 172-186 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Algeo: an algebraic approach to reversibility. (English) Zbl 07615946

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 128-145 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Certifying algorithms and relevant properties of reversible primitive permutations with Lean. (English) Zbl 07615945

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 111-127 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reordering decision diagrams for quantum computing is harder than you might think. (English) Zbl 07615944

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 93-107 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Directed graph encoding in quantum computing supporting edge-failures. (English) Zbl 07615943

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 75-92 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Constructing all qutrit controlled Clifford+\(T\) gates in Clifford+\(T\). (English) Zbl 07615940

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 28-50 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Optimization of quantum Boolean circuits by relative-phase Toffoli gates. (English) Zbl 07615939

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 20-27 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Secure non-interactive simulation: feasibility and rate. (English) Zbl 1497.68214

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13277, 767-796 (2022).
MSC:  68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

On building fine-grained one-way functions from strong average-case hardness. (English) Zbl 1497.68209

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 584-613 (2022).
MSC:  68Q10 68Q17 94A60
PDF BibTeX XML Cite
Full Text: DOI

SNARGs for P from sub-exponential DDH and QR. (English) Zbl 1497.68213

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 520-549 (2022).
MSC:  68Q10 68Q11 94A60
PDF BibTeX XML Cite
Full Text: DOI

Gemini: elastic SNARKs for diverse environments. (English) Zbl 1497.68208

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 427-457 (2022).
MSC:  68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

Adaptively secure computation for RAM programs. (English) Zbl 1497.68216

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 187-216 (2022).
MSC:  68Q11 68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

A PCP theorem for interactive proofs and applications. (English) Zbl 1497.68207

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 64-94 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Round-optimal black-box protocol compilers. (English) Zbl 1499.68118

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 210-240 (2022).
MSC:  68Q10 68N20 94A60
PDF BibTeX XML Cite
Full Text: DOI

Round-optimal and communication-efficient multiparty computation. (English) Zbl 1497.68210

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 65-95 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. (English) Zbl 1498.68014

Lecture Notes in Computer Science 13354. Cham: Springer (ISBN 978-3-031-09004-2/pbk; 978-3-031-09005-9/ebook). x, 239 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Euro-Par 2021: parallel processing workshops. Euro-Par 2021 international workshops, Lisbon, Portugal, August 30–31, 2021. Revised selected papers. (English) Zbl 1491.68014

Lecture Notes in Computer Science 13098. Cham: Springer (ISBN 978-3-031-06155-4/pbk; 978-3-031-06156-1/ebook). xv, 562 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

ECLIPSE: enhanced compiling method for Pedersen-committed zkSNARK engines. (English) Zbl 1499.68112

Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 584-614 (2022).
MSC:  68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

Reusable two-round MPC from LPN. (English) Zbl 1496.68057

Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 165-193 (2022).
MSC:  68M25 68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software