BibTeX records: Jens Sauer

download as .bib file

@article{DBLP:journals/afp/GreweLMS14,
  author    = {Sylvia Grewe and
               Alexander Lux and
               Heiko Mantel and
               Jens Sauer},
  title     = {A Formalization of Declassification with WHAT-and-WHERE-Security},
  journal   = {Arch. Formal Proofs},
  volume    = {2014},
  year      = {2014},
  url       = {https://www.isa-afp.org/entries/WHATandWHERE\_Security.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/GreweLMS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/GreweLMS14a,
  author    = {Sylvia Grewe and
               Alexander Lux and
               Heiko Mantel and
               Jens Sauer},
  title     = {A Formalization of Strong Security},
  journal   = {Arch. Formal Proofs},
  volume    = {2014},
  year      = {2014},
  url       = {https://www.isa-afp.org/entries/Strong\_Security.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/GreweLMS14a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MantelPS14,
  author    = {Heiko Mantel and
               Matthias Perner and
               Jens Sauer},
  title     = {Noninterference under Weak Memory Models},
  booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
               Austria, 19-22 July, 2014},
  pages     = {80--94},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://doi.org/10.1109/CSF.2014.14},
  doi       = {10.1109/CSF.2014.14},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/MantelPS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/SeegerLSB13,
  author    = {Christian Seeger and
               Kristof Van Laerhoven and
               Jens Sauer and
               Alejandro P. Buchmann},
  title     = {A Publish/Subscribe Middleware for Body and Ambient Sensor Networks
               that Mediates between Sensors and Applications},
  booktitle = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
               2013, 9-11 September, 2013, Philadelphia, PA, {USA}},
  pages     = {199--208},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/ICHI.2013.30},
  doi       = {10.1109/ICHI.2013.30},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/ichi/SeegerLSB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics