Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/kisv/AthalyeKZT23,
  author       = {Anish Athalye and
                  M. Frans Kaashoek and
                  Nickolai Zeldovich and
                  Joseph Tassarotti},
  title        = {The {K2} Architecture for Trustworthy Hardware Security Modules},
  booktitle    = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {26--32},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275.3625402},
  doi          = {10.1145/3625275.3625402},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/AthalyeKZT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kisv/Chen0MNB23,
  author       = {Xiangdong Chen and
                  Zhaofeng Li and
                  Lukas Mesicek and
                  Vikram Narayanan and
                  Anton Burtsev},
  title        = {Atmosphere: Towards Practical Verified Kernels in Rust},
  booktitle    = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {9--17},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275.3625401},
  doi          = {10.1145/3625275.3625401},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/Chen0MNB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kisv/ChienBYHKLOD23,
  author       = {Yi Chien and
                  Vlad{-}Andrei Badoiu and
                  Yudi Yang and
                  Yuqian Huo and
                  Kelly Kaoudis and
                  Hugo Lefeuvre and
                  Pierre Olivier and
                  Nathan Dautenhahn},
  title        = {{CIVSCOPE:} Analyzing Potential Memory Corruption Bugs in Compartment
                  Interfaces},
  booktitle    = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {33--40},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275.3625399},
  doi          = {10.1145/3625275.3625399},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/ChienBYHKLOD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kisv/FiedlerMSSR23,
  author       = {Ben Fiedler and
                  Roman Meier and
                  Jasmin Schult and
                  Daniel Schwyn and
                  Timothy Roscoe},
  title        = {Specifying the de-facto {OS} of a production SoC},
  booktitle    = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {18--25},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275.3625400},
  doi          = {10.1145/3625275.3625400},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/FiedlerMSSR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kisv/IjazB023,
  author       = {Ramla Ijaz and
                  Kevin Boos and
                  Lin Zhong},
  title        = {Leveraging Rust for Lightweight {OS} Correctness},
  booktitle    = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275.3625398},
  doi          = {10.1145/3625275.3625398},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/IjazB023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kisv/SchuermannTL23,
  author       = {Leon Schuermann and
                  Arun Thomas and
                  Amit Levy},
  title        = {Encapsulated Functions: Fortifying Rust's {FFI} in Embedded Systems},
  booktitle    = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {41--48},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275.3625397},
  doi          = {10.1145/3625275.3625397},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/SchuermannTL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/kisv/2023,
  title        = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275},
  doi          = {10.1145/3625275},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}