×

Found 6,516 Documents (Results 1–100)

100
MathJax

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

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

Abelian networks IV. Dynamics of nonhalting networks. (English) Zbl 1485.05074

Memoirs of the American Mathematical Society 1358. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5141-7/pbk; 978-1-4704-7024-1/ebook). vii, 89 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Quantum logical depth and shallowness of streaming data by one-way quantum finite-state transducers (preliminary report). (English) Zbl 07553911

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 177-193 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Non-instantaneous information transfer in physical reservoir computing. (English) Zbl 07553910

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 164-176 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems. (English) Zbl 07553909

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 149-163 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Fractal dimension of assemblies in the abstract tile assembly model. (English) Zbl 07553907

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 116-130 (2021).
PDF BibTeX XML Cite
Full Text: DOI

String assembling systems: comparison to sticker systems and decidability. (English) Zbl 07553906

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 101-115 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Affine automata verifiers. (English) Zbl 07553905

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 84-100 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Quantum algorithm for Dyck language with multiple types of brackets. (English) Zbl 07553904

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 68-83 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Zero-knowledge proof protocol for cryptarithmetic using dihedral cards. (English) Zbl 07553903

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 51-67 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Robust real-time computing with chemical reaction networks. (English) Zbl 07553902

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 35-50 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Computing with magnetic thin films: using film geometry to improve dynamics. (English) Zbl 07553901

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 19-34 (2021).
PDF BibTeX XML Cite
Full Text: DOI

The complexity of multiple handed self-assembly. (English) Zbl 07553900

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 1-18 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Cross-domain attribute-based access control encryption. (English) Zbl 07550481

Conti, Mauro (ed.) et al., Cryptology and network security. 20th international conference, CANS 2021, Vienna, Austria, December 13–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13099, 3-23 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Secure multiparty computation in the bounded storage model. (English) Zbl 07550474

Paterson, Maura B. (ed.), Cryptography and coding. 18th IMA international conference, IMACC 2021, virtual event, December 14–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13129, 289-325 (2021).
PDF BibTeX XML Cite
Full Text: DOI

A logarithmic lower bound for oblivious RAM (for all Parameters). (English) Zbl 07529212

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 579-609 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Non-interactive batch arguments for NP from standard assumptions. (English) Zbl 1486.68079

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 394-423 (2021).
MSC:  68Q15 68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

An efficient passive-to-active compiler for honest-majority MPC over rings. (English) Zbl 07493507

Sako, Kazue (ed.) et al., Applied cryptography and network security. 19th international conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12727, 122-152 (2021).
PDF BibTeX XML Cite
Full Text: DOI

On the power of multiple anonymous messages: frequency estimation and selection in the shuffle model of differential privacy. (English) Zbl 1477.68101

Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12698, 463-488 (2021).
MSC:  68P27 68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

Towards accountability in CRS generation. (English) Zbl 1479.94112

Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12698, 278-308 (2021).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. (English) Zbl 07426853

Lecture Notes in Computer Science 12984. Cham: Springer (ISBN 978-3-030-87992-1/pbk; 978-3-030-87993-8/ebook). xxii, 195 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Fast swapping in a quantum multiplier modelled as a queuing network. (English) Zbl 07419496

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 256-265 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Finding optimal implementations of non-native CNOT gates using SAT. (English) Zbl 07419495

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 242-255 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Efficient construction of functional representations for quantum algorithms. (English) Zbl 07419494

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 227-241 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Splitting recursion schemes into reversible and classical interacting threads. (English) Zbl 07419491

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 204-213 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards a truly concurrent semantics for reversible CCS. (English) Zbl 07419486

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 109-125 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Towards a unified language architecture for reversible object-oriented programming. (English) Zbl 07419485

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 96-106 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Causal-consistent debugging of distributed Erlang programs. (English) Zbl 07419484

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 79-95 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Formal verification of integer multiplier circuits using algebraic reasoning: a survey. (English) Zbl 07410738

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 1-27 (2021).
MSC:  68V15 68Q06
PDF BibTeX XML Cite
Full Text: DOI

Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. (English) Zbl 1473.68021

Lecture Notes in Computer Science 12805. Cham: Springer (ISBN 978-3-030-79836-9/pbk; 978-3-030-79837-6/ebook). xii, 275 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism. (English) Zbl 1483.68224

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 35-53 (2020).
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Encoding reversing Petri nets in answer set programming. (English) Zbl 07368061

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 264-271 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Towards a formal account for software transactional memory. (English) Zbl 07368060

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 255-263 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Search-based transformation synthesis for 3-valued reversible circuits. (English) Zbl 07368057

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 218-236 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem. (English) Zbl 07368055

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 189-205 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Fractional types. Expressive and safe space management for ancilla bits. (English) Zbl 07368054

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 169-186 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

A tutorial introduction to quantum circuit programming in dependently typed proto-quipper. (English) Zbl 07368053

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 153-168 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress. (English) Zbl 07368052

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 144-152 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Event structures for the reversible early internal \(\pi\)-calculus. (English) Zbl 07368048

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 71-90 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reversible occurrence nets and causal reversible prime event structures. (English) Zbl 07368046

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 35-53 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems. (English) Zbl 07368045

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 3-32 (2020).
MSC:  68Q09 68Q10 81P68
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

Classification

all top 3

Software