Research output per year
Research output per year
- 12 results
Search results
-
2022
Threat Repair with Optimization Modulo Theories
Tarrach, T., Ebrahimi, M., König, S., Schmittner, C., Bloem, R. & Nickovic, D., 6 Oct 2022.Research output: Working paper › Preprint
File -
2021
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield
Steinegger, S., Schrammel, D., Weiser, S., Nasahl, P. & Mangard, S., 7 May 2021, (arXiv.org e-Print archive).Research output: Working paper › Preprint
File -
2020
Adaptive Shielding under Uncertainty
Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 8 Oct 2020, 8 p. (arXiv.org e-Print archive).Research output: Working paper › Preprint
-
It's Time to Play Safe: Shield Synthesis for Timed Systems
Bloem, R., Jensen, P. G., Könighofer, B., Larsen, K. G., Lorber, F. & Palmisano, A. M., 30 Jun 2020, 19 p. (arXiv.org e-Print archive).Research output: Working paper › Preprint
-
Speculative Dereferencing of Registers:Reviving Foreshadow
Schwarzl, M., Schuster, T., Schwarz, M. & Gruss, D., 5 Aug 2020, 16 p. (arXiv.org e-Print archive).Research output: Working paper › Preprint
-
2019
Practical Enclave Malware with Intel SGX
Schwarz, M., Weiser, S. & Gruss, D., 8 Feb 2019, (arXiv.org e-Print archive).Research output: Working paper › Preprint
-
2018
Expansion-Based QBF Solving Without Recursion
Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F. & Seidl, M., 2018, (arXiv.org e-Print archive).Research output: Working paper › Preprint
-
Meltdown
Lipp, M., Schwarz, M., Gruss, D., Prescher, T., Haas, W., Mangard, S., Kocher, P., Genkin, D., Yarom, Y. & Hamburg, M., 3 Jan 2018, (arXiv.org e-Print archive).Research output: Working paper › Preprint
-
Nethammer: Inducing Rowhammer Faults through Network Requests
Lipp, M., Aga, M. T., Schwarz, M., Gruss, D., Maurice, C., Raab, L. & Lamster, L., 13 May 2018, 10 p. (arXiv.org e-Print archive).Research output: Working paper › Preprint
File -
NetSpectre: Read Arbitrary Memory over Network
Schwarz, M., Schwarzl, M., Lipp, M. & Gruss, D., 27 Jul 2018, (arXiv.org e-Print archive).Research output: Working paper › Preprint
File -
Sharing Independence Relabeling: Efficient Formal Verification of Higher-Order Masking
Bloem, R., Groß, H., Iusupov, R., Krenn, M. & Mangard, S., 2018, 19 p.Research output: Working paper › Preprint
-
Shielded Decision-Making in MDPs
Jansen, N., Könighofer, B., Junges, S. & Bloem, R., 2018, (arXiv.org e-Print archive).Research output: Working paper › Preprint