Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hipeac/DelangeNFK16,
  author       = {Julien Delange and
                  Min{-}Young Nam and
                  Peter H. Feiler and
                  Will Klieber},
  editor       = {Sergey Tverdyshev},
  title        = {An Architecture-Centric Process for {MILS} Development},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47976},
  doi          = {10.5281/ZENODO.47976},
  timestamp    = {Thu, 02 Aug 2018 14:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/DelangeNFK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/FurgelSWMSB16,
  author       = {Igor Furgel and
                  Viola Saftig and
                  Tobias Wagner and
                  Kevin M{\"{u}}ller and
                  Reinhard Schwarz and
                  Axel S{\"{o}}ding{-}Freiherr von Blomberg},
  editor       = {Sergey Tverdyshev},
  title        = {Non-Interfering Composed Evaluation},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47979},
  doi          = {10.5281/ZENODO.47979},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/FurgelSWMSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/HerpelKMESK16,
  author       = {Hans{-}J{\"{u}}rgen Herpel and
                  M. Kerep and
                  G. Montano and
                  Knut Eckstein and
                  M. Sch{\"{o}}n and
                  A. Krutak},
  editor       = {Sergey Tverdyshev},
  title        = {{MILS} Compliant Software Architecture for Satellites},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47973},
  doi          = {10.5281/ZENODO.47973},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/HerpelKMESK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/KoolenS16,
  author       = {Ruud Koolen and
                  Julien Schmaltz},
  editor       = {Sergey Tverdyshev},
  title        = {Modeling Information Routing with Noninterference},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47980},
  doi          = {10.5281/ZENODO.47980},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/KoolenS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/KortR16,
  author       = {Semen Kort and
                  Ekaterina Rudina},
  editor       = {Sergey Tverdyshev},
  title        = {The Security for Safety Problem in Cyberphysical Systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47977},
  doi          = {10.5281/ZENODO.47977},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/KortR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/MaciazekNN16,
  author       = {Tomasz Maciazek and
                  Hanne Riis Nielson and
                  Flemming Nielson},
  editor       = {Sergey Tverdyshev},
  title        = {Content-Dependent Security Policies in Avionics},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47981},
  doi          = {10.5281/ZENODO.47981},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/MaciazekNN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Parkinson16,
  author       = {Paul J. Parkinson},
  editor       = {Sergey Tverdyshev},
  title        = {Applying {MILS} to multicore avionics systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47978},
  doi          = {10.5281/ZENODO.47978},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Parkinson16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/RauterHKK16,
  author       = {Tobias Rauter and
                  Andrea H{\"{o}}ller and
                  Nermin Kajtazovic and
                  Christian Kreiner},
  editor       = {Sergey Tverdyshev},
  title        = {Asset-Centric Security Risk Assessment of Software Components},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47992},
  doi          = {10.5281/ZENODO.47992},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/RauterHKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Tverdyshev16,
  author       = {Sergey Tverdyshev},
  editor       = {Sergey Tverdyshev},
  title        = {{EURO-MILS:} Building and certifying modular secure systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47975},
  doi          = {10.5281/ZENODO.47975},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Tverdyshev16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hipeac/2016mils,
  editor       = {Sergey Tverdyshev},
  title        = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {http://mils-workshop-2016.mils.community/},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/2016mils.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.