65 Einträge gefunden

1. Tool-supported mini-app extraction to facilitate program analysis and parallelization

   1. Lehr, Jan Patrick
   2. Bischof, Christian
   3. Dewald, Florian
   4. Mantel, Heiko
   5. Norouzi, Mohammad
   6. Wolf, Felix A.

   2021 - TUHH Open Research
2. Cache-side-channel quantification and mitigation for quantum cryptography

   1. Weber, Alexandra
   2. Nikiforov, Oleg
   3. Sauer, Alexander
   4. Schickel, Johannes
   5. Alber, Gernot
   6. Mantel, Heiko
   7. Walther, Thomas

   2021 - TUHH Open Research
3. Design-time performance modeling of compositional parallel programs

   1. Czappa, Fabian
   2. Calotoiu, Alexandru
   3. Höhl, Thomas
   4. Mantel, Heiko
   5. Nguyen, Toni
   6. Wolf, Felix A.

   2021 - TUHH Open Research
4. RiCaSi: Rigorous cache side channel mitigation via selective circuit compilation

   1. Mantel, Heiko
   2. Scheidel, Lukas
   3. Schneider, Thomas
   4. Weber, Alexandra
   5. Weinert, Christian
   6. Weißmantel, Tim

   2020 - TUHH Open Research
5. A unifying framework for dynamic monitoring and a taxonomy of optimizations

   1. Jakobs, Marie-Christine
   2. Mantel, Heiko

   2020 - TUHH Open Research
6. Automating Software Re-engineering: Introduction to the ISoLA 2020 Track

   1. Demeyer, Serge
   2. Hähnle, Reiner
   3. Mantel, Heiko

   2020 - TUHH Open Research
7. On the meaning and purpose of attack trees

   1. Mantel, Heiko
   2. Probst, Christian W.

   2019 - TUHH Open Research
8. Designing efficient parallel software via compositional performance modeling

   1. Calotoiu, Alexandru
   2. Höhl, Thomas
   3. Mantel, Heiko
   4. Nguyen, Toni
   5. Wolf, Felix A.

   2019 - TUHH Open Research
9. Decentralized dynamic security enforcement for mobile applications with CliSeAuDroid

   1. Hamann, Tobias
   2. Mantel, Heiko

   2018 - TUHH Open Research
10. A uniform Information-flow security benchmark suite for source code and bytecode

    1. Hamann, Tobias
    2. Herda, Mihai
    3. Mantel, Heiko
    4. Mohr, Martin
    5. Schneider, David
    6. Tasch, Markus

    2018 - TUHH Open Research
11. How secure is green IT? The case of software-based energy side channels

    1. Mantel, Heiko
    2. Schickel, Johannes
    3. Weber, Alexandra
    4. Weber, Friedrich

    2018 - TUHH Open Research
12. A comparative study across static and dynamic side-channel countermeasures

    1. Dantas, Yuri Gil
    2. Hamann, Tobias
    3. Mantel, Heiko

    2018 - TUHH Open Research
13. An evaluation of bucketing in systems with non-deterministic timing behavior

    1. Dantas, Yuri Gil
    2. Gay, Richard
    3. Hamann, Tobias
    4. Mantel, Heiko
    5. Schickel, Johannes

    2018 - TUHH Open Research
14. Taming message-passing communication in compositional reasoning about confidentiality

    1. Li, Ximeng
    2. Mantel, Heiko
    3. Tasch, Markus

    2017 - TUHH Open Research
15. Towards accelerated usage control based on access correlations

    1. Gay, Richard
    2. Hu, Jinwei
    3. Mantel, Heiko
    4. Schickel, Johannes

    2017 - TUHH Open Research
16. A systematic study of cache side channels across AES implementations

    1. Mantel, Heiko
    2. Weber, Alexandra
    3. Köpf, Boris

    2017 - TUHH Open Research
17. AVR processors as a platform for language-based security

    1. Dewald, Florian
    2. Mantel, Heiko
    3. Weber, Alexandra

    2017 - TUHH Open Research
18. Relationship-based access control for resharing in decentralized online social networks

    1. Gay, Richard
    2. Hu, Jinwei
    3. Mantel, Heiko
    4. Mazaheri, Sogol

    2017 - TUHH Open Research
19. Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics

    1. Bindel, Nina
    2. Buchmann, Johannes
    3. Krämer, Juliane
    4. Mantel, Heiko
    5. Schickel, Johannes
    6. Weber, Alexandra

    2017 - TUHH Open Research
20. Scalable offline monitoring of temporal specifications

    1. Basin, David
    2. Caronni, Germano
    3. Ereth, Sarah
    4. Harvan, Matúš
    5. Klaedtke, Felix Christopher
    6. Mantel, Heiko

    2016 - TUHH Open Research