We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Quantile: Quantifying Information Leakage
Hadzic V., Cassiers G., Primas R., Mangard S., Bloem R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2024(1), 433-456
Cryptographically Enforced Memory Safety
Unterguggenberger M., Schrammel D., Lamster L., Nasahl P., Mangard S.
CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 30th ACM Conference on Computer and Communications Security, 889-903, (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security)
Collide+Power: Leaking Inaccessible Data with Software-based Power Side Channels
Kogler A., Juffinger J., Giner L., Gerlach L., Schwarzl M., Schwarz M., Gruß D., Mangard S.
32nd USENIX Security Symposium, USENIX Security 2023, 32nd USENIX Security Symposium, 7285-7302
Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging
Unterguggenberger M., Schrammel D., Nasahl P., Schilling R., Lamster L., Mangard S.
ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023 ACM ASIA Conference on Computer and Communications Security, 177-189, (Proceedings of the ACM Conference on Computer and Communications Security)
SPEAR-V: Secure and Practical Enclave Architecture for RISC-V
Schrammel D., Waser M., Lamster L., Unterguggenberger M., Mangard S.
ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023 ACM ASIA Conference on Computer and Communications Security, 457-468, (Proceedings of the ACM Conference on Computer and Communications Security)
Secure Context Switching of Masked Software Implementations
Gigerl B., Primas R., Mangard S.
ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 18th ACM ASIA Conference on Computer and Communications Security, 980-992, (Proceedings of the ACM Conference on Computer and Communications Security)
Scatter and Split Securely: Defeating Cache Contention and Occupancy Attacks
Giner L., Steinegger S., Purnal A., Eichlseder M., Unterluggauer T., Mangard S., Gruß D.
2023 IEEE Symposium on Security and Privacy (SP), 44th IEEE Symposium on Security and Privacy, 2273-2287
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan
Nasahl P., Mangard S.
GLSVLSI 2023 - Proceedings of the Great Lakes Symposium on VLSI 2023, 2023 ACM Great Lakes Symposium on VLSI, 45 - 50, (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI)
Formal Verification of Arithmetic Masking in Hardware and Software
Gigerl B., Primas R., Mangard S.
Applied Cryptography and Network Security , 21st International Conference on Applied Cryptography and Network Security, 3-32, (Lecture Notes in Computer Science; vol. 13905)
HashTag: Hash-based Integrity Protection for Tagged Architectures
Lamster L., Unterguggenberger M., Schrammel D., Mangard S.
Proceedings of the 32nd USENIX Security Symposium, 32nd USENIX Security Symposium, 2797-2814
SCFI: State Machine Control-Flow Hardening Against Fault Attacks
Nasahl P., Unterguggenberger M., Nagpal R., Schilling R., Schrammel D., Mangard S.
2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings, Design, Automation & Test in Europe Conference & Exhibition, (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2023-April)
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks
Nasahl P., Sultana S., Liljestrand H., Grewal K., LeMay M., Durham D., Schrammel D., Mangard S.
Proceedings of the 2023 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2023, IEEE International Symposium on Hardware Oriented Security and Trust, 24-35
MEMES: Memory Encryption-based Memory Safety on Commodity Hardware
Schrammel D., Sultana S., Grewal K., LeMay M., Durham D., Unterguggenberger M., Nasahl P., Mangard S.
SECRYPT 2023 - Proceedings of the 20th International Conference on Security and Cryptography, 20th International Conference on Security and Cryptography: SECRYPT 2023, 25-36
Power Contracts: Provably Complete Power Leakage Models for Processors
Bloem R., Gigerl B., Gourjon M., Hadzic V., Mangard S., Primas R.
CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022 ACM SIGSAC Conference on Computer and Communications Security, 381-395, (Proceedings of the ACM Conference on Computer and Communications Security)
SFP: Providing System Call Flow Protection against Software and Fault Attacks
Schilling R., Nasahl P., Unterguggenberger M., Mangard S.
HASP 2022 - Hardware and Architectural Support for Security and Privacy, Hardware and Architectural Support for Security and Privacy, 18-26
SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element
Nasahl P., Osorio M., Vogel P., Schaffner M., Trippel T., Rizzo D., Mangard S.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2022(4), 56–87
Riding the Waves Towards Generic Single-Cycle Masking in Hardware
Nagpal R., Gigerl B., Primas R., Mangard S.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2022(4), 693–717
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication
Schilling R., Nasahl P., Mangard S.
COSADE: Constructive Side-Channel Analysis and Secure Design, COSADE 2022
Jenny: Securing Syscalls for PKU-based Memory Isolation Systems
Schrammel D., Weiser S., Sadek R., Mangard S.
Proceedings of the 31st USENIX Security Symposium, 31st USENIX Security Symposium
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield
Steinegger S., Schrammel D., Weiser S., Nasahl P., Mangard S.
Computer Security – ESORICS 2021, 26th European Symposium on Research in Computer Security, 370-391, (Lecture Notes in Computer Science; vol. 12973)