×

Found 413 Documents (Results 1–100)

100
MathJax

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

Tight state-restoration soundness in the algebraic group model. (English) Zbl 1487.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 III. Cham: Springer. Lect. Notes Comput. Sci. 12827, 64-93 (2021).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021).
MSC:  68V20 03B05 03B20
PDF BibTeX XML Cite
Full Text: DOI

A black-box approach to post-quantum zero-knowledge in constant rounds. (English) Zbl 1486.94089

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, 315-345 (2021).
MSC:  94A60 81P94 68P25
PDF BibTeX XML Cite
Full Text: DOI

Single-to-multi-theorem transformations for non-interactive statistical zero-knowledge. (English) Zbl 1479.94170

Garay, Juan A. (ed.), Public-key cryptography – PKC 2021. 24th IACR international conference on practice and theory of public key cryptography, virtual event, May 10–13, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12711, 205-234 (2021).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Canonical solutions to recursive equations and completeness of equational axiomatisations. (English) Zbl 07559491

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 122-139 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Shorter QA-NIZK and SPS with tighter security. (English) Zbl 1456.94040

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, 669-699 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Symbolic encryption with pseudorandom keys. (English) Zbl 07162724

Ishai, Yuval (ed.) et al., Advances in cryptology – EUROCRYPT 2019. 38th annual international conference on the theory and applications of cryptographic techniques, Darmstadt, Germany, May 19–23, 2019. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 11478, 64-93 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Assessing arguments with schemes and fallacies. (English) Zbl 07115966

Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 61-74 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI Link

Uniform inductive reasoning in transitive closure logic via infinite descent. (English) Zbl 07533342

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 17, 16 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Improved (almost) tightly-secure simulation-sound QA-NIZK with applications. (English) Zbl 1446.94093

Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11272, 627-656 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic reasoning about simply typed lambda terms. (English) Zbl 06856645

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10703, 170-189 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Coq without type casts: a complete proof of Coq Modulo Theory. (English) Zbl 1403.68227

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 474-489 (2017).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Type soundness proofs with definitional interpreters. (English) Zbl 1380.68111

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 666-679 (2017).
MSC:  68N30 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI

A sound and complete Hoare logic for dynamically-typed, object-oriented programs. (English) Zbl 1475.68085

Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9660, 173-193 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Soundness in negotiations. (English) Zbl 1392.68298

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 12, 13 p. (2016).
MSC:  68Q85 68Q10 68Q25
PDF BibTeX XML Cite
Full Text: DOI

From diagrammatic to mechanical reasoning: the case of syllogistic. (English) Zbl 1402.03024

Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications (ISBN 978-1-84890-213-8/pbk). 57-69 (2016).
MSC:  03B35 03B60 03A05
PDF BibTeX XML Cite

Negotiations and Petri nets. (English) Zbl 1366.68203

Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XI. Berlin: Springer (ISBN 978-3-662-53400-7/pbk; 978-3-662-53401-4/ebook). Lecture Notes in Computer Science 9930. Journal Subline, 203-225 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001

Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Formalization of the resolution calculus for first-order logic. (English) Zbl 1478.68442

Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 341-357 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link

Sound type-dependent syntactic language extension. (English) Zbl 1347.68088

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 204-216 (2016).
MSC:  68N30 68N15 68N20
PDF BibTeX XML Cite
Full Text: DOI Link

Compactly hiding linear spans. Tightly secure constant-size simulation-sound QA-NIZK proofs and applications. (English) Zbl 1380.94112

Iwata, Tetsu (ed.) et al., Advances in cryptology – ASIACRYPT 2015. 21st international conference on the theory and application of cryptology and information security, Auckland, New Zealand, November 29 – December 3, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-48796-9/pbk; 978-3-662-48797-6/ebook). Lecture Notes in Computer Science 9452, 681-707 (2015).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Re-encryption verifiability: how to detect malicious activities of a proxy in proxy re-encryption. (English) Zbl 1382.94149

Nyberg, Kaisa (ed.), Topics in cryptology – CT-RSA 2015. The cryptographer’s track at the RSA conference 2015, San Francisco, CA, USA, April 20–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-16714-5/pbk; 978-3-319-16715-2/ebook). Lecture Notes in Computer Science 9048, 410-428 (2015).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Making Sigma-protocols non-interactive without random oracles. (English) Zbl 1345.94051

Katz, Jonathan (ed.), Public-key cryptography – PKC 2015. 18th IACR international conference on practice and theory in public-key cryptography, Gaithersburg, MD, USA, March 30 – April 1, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46446-5/pbk; 978-3-662-46447-2/ebook). Lecture Notes in Computer Science 9020, 650-670 (2015).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI Link

Strange case of Dr. soundness and Mr. consistency. (English) Zbl 1441.03008

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications. 161-172 (2014).
MSC:  03A05 03F25 03F30
PDF BibTeX XML Cite

Computational soundness of asymmetric bilinear pairing-based protocols. (English) Zbl 1368.94136

Chow, Sherman S.M. (ed.) et al., Provable security. 8th international conference, ProvSec 2014, Hong Kong, China, October 9–10, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-12474-2/pbk). Lecture Notes in Computer Science 8782, 317-325 (2014).
MSC:  94A60 68M12
PDF BibTeX XML Cite
Full Text: DOI

Research on workflow model based on Petri net with reset arcs. (English) Zbl 1308.90065

Cao, Bing-Yuan (ed.) et al., Fuzzy information and engineering and operations research and management. Based on the presentations at the 6th international conference, ICFIE 2012, Babolsar, Iran, October 25–26, 2012 and at the 6th academic conference on fuzzy information and engineering branch of Operation Research Society of China (FIEBORSC 2012), Shenzhen, China, December 18–24, 2012. Berlin: Springer (ISBN 978-3-642-38666-4/pbk; 978-3-642-38667-1/ebook). Advances in Intelligent Systems and Computing 211, 449-456 (2014).
MSC:  90B30 68Qxx 05C90
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