Hybrid Monitors for Concurrent Noninterference

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

DOI

  • Aslan Askarov
  • Stephen Chong, Harvard University, United States
  • Heiko antel Mantel, TU Darmstadt, Germany
Original languageEnglish
Title of host publication28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings
EditorsLuca Viganò
Number of pages15
PublisherIEEE Computer Society Press
Publication year2015
Pages137 - 151
ISBN (print)978-1-4673-7538-2
DOIs
Publication statusPublished - 2015
Event IEEE Computer Security Foundations Symposium - Verona, Italy
Duration: 13 Jul 201517 Jul 2015
Conference number: 28

Conference

Conference IEEE Computer Security Foundations Symposium
Nummer28
LandItaly
ByVerona
Periode13/07/201517/07/2015

See relations at Aarhus University Citationformats

ID: 93326161