Publications and Talks

Integrity of virtual testing for crash protection

Galijatovic E., Eichlseder M., Heindl S., Klug C.
Frontiers in Future Transportation, Vol. 3

Medha: Microcoded Hardware Accelerator for computing on Encrypted Data

Mert A., Aikata A., Kwon S., Shiin Y., Yoo D., Lee Y., Sinha Roy S.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2023(1), 463-500

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)

Shorter Signatures Based on Tailor-Made Minimalist Symmetric-Key Crypto

Dobraunig C., Kales D., Rechberger C., Schofnegger M., Zaverucha G.
CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 29th ACM Conference on Computer and Communications Security, 843–857, (Proceedings of the ACM Conference on Computer and Communications Security)

Reinforced Concrete: A Fast Hash Function for Verifiable Computation

Lüftenegger R., Rechberger C., Grassi L., Schofnegger M., Walch R., Khovratovich D.
CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022 ACM SIGSAC Conference on Computer and Communications Security, 1323–1335, (Proceedings of the ACM Conference on Computer and Communications Security)

Adaptive testing for specification coverage and refinement in CPS models

Bartocci E., Bloem R., Maderbacher B., Manjunath N., Nickovic D.
Nonlinear Analysis: Hybrid Systems, Vol. 46

Fault Analysis of the PRINCE Family of Lightweight Ciphers

Kundu A., Aikata A., Karmakar B., Saha D.
Journal of Cryptographic Engineering, Vol. 12(4), 475–494

Time-Memory Trade-Offs for Saber+ on Memory-Constrained RISC-V Platform

Zhang J., Huang J., Liu Z., Sinha Roy S.
IEEE Transactions on Computers, Vol. 71(11), 2996-3007

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

Robust and Scalable Process Isolation against Spectre in the Cloud

Schwarzl M., Borrello P., Kogler A., Varda K., Schuster T., Schwarz M., Gruß D.
European Symposium on Research in Computer Security (ESORICS), 27th European Symposium on Research in Computer Security

Online shielding for reinforcement learning

Könighofer B., Rudolf J., Palmisano A., Tappler M., Bloem R.
Innovations in Systems and Software Engineering

Blockchain Architectures, the Potential of Web3 for Decentralized Participatory Architecture

Grass A., Parger A.
Co-creating the Future: Inclusion in and through Design, 40th eCAADe Conference on Education and Research in Computer Aided Architectural Design in Europe, 431–440

Throwing Boomerangs into Feistel Structures

Hadipour H., Nageler M., Eichlseder M.
IACR Transactions on Symmetric Cryptology, Vol. 2022(3), 271-302

Proving SIFA protection of masked redundant circuits

Hadzic V., Primas R., Bloem R.
Innovations in Systems and Software Engineering, Vol. 18(3), 471-481

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

YOU SHALL NOT COMPUTE on my Data: Access Policies for Privacy-Preserving Data Marketplaces and an Implementation for a Distributed Market using MPC

More S., Alber L.
Proceedings of the 17th International Conference on Availability, Reliability and Security, ARES 2022, 17th International Conference on Availability, Reliability and Security, (ACM International Conference Proceeding Series)

explore Our
Publications