×

Found 662 Documents (Results 1–100)

100
MathJax

A simple post-quantum non-interactive zero-knowledge proof from garbled circuits. (English) Zbl 07551626

Yu, Yu (ed.) et al., Information security and cryptology. 17th international conference, Inscrypt 2021, virtual event, August 12–14, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13007, 269-280 (2021).
MSC:  94A60 81P94
PDF BibTeX XML Cite
Full Text: DOI

A focus system for the alternation-free \(\mu \)-calculus. (English) Zbl 07532527

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 371-388 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Mac’n’Cheese: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions. (English) Zbl 07529196

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, 92-122 (2021).
MSC:  94A60 94D10
PDF BibTeX XML Cite
Full Text: DOI

An algebraic framework for universal and updatable SNARKs. (English) Zbl 1485.94116

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 I. Cham: Springer. Lect. Notes Comput. Sci. 12825, 774-804 (2021).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Adaptive-secure identity-based inner-product functional encryption and its leakage-resilience. (English) Zbl 07553890

Bhargavan, Karthikeyan (ed.) et al., Progress in cryptology – INDOCRYPT 2020. 21st international conference on cryptology in India, Bangalore, India, December 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12578, 666-690 (2020).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

A complete proof system for 1-free regular expressions modulo bisimilarity. (English) Zbl 07299489

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 465-478 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Noninteractive zero knowledge for NP from (Plain) Learning With Errors. (English) Zbl 1456.94106

Boldyreva, Alexandra (ed.) et al., Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11692, 89-114 (2019).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI

A hypersequent calculus with clusters for data logic over ordinals. (English) Zbl 1435.03057

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 166-184 (2019).
PDF BibTeX XML Cite
Full Text: DOI HAL

Fine-grained cryptography revisited. (English) Zbl 1458.94232

Galbraith, Steven D. (ed.) et al., Advances in cryptology – ASIACRYPT 2019. 25th international conference on the theory and application of cryptology and information security, Kobe, Japan, December 8–12, 2019. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 11923, 637-666 (2019).
MSC:  94A60 94C05
PDF BibTeX XML Cite
Full Text: DOI

On distributed Merlin-Arthur decision protocols. (English) Zbl 07176660

Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 230-245 (2019).
MSC:  68Mxx 68R10
PDF BibTeX XML Cite
Full Text: DOI

Strong leakage and tamper-resilient PKE from refined hash proof system. (English) Zbl 1458.94315

Deng, Robert H. (ed.) et al., Applied cryptography and network security. 17th international conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11464, 486-506 (2019).
MSC:  94A62 94A60
PDF BibTeX XML Cite
Full Text: DOI

Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup. (English) Zbl 1465.94056

Lin, Dongdai (ed.) et al., Public-key cryptography – PKC 2019. 22nd IACR international conference on practice and theory of public-key cryptography, Beijing, China, April 14–17, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11442, 286-313 (2019).
PDF BibTeX XML Cite
Full Text: DOI

A hypersequent calculus with clusters for tense logic over ordinals. (English) Zbl 07561320

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 15, 19 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Non-wellfounded proof theory for (Kleene+action)(algebras+lattices). (English) Zbl 07533344

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Towards a unified complexity theory of total functions. (English) Zbl 1462.68062

Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 37, 20 p. (2018).
MSC:  68Q15 68Q19
PDF BibTeX XML Cite
Full Text: DOI

Reasoning about prescription and description using prioritized default rules. (English) Zbl 1415.68217

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 196-213 (2018).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

No-signaling linear PCPs. (English) Zbl 1443.94068

Beimel, Amos (ed.) et al., Theory of cryptography. 16th international conference, TCC 2018, Panaji, India, November 11–14, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11239, 67-97 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Anonymous identity-based hash proof system from lattices in the standard model. (English) Zbl 1444.94081

Susilo, Willy (ed.) et al., Information security and privacy. 23rd Australasian conference, ACISP 2018, Wollongong, NSW, Australia, July 11–13, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10946, 539-557 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

CSimpl: a rely-guarantee-based framework for verifying concurrent programs. (English) Zbl 1452.68053

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 481-498 (2017).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Representations of monotone Boolean functions by linear programs. (English) Zbl 1440.68078

O’Donnell, Ryan (ed.), 32nd computational complexity conference, CCC 2017, July 6–9, 2017, Riga, Latvia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 79, Article 3, 14 p. (2017).
MSC:  68Q06 03F20 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Public-key encryption with simulation-based sender selective-opening security. (English) Zbl 1439.94080

Okamoto, Tatsuaki (ed.) et al., Provable security. 11th international conference, ProvSec 2017, Xi’an, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10005, 361-380 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Hierarchical functional encryption for linear transformations. (English) Zbl 1386.94091

Pieprzyk, Josef (ed.) et al., Information security and privacy. 22nd Australasian conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-60054-3/pbk; 978-3-319-60055-0/ebook). Lecture Notes in Computer Science 10342, 23-43 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI Link

Total nondeterministic Turing machines and a p-optimal proof system for SAT. (English) Zbl 1489.68095

Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 364-374 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Leakage-resilient IND-CCA KEM from the extractable hash proofs with indistinguishability obfuscation. (English) Zbl 1404.94083

Chen, Kefei (ed.) et al., Information security and cryptology. 12th international conference, Inscrypt 2016, Beijing, China, November 4–6, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-54704-6/pbk; 978-3-319-54705-3/ebook). Lecture Notes in Computer Science 10143, 291-308 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Achieving IND-CCA security for functional encryption for inner products. (English) Zbl 1372.94447

Chen, Kefei (ed.) et al., Information security and cryptology. 12th international conference, Inscrypt 2016, Beijing, China, November 4–6, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-54704-6/pbk; 978-3-319-54705-3/ebook). Lecture Notes in Computer Science 10143, 119-139 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Constructions secure against receiver selective opening and chosen ciphertext attacks. (English) Zbl 1383.94024

Handschuh, Helena (ed.), Topics in cryptology – CT-RSA 2017. The cryptographers’ track at the RSA conference 2017, San Francisco, CA, USA, February 14–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52152-7/pbk; 978-3-319-52153-4/ebook). Lecture Notes in Computer Science 10159, 417-431 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

From subsystems of analysis to subsystems of set theory. (English) Zbl 1439.03104

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 319-338 (2016).
MSC:  03F35 03E30
PDF BibTeX XML Cite
Full Text: DOI

Poly-logarithmic Frege depth lower bounds via an expander switching lemma. (English) Zbl 1373.03125

Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 644-657 (2016).
MSC:  03F20 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Axiomatizations for propositional and modal team logic. (English) Zbl 1370.03047

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 33, 18 p. (2016).
MSC:  03B70 03B05 03B45
PDF BibTeX XML Cite
Full Text: DOI

Efficient IBE with tight reduction to standard assumption in the multi-challenge setting. (English) Zbl 1407.94111

Cheon, Jung Hee (ed.) et al., Advances in cryptology – ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4-8, 2016. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10032, 624-654 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Selected results and related issues of confidentiality-preserving controlled interaction execution. (English) Zbl 1475.68427

Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9616, 211-234 (2016).
MSC:  68U35 68M25
PDF BibTeX XML Cite
Full Text: DOI

The parameterization method for invariant manifolds. From rigorous results to effective computations. (English) Zbl 1372.37002

Applied Mathematical Sciences 195. Cham: Springer (ISBN 978-3-319-29660-9/hbk; 978-3-319-29662-3/ebook). xvi, 267 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Saturation-based incremental LTL model checking with inductive proofs. (English) Zbl 1420.68135

Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 643-657 (2015).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

An LTL proof system for runtime verification. (English) Zbl 1420.68121

Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 581-595 (2015).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI Link

Non-commutative formulas and Frege lower bounds: a new characterization of propositional proofs. (English) Zbl 1434.03133

Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 33, 412-432 (2015).
MSC:  03F20
PDF BibTeX XML Cite
Full Text: DOI

Bifibrational functorial semantics of parametric polymorphism. (English) Zbl 1351.68072

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 165-181, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software