Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/birthday/meadows2019.bht:"
@inproceedings{DBLP:conf/birthday/AlTurkiKKNST19, author = {Musab A. AlTurki and Tajana Ban Kirigin and Max I. Kanovich and Vivek Nigam and Andre Scedrov and Carolyn L. Talcott}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {192--213}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_13}, doi = {10.1007/978-3-030-19052-1\_13}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/AlTurkiKKNST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BasinHS19, author = {David A. Basin and Lucca Hirschi and Ralf Sasse}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Symbolic Analysis of Identity-Based Protocols}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {112--134}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_9}, doi = {10.1007/978-3-030-19052-1\_9}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BasinHS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BusiDG19, author = {Matteo Busi and Pierpaolo Degano and Letterio Galletta}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Robust Declassification by Incremental Typing}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {54--69}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_6}, doi = {10.1007/978-3-030-19052-1\_6}, timestamp = {Sat, 17 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BusiDG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/CastiglionePS19, author = {Jason Castiglione and Dusko Pavlovic and Peter{-}Michael Seidel}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Privacy Protocols}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {167--191}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_12}, doi = {10.1007/978-3-030-19052-1\_12}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/CastiglionePS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/CortierGG19, author = {V{\'{e}}ronique Cortier and Pierrick Gaudry and St{\'{e}}phane Glondu}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Belenios: {A} Simple Private and Verifiable Electronic Voting System}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {214--238}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_14}, doi = {10.1007/978-3-030-19052-1\_14}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/CortierGG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EscobarM19, author = {Santiago Escobar and Jos{\'{e}} Meseguer}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {15--38}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_4}, doi = {10.1007/978-3-030-19052-1\_4}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/EscobarM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/HannaLMR19, author = {Erin Hanna and Christopher Lynch and David Jaz Myers and Corey Richardson}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Finding Intruder Knowledge with Cap-Matching}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {39--53}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_5}, doi = {10.1007/978-3-030-19052-1\_5}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/HannaLMR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KozyriAMS19, author = {Elisavet Kozyri and Owen Arden and Andrew C. Myers and Fred B. Schneider}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {{JRIF:} Reactive Information Flow Control for Java}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {70--88}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_7}, doi = {10.1007/978-3-030-19052-1\_7}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/KozyriAMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/LiskovGRRT19, author = {Moses D. Liskov and Joshua D. Guttman and John D. Ramsdell and Paul D. Rowe and F. Javier Thayer}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Enrich-by-Need Protocol Analysis for Diffie-Hellman}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {135--155}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_10}, doi = {10.1007/978-3-030-19052-1\_10}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/LiskovGRRT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Millen19, author = {Jonathan K. Millen}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {A Long, Slow Conversation}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {6--7}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_2}, doi = {10.1007/978-3-030-19052-1\_2}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/Millen19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/NigamTU19, author = {Vivek Nigam and Carolyn L. Talcott and Abra{\~{a}}o Aires Urquiza}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Symbolic Timed Trace Equivalence}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {89--111}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_8}, doi = {10.1007/978-3-030-19052-1\_8}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/NigamTU19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Pinsky19, author = {Sylvan Pinsky}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Cathy Meadows: {A} Central Figure in Protocol Analysis}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {1--5}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_1}, doi = {10.1007/978-3-030-19052-1\_1}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Pinsky19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/RoscoeW19, author = {Andrew William Roscoe and Lei Wang}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Key Agreement via Protocols}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {156--166}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_11}, doi = {10.1007/978-3-030-19052-1\_11}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/RoscoeW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Syverson19, author = {Paul Syverson}, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Key Reminiscences}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {8--14}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1\_3}, doi = {10.1007/978-3-030-19052-1\_3}, timestamp = {Fri, 24 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Syverson19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2019meadows, editor = {Joshua D. Guttman and Carl E. Landwehr and Jos{\'{e}} Meseguer and Dusko Pavlovic}, title = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, series = {Lecture Notes in Computer Science}, volume = {11565}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19052-1}, doi = {10.1007/978-3-030-19052-1}, isbn = {978-3-030-19051-4}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2019meadows.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.