Search dblp for Publications

export results for "toc:db/conf/hipeac/mils2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/hipeac/FurgelS17,
  author       = {Igor Furgel and
                  Viola Saftig},
  editor       = {Sergey Tverdyshev},
  title        = {{MILS} Complete Separation Platform Protection Profile},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571161},
  doi          = {10.5281/ZENODO.571161},
  timestamp    = {Fri, 21 Sep 2018 12:12:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/FurgelS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/KortKR17,
  author       = {Semen Kort and
                  Dmitry Kulagin and
                  Ekaterina Rudina},
  editor       = {Sergey Tverdyshev},
  title        = {An approach to Separation of Duties validation for {MILS} security
                  configurations},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571156},
  doi          = {10.5281/ZENODO.571156},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/KortKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/MeriacY17,
  author       = {Milosch Meriac and
                  Joseph Yiu},
  editor       = {Sergey Tverdyshev},
  title        = {High-End Security Features for Low-End Microcontrollers},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571158},
  doi          = {10.5281/ZENODO.571158},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/MeriacY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/MuchGLBW17,
  author       = {Alexander Much and
                  Rudolf Grave and
                  Robert Leibinger and
                  Martin B{\"{o}}hner and
                  Elisabeth Waitz},
  editor       = {Sergey Tverdyshev},
  title        = {Current Trends and Solutions in Securing Automotive Software},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571167},
  doi          = {10.5281/ZENODO.571167},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/MuchGLBW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Mueller17,
  author       = {Kevin Mueller},
  editor       = {Sergey Tverdyshev},
  title        = {Hardening High-Assurance Systems: {MILS} as Software Design for Avionics},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571160},
  doi          = {10.5281/ZENODO.571160},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Mueller17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/NollW17,
  author       = {Thomas Noll and
                  Louis Wachtmeister},
  editor       = {Sergey Tverdyshev},
  title        = {Analysing Cryptographically-Masked Information Flows in {MILS-AADL}
                  Specifications},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571173},
  doi          = {10.5281/ZENODO.571173},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/NollW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/NordhoffB17,
  author       = {Sven Nordhoff and
                  Holger Blasum},
  editor       = {Sergey Tverdyshev},
  title        = {Ease Standard Compliance by Technical Means via {MILS}},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571175},
  doi          = {10.5281/ZENODO.571175},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/NordhoffB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Steiner17,
  author       = {Wilfred Steiner},
  editor       = {Sergey Tverdyshev},
  title        = {Fog Computing as Enabler for the Industrial Internet of Things / Industrie
                  4.0: Slides},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571163},
  doi          = {10.5281/ZENODO.571163},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Steiner17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Tverdyshev17,
  author       = {Sergey Tverdyshev},
  editor       = {Sergey Tverdyshev},
  title        = {Security by Design: Introduction to {MILS}},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571164},
  doi          = {10.5281/ZENODO.571164},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Tverdyshev17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Waters17,
  author       = {Geoff Waters},
  editor       = {Sergey Tverdyshev},
  title        = {Hardware enforced separation in embedded multicore SoCs},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.571172},
  doi          = {10.5281/ZENODO.571172},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Waters17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hipeac/2017mils,
  editor       = {Sergey Tverdyshev},
  title        = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, {MILS} 2017, N{\"{u}}rnberg, Germany, March 14, 2017},
  publisher    = {Zenodo},
  year         = {2017},
  url          = {http://mils-workshop-2017.mils.community/},
  timestamp    = {Fri, 21 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/2017mils.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.