Search dblp for Publications

export results for "toc:db/conf/birthday/hankin2020.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/Al-SibahiJMW15,
  author       = {Ahmad Salim Al{-}Sibahi and
                  Thomas P. Jensen and
                  Rasmus Ejlers M{\o}gelberg and
                  Andrzej Wasowski},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Galois Connections for Recursive Types},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {105--131},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_4},
  doi          = {10.1007/978-3-030-41103-9\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Al-SibahiJMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/AmtoftAC15,
  author       = {Torben Amtoft and
                  Kelly Androutsopoulos and
                  David Clark},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Correctly Slicing Extended Finite State Machines},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {149--197},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_6},
  doi          = {10.1007/978-3-030-41103-9\_6},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/AmtoftAC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BodeiDFG15,
  author       = {Chiara Bodei and
                  Pierpaolo Degano and
                  Gian{-}Luigi Ferrari and
                  Letterio Galletta},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Security Metrics at Work on the Things in IoT Systems},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {233--255},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_9},
  doi          = {10.1007/978-3-030-41103-9\_9},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BodeiDFG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/EvansB15,
  author       = {Richard Prideaux Evans and
                  Martin Berger},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Cathoristic Logic},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {17--85},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_2},
  doi          = {10.1007/978-3-030-41103-9\_2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/EvansB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Fielder15,
  author       = {Andrew Fielder},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Modelling the Impact of Threat Intelligence on Advanced Persistent
                  Threat Using Games},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_8},
  doi          = {10.1007/978-3-030-41103-9\_8},
  timestamp    = {Sat, 21 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Fielder15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Gay15,
  author       = {Simon J. Gay},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Cables, Trains and Types},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_1},
  doi          = {10.1007/978-3-030-41103-9\_1},
  timestamp    = {Sat, 21 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Gay15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Hunt015,
  author       = {Sebastian Hunt and
                  David Sands},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {New Program Abstractions for Privacy},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {256--267},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_10},
  doi          = {10.1007/978-3-030-41103-9\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Hunt015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/NielsonN15,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Secure Guarded Commands},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {201--215},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_7},
  doi          = {10.1007/978-3-030-41103-9\_7},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/NielsonN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/PandaPLL15,
  author       = {Sakshyam Panda and
                  Emmanouil Panaousis and
                  George Loukas and
                  Christos Laoudias},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Optimizing Investments in Cyber Hygiene for Protecting Healthcare
                  Users},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {268--291},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_11},
  doi          = {10.1007/978-3-030-41103-9\_11},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/PandaPLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Pierro15,
  author       = {Alessandra Di Pierro},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {A Type Theory for Probabilistic {\(\lambda\)}-calculus},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {86--102},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_3},
  doi          = {10.1007/978-3-030-41103-9\_3},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Pierro15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/SeidlEV15,
  author       = {Helmut Seidl and
                  Julian Erhard and
                  Ralf Vogler},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Incremental Abstract Interpretation},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {132--148},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_5},
  doi          = {10.1007/978-3-030-41103-9\_5},
  timestamp    = {Sat, 21 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/SeidlEV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2020hankin,
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9},
  doi          = {10.1007/978-3-030-41103-9},
  isbn         = {978-3-030-41102-2},
  timestamp    = {Sat, 21 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2020hankin.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.