EU - SOPHIA - Absicherung von Software gegen Physische Angriffe

Publikationen

Publikationen pro Jahr 2016 2017 2018 2019 2020 2021 2023

• 64 Beitrag in einem Konferenzband
• 11 Artikel
• 5 Working paper
• 1 Abstract
• 2 Mehr
  • 1 (Altdaten) Vortrag oder Präsentation
  • 1 Preprint

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2023

  Formal Verification of Arithmetic Masking in Hardware and Software

  Gigerl, B., Primas, R. & Mangard, S., 29 Mai 2023, Applied Cryptography and Network Security : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I. Tibouchi, M. & Wang, X. (Hrsg.). Cham: Springer, S. 3-32 30 S. (Lecture Notes in Computer Science; Band 13905).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Symmetric Algorithm 100%
  • Cryptography Algorithm 100%
  • Security Perspective 100%
• 2022

  FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication

  Schilling, R., Nasahl, P. & Mangard, S., 2022, COSADE: Constructive Side-Channel Analysis and Secure Design. Springer

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

• Repurposing Segmentation as a Practical LVI-NULL Mitigation in SGX

  Giner, L., Kogler, A., Canella, C. A., Schwarz, M. & Gruss, D., 10 Aug. 2022, 31th USENIX Security Symposium (USENIX Security 22). 17 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Legacy Hardware 100%

• SFIP: Coarse-Grained Syscall-Flow-Integrity Protection in Modern Systems

  Canella, C., Dorn, S., Gruss, D. & Schwarz, M., 28 Feb. 2022, 15 S.

  Publikation: Arbeitspapier › Working paper

  Datei

  • Integrity Protection 100%
  • Extracted Information 16%

• Statistical Effective Fault Attacks: The other Side of the Coin

  Vafaei, N., Zarei, S., Bagheri, N., Eichlseder, M., Primas, R. & Soleimany, H., 2022, in: IEEE Transactions on Information Forensics and Security. 17, S. 1855-1867 13 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access
• 2021

  A Fast and Compact RISC-V Accelerator for Ascon and Friends

  Steinegger, S. & Primas, R., 1 Jan. 2021, Smart Card Research and Advanced Applications - 19th International Conference, CARDIS 2020, Revised Selected Papers: 19th International Conference, CARDIS 2020, Virtual Event, November 18–19, 2020, Revised Selected Papers. Liardet, P-Y. & Mentens, N. (Hrsg.). Cham: Springer, S. 53-67 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12609 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Coprocessor 100%
  • Generation Number 100%

• Ascon v1.2: Lightweight Authenticated Encryption and Hashing

  Dobraunig, C., Eichlseder, M., Mendel, F. & Schläffer, M., 2021, in: Journal of Cryptology. 34, 3, 33.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

• Automating Seccomp Filter Generation for Linux Applications

  Canella, C. A., Werner, M., Gruss, D. & Schwarz, M., 15 Nov. 2021, CCSW'21 - Proceedings of the 2021 Cloud Computing Security Workshop. S. 139-151 13 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Linux 100%
  • Compiler 66%
  • Functionality 16%
  • Filtering 16%
  • Software Vulnerability 16%

• Ciminion: Symmetric Encryption Based on Toffoli-Gates over Large Finite Fields

  Dobraunig, C. E., Grassi, L., Guinet, A. & Kuijsters, D., 2021, (In Vorbereitung) Lecture Notes in Computer Science. 49 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  • Number 100%
  • Finite Field 100%
  • Symmetric Encryption 100%
  • Toffoli Gate 100%
  • Minimizes 83%

• Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs

  Gigerl, B., Hadzic, V., Primas, R., Mangard, S. & Bloem, R., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, S. 1469-1486 18 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Instruction Sequence 100%
  • Evaluation Board 50%

• CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory

  Nasahl, P., Schilling, R., Werner, M., Hoogerbrugge, J., Medwed, M. & Mangard, S., Mai 2021, ASIA CCS '21: Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security. Association of Computing Machinery, S. 200–212

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Memory Architecture 100%
  • Hardware Overhead 50%
  • Security Application 50%
  • Encryption Engine 50%
  • Security Strategy 50%

• Domain Page-Table Isolation

  Canella, C., Kogler, A., Giner, L., Gruss, D. & Schwarz, M., 21 Nov. 2021.

  Publikation: Arbeitspapier › Working paper

  Datei

  • String Comparisons 100%

• HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment

  Nasahl, P., Schilling, R., Werner, M. & Mangard, S., Mai 2021, ASIA CCS '21: Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security. Association of Computing Machinery, S. 187–199

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Secure Coprocessor 100%
  • Communication Interface 33%
  • Defense Strategy 33%
  • Execution State 33%

• Leakage Resilient Value Comparison With Application to Message Authentication

  Dobraunig, C. E. & Mennink, B., 2021, Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Standaert, F-X. (Hrsg.). Cham: Springer, Band 2. S. 377-407 31 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12697 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Message Authentication 100%
  • Message Authentication Code 50%

• PLATYPUS: Software-based Power Side-Channel Attacks on x86

  Lipp, M., Kogler, A., Oswald, D., Schwarz, M., Easdon, C., Canella, C. & Gruss, D., 23 Mai 2021, 2021 IEEE Symposium on Security and Privacy (SP). S. 355-371 17 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Specialized Equipment 100%

• Protecting Indirect Branches against Fault Attacks using ARM Pointer Authentication

  Nasahl, P., Schilling, R. & Mangard, S., 2021, Proceedings of the 2021 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021. S. 68-79 12 S. (Proceedings of the 2021 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Target Address 100%
  • Arbitrary Code Execution 50%
  • Commodity Device 50%

• SecWalk: Protecting Page Table Walks Against Fault Attacks

  Schilling, R., Nasahl, P., Weiglhofer, S. & Mangard, S., 2021, Proceedings of the 2021 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021. S. 56-67 12 S. (Proceedings of the 2021 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Page Table 100%
  • Direct Memory Access 20%
  • Microbenchmarks 20%
  • Virtual Memory 20%
  • Application Class 20%

• SERVAS! Secure Enclaves via RISC-V Authenticryption Shield

  Steinegger, S., Schrammel, D., Weiser, S., Nasahl, P. & Mangard, S., 7 Mai 2021, (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Preprint

  Datei

  • Security Analyst 100%

• SERVAS! Secure Enclaves via RISC-V Authenticryption Shield

  Steinegger, S., Schrammel, D., Weiser, S., Nasahl, P. & Mangard, S., 2 Okt. 2021, Computer Security – ESORICS 2021: 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part II. Bertino, E., Shulman, H. & Waidner, M. (Hrsg.). Cham: Springer, S. 370-391 22 S. (Lecture Notes in Computer Science; Band 12973).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Encryption 100%
  • Protection 33%
  • Reasoning 33%
  • Security Mechanism 33%
  • Security Challenge 33%

• Specfuscator: Evaluating Branch Removal as a Spectre Mitigation

  Schwarzl, M., Canella, C. A., Gruss, D. & Schwarz, M., 2021, Financial Cryptography and Data Security - 25th International Conference, FC 2021, Revised Selected Papers. Borisov, N. & Diaz, C. (Hrsg.). S. 293-310 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12674 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Branch Instruction 100%

• Systematic Analysis of Randomization-based Protected Cache Architectures

  Purnal, A., Giner, L., Gruß, D. & Verbauwhede, I., Aug. 2021, 2021 IEEE Symposium on Security and Privacy (SP). S. 987-1002

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Burst Access 100%
• 2020

  An Algebraic Attack on Ciphers with Low-Degree Round Functions: Application to Full MiMC

  Eichlseder, M., Grassi, L., Lüftenegger, R., Øygarden, M., Rechberger, C., Schofnegger, M. & Wang, Q., 1 Jan. 2020, Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings: 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7–11, 2020, Proceedings, Part . Moriai, S. & Wang, H. (Hrsg.). Cham: Springer, Band 1. S. 477-506 30 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12491 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Attack 100%
  • Application Function 100%
  • Differential Cryptanalysis 50%
  • Subkey 50%
  • Algorithms 14%

• Automating Seccomp Filter Generation for Linux Applications

  Canella, C., Werner, M., Gruss, D. & Schwarz, M., 4 Dez. 2020, 16 S.

  Publikation: Arbeitspapier › Working paper

  Datei

  • Linux 100%
  • Compiler 44%
  • Level Analysis 22%
  • Functionality 11%
  • Filtering 11%

• ConTExT: A Generic Approach for Mitigating Spectre

  Schwarz, M., Lipp, M., Canella, C. A., Schilling, R., Kargl, F. & Gruß, D., Feb. 2020, Network and Distributed System Security Symposium 2020. 18 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Out-of-Order Execution 100%
  • Modern Processor 100%
  • Speculative Execution 100%
  • secret data 100%

• Donky: Domain Keys – Efficient In-Process Isolation for RISC-V and x86

  Schrammel, D., Weiser, S., Steinegger, S., Schwarzl, M., Schwarz, M., Mangard, S. & Gruß, D., Aug. 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, S. 1677-1694 18 S. (Proceedings of the 29th USENIX Security Symposium).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Mode Emulation 100%
  • Process Context 100%

• Evolution of Defenses against Transient-Execution Attacks

  Canella, C. A., Pudukotai Dinakarrao, S. M., Gruß, D. & Khasawneh, K. N., 7 Sept. 2020, GLSVLSI 2020 - Proceedings of the 2020 Great Lakes Symposium on VLSI. ACM/IEEE, S. 169-174 6 S. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

  • Performance Optimization 100%
  • Boundary Protection 100%

• ISAP v2.0

  Dobraunig, C., Eichlseder, M., Mangard, S., Mendel, F., Mennink, B., Primas, R. & Unterluggauer, T., Juni 2020, in: IACR Transactions on Symmetric Cryptology. 2020, Special Issue 1, S. 390-416 27 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Protection 100%
  • Attack 100%
  • design rationale 50%
  • Encryption 50%
  • side-channel 50%

• KASLR: Break It, Fix It, Repeat

  Canella, C. A., Schwarz, M., Haubenwallner, M., Schwarzl, M. & Gruß, D., 5 Okt. 2020, Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020. ACM/IEEE, S. 481-493 13 S. (Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Microarchitecture 100%
  • Kernel Address Space 50%

• LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection

  Van Bulck, J., Moghimi, D., Schwarz, M., Lipp, M., Minkin, M., Genkin, D., Yarom, Y., Sunar, B., Gruß, D. & Piessens, F., 18 Mai 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers, Band 1. S. 54-72 19 S. 9152763. (Proceedings - IEEE Symposium on Security and Privacy; Band 2020-May).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Branch Prediction 100%
  • Vulnerable System 100%
  • Ret Instruction 100%
  • Pipeline Processor 100%

• Malware Guard Extension: abusing Intel SGX to conceal cache attacks

  Schwarz, M., Weiser, S., Gruß, D., Maurice, C. L. N. & Mangard, S., 1 Dez. 2020, in: Cybersecurity. 3, 1, 20 S., 2.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Attack 100%
  • Malware 100%
  • Hardware 37%
  • Operating Systems 37%
  • Software 25%

• Nethammer: Inducing Rowhammer Faults through Network Requests: Inducing Rowhammer Faults through Network Requests

  Lipp, M., Schwarz, M., Raab, L., Lamster, L., Aga, M. T., Maurice, C. & Gruss, D., Sept. 2020, 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). Institute of Electrical and Electronics Engineers, S. 710-719 10 S. 9229701

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Targeted System 100%
  • Denial-of-Service 100%

• Out of Oddity - New Cryptanalytic Techniques against Symmetric Primitives Optimized for Integrity Proof Systems

  Beyne, T., Canteaut, A., Dinur, I., Eichlseder, M., Leander, G., Leurent, G., Naya-Plasencia, M., Sasaki, Y., Todo, Y. & Wiemer, F., 1 Jan. 2020, Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, Proceedings. Micciancio, D. & Ristenpart, T. (Hrsg.). Springer, S. 299-328 30 S. (Lecture Notes in Computer Science; Band 12172).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Proof System 100%
  • Security Evaluation 50%
  • Cryptographic Technique 50%

• Plundervolt: Software-based fault injection attacks against intel SGX

  Murdock, K., Oswald, D., Garcia, F. D., Van Bulck, J., Gruss, D. & Piessens, F., Mai 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers, S. 1466-1482 17 S. 9152636

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Feature Scaling 100%
  • Processor Package 100%
  • Dynamic Voltage and Frequency Scaling 100%

• The Evolution of Transient-Execution Attacks

  Canella, C. A., Khasawneh, K. N. & Gruß, D., 7 Sept. 2020, GLSVLSI 2020 - Proceedings of the 2020 Great Lakes Symposium on VLSI. ACM/IEEE, S. 163-168 6 S. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

  • Check Permission 100%
  • Architectural State 100%
  • Out-of-Order Processor 100%

• Tightness of the Suffix Keyed Sponge Bound

  Dobraunig, C. E. & Mennink, B., Dez. 2020, in: IACR Transactions on Symmetric Cryptology. 2020, 4, S. 195-212 18 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Attack 100%
  • Forgery 100%
  • Evaluation 25%
  • side-channel 25%
  • Encryption Scheme 25%
• 2019

  A Systematic Evaluation of Transient Execution Attacks and Defenses

  Canella, C., Bulck, J. V., Schwarz, M., Lipp, M., Berg, B. V., Ortner, P., Piessens, F., Evtyushkin, D. & Gruss, D., 14 Aug. 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, S. 249-266 17 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Classification Tree 100%

• ConTExT: Leakage-Free Transient Execution

  Schwarz, M., Schilling, R., Kargl, F., Lipp, M., Canella, C. & Gruss, D., 22 Mai 2019, 14 S. (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Working paper

• Fallout: Leaking Data on Meltdown-resistant CPUs

  Canella, C. A., Genkin, D., Giner, L., Gruß, D., Lipp, M., Minkin, M., Moghimi, D., Piessens, F., Schwarz, M., Sunar, B., Bulck, J. V. & Yarom, Y., 12 Nov. 2019, CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. ACM/IEEE, S. 769-784 15 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Attack 100%
  • Software 40%
  • User 20%
  • Hardware 20%
  • Control Flow 20%

• Fault Attacks on Nonce-based Authenticated Encryption: Application to Keyak and Ketje

  Dobraunig, C. E., Mangard, S., Mendel, F. & Primas, R., 2019, Selected Areas in Cryptography – SAC 2018. Cid, C. & Jacobson, M. J. (Hrsg.). Springer, S. 257-277 21 S. (Lecture Notes in Computer Science; Band 11349).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Attack 100%
  • Encryption 100%
  • Attackers 57%
  • Decryption 42%
  • Encryption Scheme 42%

• JavaScript Template Attacks: Automatically Inferring Host Information for Targeted Exploits

  Schwarz, M., Lackner, F. & Gruss, D., 24 Feb. 2019, NDSS.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Practical Enclave Malware with Intel SGX

  Schwarz, M., Weiser, S. & Gruß, D., Juni 2019, Detection of Intrusions and Malware, and Vulnerability Assessment: 16th International Conference, DIMVA 2019, 2019. Cham: Springer International, S. 177-196 (Lecture Notes in Computer Science; Band 11543).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Malware 100%
  • User 33%
  • Attack 33%
  • Threat 33%
  • Code Reuse 16%

• Protecting RISC-V Processors against Physical Attacks

  Werner, M., Schilling, R., Unterluggauer, T. & Mangard, S., 2019, Design, Automation & Test in Europe Conference - DATE 2019. S. 1136-1141 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Conditional Branch 100%
  • Threat Model 100%
  • Comparison Result 100%
  • Pipeline Stage 100%

• ScatterCache: Thwarting Cache Attacks via Cache Set Randomization

  Werner, M., Unterluggauer, T., Giner, L., Schwarz, M., Gruß, D. & Mangard, S., Aug. 2019, 28th USENIX Security Symposium (USENIX Security 19). Santa Clara, CA: USENIX Association, S. 675-692

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Software Change 100%
  • Attacker Model 100%
  • Associative Cache 100%

• SGXJail: Defeating Enclave Malware via Confinement

  Weiser, S., Mayr, L., Schwarz, M. & Gruß, D., Sept. 2019, RAID 2019 Proceedings: Proceedings of the 22nd International Symposium on Research in Attacks, Intrusions and Defenses. USENIX Association, S. 353-366

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

• Small faults grow up - Verification of error masking robustness in arithmetically encoded programs

  Karl, A. F., Schilling, R., Bloem, R. & Mangard, S., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (Hrsg.). Springer, S. 183-204 22 S. (Lecture Notes in Computer Science; Band 11388).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Arithmetic Code 100%
  • Data Program 100%
  • model checker 100%
  • Injected Fault 100%

• Spectre Attacks: Exploiting Speculative Execution

  Kocher, P., Horn, J., Fogh, A., Genkin, D., Gruss, D., Haas, W., Hamburg, M., Lipp, M., Mangard, S., Prescher, T., Schwarz, M. & Yarom, Y., 20 Mai 2019, 40th IEEE Symposium on Security and Privacy.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Store-to-Leak Forwarding: Leaking Data on Meltdown-resistant CPUs

  Schwarz, M., Canella, C., Giner, L. & Gruss, D., 14 Mai 2019, (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Working paper
• 2018

  Another Flip in the Wall of Rowhammer Defenses

  Gruss, D., Lipp, M., Schwarz, M., Genkin, D., Juffinger, J., O'Connell, S., Schoechl, W. & Yarom, Y., 31 Jan. 2018, (Elektronische Veröffentlichung vor Drucklegung.) 39th IEEE Symposium on Security and Privacy 2018.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

• A unified masking approach

  Gross, H. & Mangard, S., 1 März 2018, in: Journal of Cryptographic Engineering.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Autonomous Device 100%

• Automated Detection, Exploitation, and Elimination of Double-Fetch Bugs using Modern CPU Features

  Schwarz, M., Gruss, D., Lipp, M., Maurice, C., Schuster, T., Fogh, A. & Mangard, S., 4 Juni 2018, AsiaCCS' 18, Proceedings of the 2018 on Asia Conference on Computer and Communications Security . New York, NY: Association of Computing Machinery, S. 587-600

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung