Search Results - Humbel, Lukas

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Formalizing Memory Accesses and Interrupts

    Formalizing Memory Accesses and Interrupts by Achermann, Reto, Humbel, Lukas, Cock, David, Roscoe, Timothy

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Memory-Side Protection With a Capability Enforcement Co-Processor

    Memory-Side Protection With a Capability Enforcement Co-Processor by Azriel, Leonid, Humbel, Lukas, Achermann, Reto, Richardson, Alex, Hoffmann, Moritz, Mendelson, Avi, Roscoe, Timothy, Watson, Robert N. M., Faraboschi, Paolo, Milojicic, Dejan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    [Solution] Prepare your video for streaming with Segue

    [Solution] Prepare your video for streaming with Segue by Licciardello, Melissa, Humbel, Lukas, Rohr, Fabian, Grüner, Maximilian, Singla, Ankit

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Prepare your video for streaming with Segue

    Prepare your video for streaming with Segue by Licciardello, Melissa, Humbel, Lukas, Rohr, Fabian, Grüner, Maximilian, Singla, Ankit

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Formalizing Memory Accesses and Interrupts

    Formalizing Memory Accesses and Interrupts by Achermann, Reto, Humbel, Lukas, Cock, David, Roscoe, Timothy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Flexible Swapping for the Cloud

    Flexible Swapping for the Cloud by Pandurov, Milan, Humbel, Lukas, Sepp, Dmitry, Adamos Ttofari, Thomm, Leon, Do Le Quoc, Chandrasekaran, Siddharth, Santhanam, Sharan, Ye, Chuan, Bergman, Shai, Wang, Wei, Lundgren, Sven, Sagonas, Konstantinos, Ros, Alberto

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Secure Memory Management on Modern Hardware

    Secure Memory Management on Modern Hardware by Achermann, Reto, Hossle, Nora, Humbel, Lukas, Schwyn, Daniel, Cock, David, Roscoe, Timothy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer

    CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer by Haecki, Roni, Humbel, Lukas, Achermann, Reto, Cock, David, Schwyn, Daniel, Roscoe, Timothy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    A Least-Privilege Memory Protection Model for Modern Hardware

    A Least-Privilege Memory Protection Model for Modern Hardware by Achermann, Reto, Hossle, Nora, Humbel, Lukas, Schwyn, Daniel, Cock, David, Roscoe, Timothy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Controlled-release experiment to investigate uncertainties in UAV-based emission quantification for methane point sources

    Controlled-release experiment to investigate uncertainties in UAV-based emission quantification for methane point sources by Morales, Randulph, Ravelid, Jonas, Vinkovic, Katarina, KorbeÅ, Piotr, Tuzson, Béla, Emmenegger, Lukas, Chen, Huilin, Schmidt, Martina, Humbel, Sebastian, Brunner, Dominik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Reformdschungel

    Reformdschungel by Rühli, Lukas, Humbel, Ruth, Medici, Gabriela

    Published in Schweizer Monatshefte
    Get full text
    Magazinearticle
    Save to List
    Saved in:

Search Tools: