×

zbMATH — the first resource for mathematics

Found 377 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Sandroni, Alvaro; Pogach, Jonathan; Tincani, Michela; Penta, Antonio; Selman, Deniz
Voting. (English) Zbl 07309883
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer (ISBN 978-1-0716-0367-3/print; 978-1-0716-0368-0/ebook; 978-1-0716-0369-7/print+ebook). Encyclopedia of Complexity and Systems Science Series; Springer Reference, 529-541 (2020).
MSC:  91B12 91B15 91B14
PDF BibTeX XML Cite
\textit{A. Sandroni} et al., in: Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. 529--541 (2020; Zbl 07309883)
Full Text: DOI
Barberà, Salvador
Social choice theory. (English) Zbl 07309882
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer (ISBN 978-1-0716-0367-3/print; 978-1-0716-0368-0/ebook; 978-1-0716-0369-7/print+ebook). Encyclopedia of Complexity and Systems Science Series; Springer Reference, 511-528 (2020).
MSC:  91B14 91B12
PDF BibTeX XML Cite
\textit{S. Barberà}, in: Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. 511--528 (2020; Zbl 07309882)
Full Text: DOI
Fukumitsu, Masayuki; Hasegawa, Shingo
One-More assumptions do not help Fiat-Shamir-type signature schemes in NPROM. (English) Zbl 07228757
Jarecki, Stanislaw (ed.), Topics in cryptology – CT-RSA 2020. The cryptographers’ track at the RSA conference 2020, San Francisco, CA, USA, February 24–28, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-40185-6/pbk; 978-3-030-40186-3/ebook). Lecture Notes in Computer Science 12006, 586-609 (2020).
MSC:  94A62 94A60
PDF BibTeX XML Cite
\textit{M. Fukumitsu} and \textit{S. Hasegawa}, Lect. Notes Comput. Sci. 12006, 586--609 (2020; Zbl 07228757)
Full Text: DOI
Khan, Muhammad Samir; Naqvi, Syed Shalan; Vaidya, Nitin H.
Exact Byzantine consensus on undirected graphs under local broadcast model. (English) Zbl 07298694
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 327-336 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{M. S. Khan} et al., in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 327--336 (2019; Zbl 07298694)
Full Text: DOI
Alistarh, Dan; Aspnes, James; Ellen, Faith; Gelashvili, Rati; Zhu, Leqi
Why extension-based proofs fail. (English) Zbl 1433.68052
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 986-996 (2019).
MSC:  68M14 68Q10
PDF BibTeX XML Cite
\textit{D. Alistarh} et al., in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 986--996 (2019; Zbl 1433.68052)
Full Text: DOI
Dachman-Soled, Dana; Kulkarni, Mukul
Upper and lower bounds for continuous non-malleable codes. (English) Zbl 07159137
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, 519-548 (2019).
MSC:  94A60
PDF BibTeX XML Cite
\textit{D. Dachman-Soled} and \textit{M. Kulkarni}, Lect. Notes Comput. Sci. 11442, 519--548 (2019; Zbl 07159137)
Full Text: DOI
Crippa, Davide
The impossibility of squaring the circle in the 17th century. A debate among Gregory, Huygens and Leibniz. (English) Zbl 1411.01003
Frontiers in the History of Science. Cham: Birkhäuser (ISBN 978-3-030-01637-1/pbk; 978-3-030-01638-8/ebook). viii, 184 p. (2019).
Reviewer: Eberhard Knobloch (Berlin)
MSC:  01-02 01A45 12-03 51-03
PDF BibTeX XML Cite
\textit{D. Crippa}, The impossibility of squaring the circle in the 17th century. A debate among Gregory, Huygens and Leibniz. Cham: Birkhäuser (2019; Zbl 1411.01003)
Full Text: DOI
Raynal, Michel; Cao, Jiannong
A pleasant stroll through the land of distributed machines, computation, and universality. (English) Zbl 06894481
Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 8th international conference, MCU 2018, Fontainebleau, France, June 28–30, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92401-4/pbk; 978-3-319-92402-1/ebook). Lecture Notes in Computer Science 10881, 34-50 (2018).
MSC:  68M14
PDF BibTeX XML Cite
\textit{M. Raynal} and \textit{J. Cao}, Lect. Notes Comput. Sci. 10881, 34--50 (2018; Zbl 06894481)
Full Text: DOI
Venkatasubramanian, Suresh
Computational philosophy: on fairness in automated decision making. (English) Zbl 07278007
Okamoto, Yoshio (ed.) et al., 28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-054-5). LIPIcs – Leibniz International Proceedings in Informatics 92, Article 2, 1 p. (2017).
MSC:  68Wxx
PDF BibTeX XML Cite
\textit{S. Venkatasubramanian}, LIPIcs -- Leibniz Int. Proc. Inform. 92, Article 2, 1 p. (2017; Zbl 07278007)
Full Text: DOI
Fukumitsu, Masayuki; Hasegawa, Shingo
Impossibility of the provable security of the Schnorr signature from the one-more DL assumption in the non-programmable random oracle model. (English) Zbl 1439.94031
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, 201-218 (2017).
MSC:  94A60 94A62
PDF BibTeX XML Cite
\textit{M. Fukumitsu} and \textit{S. Hasegawa}, Lect. Notes Comput. Sci. 10005, 201--218 (2017; Zbl 1439.94031)
Full Text: DOI
Debrouwere, Andreas
Generalized function algebras containing spaces of periodic ultradistributions. (English) Zbl 1394.46030
Oberguggenberger, Michael (ed.) et al., Generalized functions and Fourier analysis. Dedicated to Stevan Pilipović on the occasion of his 65th birthday. Contributions of the 8th, 9th and 10th ISAAC congresses, Moscow, Russia, 2011, Krakow, Poland, 2013 and Macau, China, 2015. Basel: Birkhäuser/Springer (ISBN 978-3-319-51910-4/hbk; 978-3-319-51911-1/ebook). Operator Theory: Advances and Applications 260. Advances in Partial Differential Equations, 59-78 (2017).
MSC:  46F05
PDF BibTeX XML Cite
\textit{A. Debrouwere}, Oper. Theory: Adv. Appl. 260, 59--78 (2017; Zbl 1394.46030)
Full Text: DOI arXiv
Mennink, Bart
Insuperability of the standard versus ideal model gap for tweakable blockcipher security. (English) Zbl 1410.94097
Katz, Jonathan (ed.) et al., Advances in cryptology – CRYPTO 2017. 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20–24, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10402, 708-732 (2017).
MSC:  94A60
PDF BibTeX XML Cite
\textit{B. Mennink}, Lect. Notes Comput. Sci. 10402, 708--732 (2017; Zbl 1410.94097)
Full Text: DOI
Guo, Fuchun; Chen, Rongmao; Susilo, Willy; Lai, Jianchang; Yang, Guomin; Mu, Yi
Optimal security reductions for unique signatures: bypassing impossibilities with a counterexample. (English) Zbl 1410.94078
Katz, Jonathan (ed.) et al., Advances in cryptology – CRYPTO 2017. 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20–24, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10402, 517-547 (2017).
MSC:  94A60
PDF BibTeX XML Cite
\textit{F. Guo} et al., Lect. Notes Comput. Sci. 10402, 517--547 (2017; Zbl 1410.94078)
Full Text: DOI
Faonio, Antonio; Nielsen, Jesper Buus
Fully leakage-resilient codes. (English) Zbl 1404.94066
Fehr, Serge (ed.), Public-key cryptography – PKC 2017. 20th IACR international conference on practice and theory in public-key cryptography, Amsterdam, The Netherlands, March 28–31, 2017. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-54364-1/pbk; 978-3-662-54365-8/ebook). Lecture Notes in Computer Science 10174, 333-358 (2017).
MSC:  94A60
PDF BibTeX XML Cite
\textit{A. Faonio} and \textit{J. B. Nielsen}, Lect. Notes Comput. Sci. 10174, 333--358 (2017; Zbl 1404.94066)
Full Text: DOI
Delporte, Carole; Fauconnier, Hugues; Rajsbaum, Sergio; Raynal, Michel
\(t\)-resilient immediate snapshot Is impossible. (English) Zbl 06658588
Suomela, Jukka (ed.), Structural information and communication complexity. 23rd international colloquium, SIROCCO 2016, Helsinki, Finland, July 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-48313-9/pbk; 978-3-319-48314-6/ebook). Lecture Notes in Computer Science 9988, 177-191 (2016).
MSC:  68M10 68M14 68R10
PDF BibTeX XML Cite
\textit{C. Delporte} et al., Lect. Notes Comput. Sci. 9988, 177--191 (2016; Zbl 06658588)
Full Text: DOI
Cohen, Ran; Haitner, Iftach; Omri, Eran; Rotem, Lior
Characterization of secure multiparty computation without broadcast. (English) Zbl 1348.94039
Kushilevitz, Eyal (ed.) et al., Theory of cryptography. 13th international conference, TCC 2016-A, Tel Aviv, Israel, January 10–13, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49095-2/pbk; 978-3-662-49096-9/ebook). Lecture Notes in Computer Science 9562, 596-616 (2016).
MSC:  94A60
PDF BibTeX XML Cite
\textit{R. Cohen} et al., Lect. Notes Comput. Sci. 9562, 596--616 (2016; Zbl 1348.94039)
Full Text: DOI
Sano, Katsuhiko
Avoiding impossibility theorems in radical inquisitive semantics. (English) Zbl 1429.03069
Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 107-120 (2015).
MSC:  03B42 03B20
PDF BibTeX XML Cite
\textit{K. Sano}, in: Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. 107--120 (2015; Zbl 1429.03069)
Full Text: DOI
Hofheinz, Dennis; Matt, Christian; Maurer, Ueli
Idealizing identity-based encryption. (English) Zbl 1396.94083
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, 495-520 (2015).
MSC:  94A60
PDF BibTeX XML Cite
\textit{D. Hofheinz} et al., Lect. Notes Comput. Sci. 9452, 495--520 (2015; Zbl 1396.94083)
Full Text: DOI
Bushkov, Victor; Guerraoui, Rachid
Safety-liveness exclusion in distributed computing. (English) Zbl 1333.68049
Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 227-236 (2015).
MSC:  68M14 68Q10
PDF BibTeX XML Cite
\textit{V. Bushkov} and \textit{R. Guerraoui}, in: Proceedings of the 34th ACM symposium on principles of distributed computing, PODC '15, Donostia-San Sebastián, Spain, July 21--23, 2015. New York, NY: Association for Computing Machinery (ACM). 227--236 (2015; Zbl 1333.68049)
Full Text: DOI
Busch, Costas; Herlihy, Maurice; Popovic, Miroslav; Sharma, Gokarna
Impossibility results for distributed transactional memory. (English) Zbl 1333.68137
Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 207-215 (2015).
MSC:  68Q25 68M14 68W15
PDF BibTeX XML Cite
\textit{C. Busch} et al., in: Proceedings of the 34th ACM symposium on principles of distributed computing, PODC '15, Donostia-San Sebastián, Spain, July 21--23, 2015. New York, NY: Association for Computing Machinery (ACM). 207--215 (2015; Zbl 1333.68137)
Full Text: DOI
Esteban, María; Palmigiano, Alessandra; Zhao, Zhiguang
An abstract algebraic logic view on judgment aggregation. (English) Zbl 06521569
van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48560-6/pbk; 978-3-662-48561-3/ebook). Lecture Notes in Computer Science 9394, 77-89 (2015).
MSC:  68T27
PDF BibTeX XML Cite
\textit{M. Esteban} et al., Lect. Notes Comput. Sci. 9394, 77--89 (2015; Zbl 06521569)
Full Text: DOI
Ostrovsky, Rafail; Persiano, Giuseppe; Visconti, Ivan
Impossibility of black-box simulation against leakage attacks. (English) Zbl 1336.94068
Gennaro, Rosario (ed.) et al., Advances in cryptology – CRYPTO 2015. 35th annual cryptology conference, Santa Barbara, CA, USA, August 16–20, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-47999-5/pbk; 978-3-662-48000-7/ebook). Lecture Notes in Computer Science 9216, 130-149 (2015).
MSC:  94A60
PDF BibTeX XML Cite
\textit{R. Ostrovsky} et al., Lect. Notes Comput. Sci. 9216, 130--149 (2015; Zbl 1336.94068)
Full Text: DOI
Rabouin, David
The difficulty of being simple: on some interactions between mathematics and philosophy in Leibniz’s analysis of notions. (English) Zbl 1323.01015
Goethe, Norma B. (ed.) et al., G. W. Leibniz, interrelations between mathematics and philosophy. Selected papers based on the presentations at the workshop, Paris, France, March 8–10, 2010. Dordrecht: Springer (ISBN 978-94-017-9663-7/hbk; 978-94-017-9664-4/ebook). Archimedes 41, 49-72 (2015).
Reviewer: Albert C. Lewis (Austin)
MSC:  01A45 01A50
PDF BibTeX XML Cite
\textit{D. Rabouin}, Archimedes 41, 49--72 (2015; Zbl 1323.01015)
Full Text: DOI
Iwamoto, Mitsugu; Shikata, Junji
Information theoretic security for encryption based on conditional Rényi entropies. (English) Zbl 1395.94290
Padró, Carles (ed.), Information theoretic security. 7th international conference, ICITS 2013, Singapore, November 28–30, 2013. Proceedings. Cham: Springer (ISBN 978-3-319-04267-1/pbk; 978-3-319-04268-8/ebook). Lecture Notes in Computer Science 8317, 103-121 (2014).
MSC:  94A60 94A17
PDF BibTeX XML Cite
\textit{M. Iwamoto} and \textit{J. Shikata}, Lect. Notes Comput. Sci. 8317, 103--121 (2014; Zbl 1395.94290)
Full Text: DOI arXiv
Pudlák, Pavel
Logical foundations of mathematics and computational complexity. A gentle introduction. (English) Zbl 1270.03001
Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-00118-0/hbk; 978-3-319-00119-7/ebook). xiv, 695 p. (2013).
Reviewer: Branislav Boričić (Beograd)
MSC:  03-01 03D15 03E30 03E35 03F03 03F20 03F30 03F40 68Q15
PDF BibTeX XML Cite
\textit{P. Pudlák}, Logical foundations of mathematics and computational complexity. A gentle introduction. Cham: Springer (2013; Zbl 1270.03001)
Full Text: DOI
Ellen, Faith; Fatourou, Panagiota; Kosmas, Eleftherios; Milani, Alessia; Travers, Corentin
Universal constructions that ensure disjoint-access parallelism and wait-freedom. (English) Zbl 1301.68057
Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 115-124 (2012).
MSC:  68M14 68M15 68Q10 68W10
PDF BibTeX XML Cite
\textit{F. Ellen} et al., in: Proceedings of the 31st ACM symposium on principles of distributed computing, PODC '12, Funchal, Portugal, July 16--18, 2012. New York, NY: Association for Computing Machinery (ACM). 115--124 (2012; Zbl 1301.68057)
Full Text: DOI
Aono, Yoshinori; Agrawal, Manindra; Satoh, Takakazu; Watanabe, Osamu
On the optimality of lattices for the Coppersmith technique. (English) Zbl 1308.94058
Susilo, Willy (ed.) et al., Information security and privacy. 17th Australasian conference, ACISP 2012, Wollongong, NSW, Australia, July 9–11, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31447-6/pbk). Lecture Notes in Computer Science 7372, 376-389 (2012).
MSC:  94A60
PDF BibTeX XML Cite
\textit{Y. Aono} et al., Lect. Notes Comput. Sci. 7372, 376--389 (2012; Zbl 1308.94058)
Full Text: DOI
Kakvi, Saqib A.; Kiltz, Eike
Optimal security proofs for full domain hash, revisited. (English) Zbl 1297.94118
Pointcheval, David (ed.) et al., Advances in cryptology – EUROCRYPT 2012. 31st annual international conference on the theory and applications of cryptographic techniques, Cambridge, UK, April 15–19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29010-7/pbk). Lecture Notes in Computer Science 7237, 537-553 (2012).
MSC:  94A62 94A60
PDF BibTeX XML Cite
\textit{S. A. Kakvi} and \textit{E. Kiltz}, Lect. Notes Comput. Sci. 7237, 537--553 (2012; Zbl 1297.94118)
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
Biographic Reference
all top 3
Software