×

zbMATH — the first resource for mathematics

Found 5,270 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Hiwatashi, Keitaro; Ohata, Satsuya; Nuida, Koji
An efficient secure division protocol using approximate multi-bit product and new constant-round building blocks. (English) Zbl 07314291
Conti, Mauro (ed.) et al., Applied cryptography and network security. 18th international conference, ACNS 2020, Rome, Italy, October 19–22, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-57807-7/pbk; 978-3-030-57808-4/ebook). Lecture Notes in Computer Science 12146, 357-376 (2020).
MSC:  68M25 94A60
PDF BibTeX XML Cite
\textit{K. Hiwatashi} et al., Lect. Notes Comput. Sci. 12146, 357--376 (2020; Zbl 07314291)
Full Text: DOI
Aiyer, Anand; Liang, Xiao; Nalini, Nilu; Pandey, Omkant
Random walks and concurrent zero-knowledge. (English) Zbl 07314275
Conti, Mauro (ed.) et al., Applied cryptography and network security. 18th international conference, ACNS 2020, Rome, Italy, October 19–22, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-57807-7/pbk; 978-3-030-57808-4/ebook). Lecture Notes in Computer Science 12146, 24-44 (2020).
MSC:  68M25 94A60
PDF BibTeX XML Cite
\textit{A. Aiyer} et al., Lect. Notes Comput. Sci. 12146, 24--44 (2020; Zbl 07314275)
Full Text: DOI
Sandholm, William H.
Evolutionary game theory. (English) Zbl 07309885
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, 573-608 (2020).
MSC:  91A22
PDF BibTeX XML Cite
\textit{W. H. Sandholm}, in: Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. 573--608 (2020; Zbl 07309885)
Full Text: DOI
Harz, Dominik; Gudgeon, Lewis; Khalil, Rami; Zamyatin, Alexei
Promise: leveraging future gains for collateral reduction. (English) Zbl 07304457
Pardalos, Panos (ed.) et al., Mathematical research for blockchain economy. Proceedings of the 2nd international conference on mathematical research for blockchain economy, MARBLE 2020, Vilamoura, Portugal, June 8–10, 2020. Cham: Springer (ISBN 978-3-030-53355-7/hbk; 978-3-030-53356-4/ebook). Springer Proceedings in Business and Economics, 143-160 (2020).
MSC:  91B99 91A20
PDF BibTeX XML Cite
\textit{D. Harz} et al., in: Mathematical research for blockchain economy. Proceedings of the 2nd international conference on mathematical research for blockchain economy, MARBLE 2020, Vilamoura, Portugal, June 8--10, 2020. Cham: Springer. 143--160 (2020; Zbl 07304457)
Full Text: DOI
Grier, Daniel; Schaeffer, Luke
Interactive shallow Clifford circuits: quantum advantage against NC\(^1\) and beyond. (English) Zbl 07298295
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 875-888 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{D. Grier} and \textit{L. Schaeffer}, in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 875--888 (2020; Zbl 07298295)
Full Text: DOI
Berenbrink, Petra; Giakkoupis, George; Kling, Peter
Optimal time and space leader election in population protocols. (English) Zbl 07298235
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 119-129 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{P. Berenbrink} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 119--129 (2020; Zbl 07298235)
Full Text: DOI
Garay, Juan A.; Kiayias, Aggelos; Panagiotakos, Giorgos
Consensus from signatures of work. (English) Zbl 07228746
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, 319-344 (2020).
MSC:  94A62 94A60 91B64
PDF BibTeX XML Cite
\textit{J. A. Garay} et al., Lect. Notes Comput. Sci. 12006, 319--344 (2020; Zbl 07228746)
Full Text: DOI
Garay, Juan; Kiayias, Aggelos
SoK: a consensus taxonomy in the blockchain era. (English) Zbl 07228745
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, 284-318 (2020).
MSC:  94A60 68M14 68P25 91B64
PDF BibTeX XML Cite
\textit{J. Garay} and \textit{A. Kiayias}, Lect. Notes Comput. Sci. 12006, 284--318 (2020; Zbl 07228745)
Full Text: DOI
Ajish Kumar, K. S.; Rajendraprasad, Deepak; Sudeep, K. S.
Oriented diameter of star graphs. (English) Zbl 1453.68117
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 307-317 (2020).
MSC:  68R10 05C20 68M10 68M12 68W15
PDF BibTeX XML Cite
\textit{K. S. Ajish Kumar} et al., Lect. Notes Comput. Sci. 12016, 307--317 (2020; Zbl 1453.68117)
Full Text: DOI
Horváth, Máté; Buttyán, Levente; Székely, Gábor; Neubrandt, Dóra
There is always an exception: controlling partial information leakage in secure computation. (English) Zbl 1446.68025
Seo, Jae Hong (ed.), Information security and cryptology – ICISC 2019. 22nd international conference, Seoul, South Korea, December 4–6, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11975, 133-149 (2020).
MSC:  68M25 94A60
PDF BibTeX XML Cite
\textit{M. Horváth} et al., Lect. Notes Comput. Sci. 11975, 133--149 (2020; Zbl 1446.68025)
Full Text: DOI
Ersoy, Oğuzhan; Erkin, Zekeriya; Lagendijk, Reginald L.
Decentralized incentive-compatible and Sybil-proof transaction advertisement. (English) Zbl 1446.68020
Pardalos, Panos (ed.) et al., Mathematical research for blockchain economy. Proceedings of the 1st international conference on mathematical research for blockchain economy, MARBLE 2019, Santorini, Greece, May 6–9, 2019. Cham: Springer. Springer Proc. Bus. Econ., 151-165 (2020).
MSC:  68M12 91B03 94A60
PDF BibTeX XML Cite
\textit{O. Ersoy} et al., in: Mathematical research for blockchain economy. Proceedings of the 1st international conference on mathematical research for blockchain economy, MARBLE 2019, Santorini, Greece, May 6--9, 2019. Cham: Springer. 151--165 (2020; Zbl 1446.68020)
Full Text: DOI
Selvi, S. Sharmila Deva; Paul, Arinjita; Dirisala, Siva; Basu, Saswata; Rangan, C. Pandu
Sharing of encrypted files in blockchain made simpler. (English) Zbl 07215915
Pardalos, Panos (ed.) et al., Mathematical research for blockchain economy. Proceedings of the 1st international conference on mathematical research for blockchain economy, MARBLE 2019, Santorini, Greece, May 6–9, 2019. Cham: Springer (ISBN 978-3-030-37109-8/hbk; 978-3-030-37110-4/ebook). Springer Proceedings in Business and Economics, 45-60 (2020).
MSC:  94A60 68P25 68M12
PDF BibTeX XML Cite
\textit{S. S. D. Selvi} et al., in: Mathematical research for blockchain economy. Proceedings of the 1st international conference on mathematical research for blockchain economy, MARBLE 2019, Santorini, Greece, May 6--9, 2019. Cham: Springer. 45--60 (2020; Zbl 07215915)
Full Text: DOI
Boyd, Colin; Mathuria, Anish; Stebila, Douglas
Protocols for authentication and key establishment. 2nd revised and enlarged edition. (English) Zbl 1430.68002
Information Security and Cryptography. Berlin: Springer (ISBN 978-3-662-58145-2/hbk; 978-3-662-58146-9/ebook). xxviii, 521 p. (2020).
MSC:  68-01 68-02 68M12 68P25 94A60 94A62
PDF BibTeX XML Cite
\textit{C. Boyd} et al., Protocols for authentication and key establishment. 2nd revised and enlarged edition. Berlin: Springer (2020; Zbl 1430.68002)
Full Text: DOI
Sudo, Yuichi; Ooshita, Fukuhito; Izumi, Taisuke; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu
Logarithmic expected-time leader election in population protocol model. (English) Zbl 07298655
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). 60-62 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{Y. Sudo} 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). 60--62 (2019; Zbl 07298655)
Full Text: DOI
Berenbrink, Petra; Kaaser, Dominik; Radzik, Tomasz
On counting the population size. (English) Zbl 07298653
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). 43-52 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{P. Berenbrink} 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). 43--52 (2019; Zbl 07298653)
Full Text: DOI
Doty, David; Eftekhari, Mahsa
Efficient size estimation and impossibility of termination in uniform dense population protocols. (English) Zbl 07298652
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). 34-42 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{D. Doty} and \textit{M. Eftekhari}, 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). 34--42 (2019; Zbl 07298652)
Full Text: DOI
Wijaya, Dimaz Ankaa; Liu, Joseph K.; Steinfeld, Ron; Liu, Dongxi
Risk of asynchronous protocol update: attacks to Monero protocols. (English) Zbl 07205576
Jang-Jaccard, Julian (ed.) et al., Information security and privacy. 24th Australasian conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21547-7/pbk; 978-3-030-21548-4/ebook). Lecture Notes in Computer Science 11547, 307-321 (2019).
MSC:  94A60 68M12 91B64
PDF BibTeX XML Cite
\textit{D. A. Wijaya} et al., Lect. Notes Comput. Sci. 11547, 307--321 (2019; Zbl 07205576)
Full Text: DOI
Tang, Shuyang; Chow, Sherman S. M.; Liu, Zhiqiang; Liu, Joseph K.
Fast-to-finalize Nakamoto-like consensus. (English) Zbl 07205574
Jang-Jaccard, Julian (ed.) et al., Information security and privacy. 24th Australasian conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21547-7/pbk; 978-3-030-21548-4/ebook). Lecture Notes in Computer Science 11547, 271-288 (2019).
MSC:  94A60 68M12 91B64
PDF BibTeX XML Cite
\textit{S. Tang} et al., Lect. Notes Comput. Sci. 11547, 271--288 (2019; Zbl 07205574)
Full Text: DOI
Patra, Arpita; Ravi, Divya
Beyond honest majority: the round complexity of fair and robust multi-party computation. (English) Zbl 07202421
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 I. Cham: Springer (ISBN 978-3-030-34577-8/pbk; 978-3-030-34578-5/ebook). Lecture Notes in Computer Science 11921, 456-487 (2019).
MSC:  94A60 68M14 68M12
PDF BibTeX XML Cite
\textit{A. Patra} and \textit{D. Ravi}, Lect. Notes Comput. Sci. 11921, 456--487 (2019; Zbl 07202421)
Full Text: DOI
Garg, Sanjam; Goel, Aarushi; Jain, Abhishek
The broadcast message complexity of secure multiparty computation. (English) Zbl 07202420
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 I. Cham: Springer (ISBN 978-3-030-34577-8/pbk; 978-3-030-34578-5/ebook). Lecture Notes in Computer Science 11921, 426-455 (2019).
MSC:  94A60 94A05 68M14 68M12
PDF BibTeX XML Cite
\textit{S. Garg} et al., Lect. Notes Comput. Sci. 11921, 426--455 (2019; Zbl 07202420)
Full Text: DOI
Takashima, Ken; Abe, Yuta; Sasaki, Tatsuya; Miyahara, Daiki; Shinagawa, Kazumasa; Mizuki, Takaaki; Sone, Hideaki
Card-based secure ranking computations. (English) Zbl 07200318
Li, Yingshu (ed.) et al., Combinatorial optimization and applications. 13th international conference, COCOA 2019, Xiamen, China, December 13–15, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-36411-3/pbk; 978-3-030-36412-0/ebook). Lecture Notes in Computer Science 11949, 461-472 (2019).
MSC:  68M 94A60
PDF BibTeX XML Cite
\textit{K. Takashima} et al., Lect. Notes Comput. Sci. 11949, 461--472 (2019; Zbl 07200318)
Full Text: DOI
Boyd, Colin; Gjøsteen, Kristian; Gritti, Clémentine; Haines, Thomas
A blind coupon mechanism enabling veto voting over unreliable networks. (English) Zbl 1453.68024
Hao, Feng (ed.) et al., Progress in cryptology – INDOCRYPT 2019. 20th international conference on cryptology in India, Hyderabad, India, December 15–18, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11898, 250-270 (2019).
MSC:  68M25 68M12 94A60
PDF BibTeX XML Cite
\textit{C. Boyd} et al., Lect. Notes Comput. Sci. 11898, 250--270 (2019; Zbl 1453.68024)
Full Text: DOI
Pillai, Sibi Raj B.; Prabhakaran, Manoj; Prabhakaran, Vinod M.; Sridhar, Srivatsan
Optimality of a protocol by Feige-Kilian-Naor for three-party secure computation. (English) Zbl 07199462
Hao, Feng (ed.) et al., Progress in cryptology – INDOCRYPT 2019. 20th international conference on cryptology in India, Hyderabad, India, December 15–18, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-35422-0/pbk; 978-3-030-35423-7/ebook). Lecture Notes in Computer Science 11898, 216-226 (2019).
MSC:  94A60 94A05 68M12 68P30
PDF BibTeX XML Cite
\textit{S. R. B. Pillai} et al., Lect. Notes Comput. Sci. 11898, 216--226 (2019; Zbl 07199462)
Full Text: DOI
Smart, Nigel P.; Talibi Alaoui, Younes
Distributing any elliptic curve based protocol. (English) Zbl 07197476
Albrecht, Martin (ed.), Cryptography and coding. 17th IMA international conference, IMACC 2019, Oxford, UK, December 16–18, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-35198-4/pbk; 978-3-030-35199-1/ebook). Lecture Notes in Computer Science 11929, 342-366 (2019).
MSC:  94A60 68M12
PDF BibTeX XML Cite
\textit{N. P. Smart} and \textit{Y. Talibi Alaoui}, Lect. Notes Comput. Sci. 11929, 342--366 (2019; Zbl 07197476)
Full Text: DOI
Canard, Sébastien; Ferreira, Loïc
Extended 3-party ACCE and application to LoRaWAN 1.1. (English) Zbl 07197439
Buchmann, Johannes (ed.) et al., Progress in cryptology – AFRICACRYPT 2019. 11th international conference on cryptology in Africa, Rabat, Morocco, July 9–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-23695-3/pbk; 978-3-030-23696-0/ebook). Lecture Notes in Computer Science 11627, 21-38 (2019).
MSC:  94A60 68M11 68M12
PDF BibTeX XML Cite
\textit{S. Canard} and \textit{L. Ferreira}, Lect. Notes Comput. Sci. 11627, 21--38 (2019; Zbl 07197439)
Full Text: DOI
Cascudo, Ignacio; Damgård, Ivan; David, Bernardo; Döttling, Nico; Dowsley, Rafael; Giacomelli, Irene
Efficient UC commitment extension with homomorphism for free (and applications). (English) Zbl 07196576
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 II. Cham: Springer (ISBN 978-3-030-34620-1/pbk; 978-3-030-34621-8/ebook). Lecture Notes in Computer Science 11922, 606-635 (2019).
MSC:  94A60 68M12
PDF BibTeX XML Cite
\textit{I. Cascudo} et al., Lect. Notes Comput. Sci. 11922, 606--635 (2019; Zbl 07196576)
Full Text: DOI
Kushilevitz, Eyal; Ostrovsky, Rafail; Prouff, Emmanuel; Rosén, Adi; Thillard, Adrian; Vergnaud, Damien
Lower and upper bounds on the randomness complexity of private computations of AND. (English) Zbl 07195448
Hofheinz, Dennis (ed.) et al., Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part II. Cham: Springer (ISBN 978-3-030-36032-0/pbk; 978-3-030-36033-7/ebook). Lecture Notes in Computer Science 11892, 386-406 (2019).
MSC:  94A60 68M14
PDF BibTeX XML Cite
\textit{E. Kushilevitz} et al., Lect. Notes Comput. Sci. 11892, 386--406 (2019; Zbl 07195448)
Full Text: DOI
Alon, Bar; Paskin-Cherniavsky, Anat
On perfectly secure 2PC in the OT-hybrid model. (English) Zbl 07195433
Hofheinz, Dennis (ed.) et al., Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-36029-0/pbk; 978-3-030-36030-6/ebook). Lecture Notes in Computer Science 11891, 561-595 (2019).
MSC:  94A60 68M12 68M14
PDF BibTeX XML Cite
\textit{B. Alon} and \textit{A. Paskin-Cherniavsky}, Lect. Notes Comput. Sci. 11891, 561--595 (2019; Zbl 07195433)
Full Text: DOI
Haitner, Iftach; Mazor, Noam; Shaltiel, Ronen; Silbak, Jad
Channels of small log-ratio leakage and characterization of two-party differentially private computation. (English) Zbl 07195432
Hofheinz, Dennis (ed.) et al., Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-36029-0/pbk; 978-3-030-36030-6/ebook). Lecture Notes in Computer Science 11891, 531-560 (2019).
MSC:  94A60 94A40 68P25 68M12
PDF BibTeX XML Cite
\textit{I. Haitner} et al., Lect. Notes Comput. Sci. 11891, 531--560 (2019; Zbl 07195432)
Full Text: DOI
Cortier, Véronique; Gaudry, Pierrick; Glondu, Stéphane
Belenios: a simple private and verifiable electronic voting system. (English) Zbl 07176730
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 214-238 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{V. Cortier} et al., Lect. Notes Comput. Sci. 11565, 214--238 (2019; Zbl 07176730)
Full Text: DOI
Alturki, Musab A.; Ban Kirigin, Tajana; Kanovich, Max; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
A multiset rewriting model for specifying and verifying timing aspects of security protocols. (English) Zbl 07176729
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 192-213 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{M. A. Alturki} et al., Lect. Notes Comput. Sci. 11565, 192--213 (2019; Zbl 07176729)
Full Text: DOI
Castiglione, Jason; Pavlovic, Dusko; Seidel, Peter-Michael
Privacy protocols. (English) Zbl 07176728
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 167-191 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{J. Castiglione} et al., Lect. Notes Comput. Sci. 11565, 167--191 (2019; Zbl 07176728)
Full Text: DOI
Roscoe, Andrew William; Wang, Lei
Key agreement via protocols. (English) Zbl 07176727
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 156-166 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{A. W. Roscoe} and \textit{L. Wang}, Lect. Notes Comput. Sci. 11565, 156--166 (2019; Zbl 07176727)
Full Text: DOI
Liskov, Moses D.; Guttman, Joshua D.; Ramsdell, John D.; Rowe, Paul D.; Thayer, F. Javier
Enrich-by-need protocol analysis for Diffie-Hellman. (English) Zbl 07176726
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 135-155 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{M. D. Liskov} et al., Lect. Notes Comput. Sci. 11565, 135--155 (2019; Zbl 07176726)
Full Text: DOI
Basin, David; Hirschi, Lucca; Sasse, Ralf
Symbolic analysis of identity-based protocols. (English) Zbl 07176725
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 112-134 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{D. Basin} et al., Lect. Notes Comput. Sci. 11565, 112--134 (2019; Zbl 07176725)
Full Text: DOI
Nigam, Vivek; Talcott, Carolyn; Urquiza, Abraão Aires
Symbolic timed trace equivalence. (English) Zbl 07176724
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 89-111 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{V. Nigam} et al., Lect. Notes Comput. Sci. 11565, 89--111 (2019; Zbl 07176724)
Full Text: DOI
Kozyri, Elisavet; Arden, Owen; Myers, Andrew C.; Schneider, Fred B.
JRIF: reactive information flow control for Java. (English) Zbl 07176723
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 70-88 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{E. Kozyri} et al., Lect. Notes Comput. Sci. 11565, 70--88 (2019; Zbl 07176723)
Full Text: DOI
Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Robust declassification by incremental typing. (English) Zbl 07176722
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 54-69 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{M. Busi} et al., Lect. Notes Comput. Sci. 11565, 54--69 (2019; Zbl 07176722)
Full Text: DOI
Pavlovic, Dusko (ed.); Hanna, Erin; Lynch, Christopher; Myers, David Jaz; Richardson, Corey
Finding intruder knowledge with cap-matching. (English) Zbl 07176721
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 39-53 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{D. Pavlovic} (ed.) et al., Lect. Notes Comput. Sci. 11565, 39--53 (2019; Zbl 07176721)
Full Text: DOI
Escobar, Santiago; Meseguer, José
Canonical narrowing with irreducibility constraints as a symbolic protocol analysis method. (English) Zbl 07176720
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 15-38 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{S. Escobar} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 11565, 15--38 (2019; Zbl 07176720)
Full Text: DOI
Syverson, Paul
Key reminiscences. (English) Zbl 07176719
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 8-14 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{P. Syverson}, Lect. Notes Comput. Sci. 11565, 8--14 (2019; Zbl 07176719)
Full Text: DOI
Millen, Jon
A long, slow conversation. (English) Zbl 07176718
Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer (ISBN 978-3-030-19051-4/pbk; 978-3-030-19052-1/ebook). Lecture Notes in Computer Science 11565, 6-7 (2019).
MSC:  68M12 68P25 94A60
PDF BibTeX XML Cite
\textit{J. Millen}, Lect. Notes Comput. Sci. 11565, 6--7 (2019; Zbl 07176718)
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
Biographic Reference
all top 3
Software