Search dblp for Publications

export results for "toc:db/conf/secsr/ssr2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/secsr/BalducciniV18,
  author       = {Marcello Balduccini and
                  Claire Vishik},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Building Blocks in Standards: Improving Consistency in Standardization
                  with Ontology and Reasoning},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {76--94},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_5},
  doi          = {10.1007/978-3-030-04762-7\_5},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/secsr/BalducciniV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/BhargavanKS18,
  author       = {Karthikeyan Bhargavan and
                  Franziskus Kiefer and
                  Pierre{-}Yves Strub},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {hacspec: Towards Verifiable Crypto Standards},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_1},
  doi          = {10.1007/978-3-030-04762-7\_1},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secsr/BhargavanKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/BruniJPS18,
  author       = {Alessandro Bruni and
                  Thorvald Sahl J{\o}rgensen and
                  Theis Gr{\o}nbech Petersen and
                  Carsten Sch{\"{u}}rmann},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Formal Verification of Ephemeral Diffie-Hellman Over {COSE} {(EDHOC)}},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {21--36},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_2},
  doi          = {10.1007/978-3-030-04762-7\_2},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secsr/BruniJPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/HalpinEM18,
  author       = {Harry Halpin and
                  Ksenia Ermoshina and
                  Francesca Musiani},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure
                  Messaging Protocols},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {56--75},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_4},
  doi          = {10.1007/978-3-030-04762-7\_4},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secsr/HalpinEM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/Hurley-SmithH18,
  author       = {Darren Hurley{-}Smith and
                  Julio C. Hernandez{-}Castro},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Great Expectations: {A} Critique of Current Approaches to Random Number
                  Generation Testing {\&} Certification},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {143--163},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_8},
  doi          = {10.1007/978-3-030-04762-7\_8},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/secsr/Hurley-SmithH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/Kelsey18,
  author       = {John Kelsey},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {The New Randomness Beacon Format Standard: An Exercise in Limiting
                  the Power of a Trusted Third Party},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {164--184},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_9},
  doi          = {10.1007/978-3-030-04762-7\_9},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secsr/Kelsey18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/KhanDM18,
  author       = {Haibat Khan and
                  Benjamin Dowling and
                  Keith M. Martin},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Identity Confidentiality in 5G Mobile Telephony Systems},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {120--142},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_7},
  doi          = {10.1007/978-3-030-04762-7\_7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/secsr/KhanDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/KhanG0N18,
  author       = {Mohsin Khan and
                  Philip Ginzboorg and
                  Kimmo J{\"{a}}rvinen and
                  Valtteri Niemi},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Defeating the Downgrade Attack on Identity Privacy in 5G},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {95--119},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_6},
  doi          = {10.1007/978-3-030-04762-7\_6},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secsr/KhanG0N18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secsr/TeichelH18,
  author       = {Kristof Teichel and
                  Gregor Hildermeier},
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Experimental Evaluation of Attacks on TESLA-Secured Time Synchronization
                  Protocols},
  booktitle    = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  pages        = {37--55},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7\_3},
  doi          = {10.1007/978-3-030-04762-7\_3},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secsr/TeichelH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/secsr/2018,
  editor       = {Cas Cremers and
                  Anja Lehmann},
  title        = {Security Standardisation Research - 4th International Conference,
                  {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11322},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04762-7},
  doi          = {10.1007/978-3-030-04762-7},
  isbn         = {978-3-030-04761-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/secsr/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.