×

zbMATH — the first resource for mathematics

Found 637 Documents (Results 1–100)

100
MathJax
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) (ISBN 978-1-4503-7104-9). 465-478 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
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
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
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
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 (ISBN 978-3-030-24921-2/pbk; 978-3-030-24922-9/ebook). Lecture Notes in Computer Science 11639, 230-245 (2019).
MSC:  68Mxx 68R10
PDF BibTeX XML Cite
Full Text: DOI
Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-26175-7/pbk; 978-3-030-26176-4/ebook). Lecture Notes in Computer Science 11653, 663-676 (2019).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI
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
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 (ISBN 978-3-030-17252-7/pbk; 978-3-030-17253-4/ebook). Lecture Notes in Computer Science 11442, 286-313 (2019).
PDF BibTeX XML Cite
Full Text: DOI
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 (ISBN 978-3-95977-060-6). LIPIcs – Leibniz International Proceedings in Informatics 94, Article 37, 20 p. (2018).
MSC:  68Q15 68Q19
PDF BibTeX XML Cite
Full Text: DOI
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
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
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
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
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
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
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 (ISBN 978-3-319-58740-0/pbk; 978-3-319-58741-7/ebook). Lecture Notes in Computer Science 10307, 364-374 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
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
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
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
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
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
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
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
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 (ISBN 978-3-319-30023-8/pbk; 978-3-319-30024-5/ebook). Lecture Notes in Computer Science 9616, 211-234 (2016).
PDF BibTeX XML Cite
Full Text: DOI
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
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
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
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
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
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, 145-164 (2015).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Oswald, Elisabeth (ed.) et al., Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-46802-9/pbk; 978-3-662-46803-6/ebook). Lecture Notes in Computer Science 9057, 69-100 (2015).
MSC:  94A60 94A62 68P25
PDF BibTeX XML Cite
Full Text: DOI
Dodis, Yevgeniy (ed.) et al., Theory of cryptography. 12th theory of cryptography conference, TCC 2015, Warsaw, Poland, March 23–25, 2015. Proceedings, Part II. Berlin: Springer (ISBN 978-3-662-46496-0/pbk). Lecture Notes in Computer Science 9015, 638-667 (2015).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Yoshida, Maki (ed.) et al., Advances in information and computer security. 9th international workshop on security, IWSEC 2014, Hirosaki, Japan, August 27–29, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8639, 250-265 (2014).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Cai, Zhipeng (ed.) et al., Computing and combinatorics. 20th international conference, COCOON 2014, Atlanta, GA, USA, August 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8591, 191-202 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 477-490 (2014).
MSC:  68Q60 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Benaloh, Josh (ed.), Topics in cryptology – CT-RSA 2014. The cryptographer’s track at the RSA conference 2014, San Francisco, CA, USA, February 25–28, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-04851-2/pbk). Lecture Notes in Computer Science 8366, 48-63 (2014).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Łódź: Wydawnictwo Uniwersytetu Łódzkiego; Kraków: Jagiellonian University Press (ISBN 978-83-7525-812-7). x, 299 p. (2013).
PDF BibTeX XML Cite

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