We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
High Speed ASIC Implementations of Leakage-Resilient Cryptography
Schilling R., Unterluggauer T., Mangard S., Gürkaynak F., Mühlberghuber M., Benini L.
Design, Automation & Test in Europe Conference - DATE 2018
A Federation of Federations: Secure Cloud Federations meet European Identity Federations
Zefferer T., Ziegler D., Reiter A.
International Journal for Information Security Research, Vol. Volume 8(Issue 1), 2018
Synthesis of distributed algorithms with parameterized threshold guards
Lazić M., Konnov I., Widder J., Bloem R.
21st International Conference on Principles of Distributed Systems, OPODIS 2017
KeyDrown: Eliminating Software-Based Keystroke Timing Side-Channel Attacks
Schwarz M., Lipp M., Gruß D., Weiser S., Maurice C., Spreitzer R., Mangard S.
Network and Distributed System Security Symposium 2018
JavaScript Zero: Real JavaScript and Zero Side-Channel Attacks
Schwarz M., Lipp M., Gruß D.
Network and Distributed System Security Symposium 2018
Another Flip in the Wall of Rowhammer Defenses
Gruß D., Lipp M., Schwarz M., Genkin D., Juffinger J., O'Connell S., Schoechl W., Yarom Y.
39th IEEE Symposium on Security and Privacy 2018
MEAS: memory encryption and authentication secure against side-channel attacks
Unterluggauer T., Werner M., Mangard S.
Journal of Cryptographic Engineering, 2018
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Bloem R., Groß H., Iusupov R., Könighofer B., Mangard S., Winter J.
EUROCRYPT
SCAnDroid: Automated Side-Channel Analysis of Android APIs
Spreitzer R., Palfinger G., Mangard S.
WISEC '18, Proceedings of the 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks
DATA - Differential Address Trace Analysis: Finding Address-based Side-Channels in Binaries
Weiser S., Zankl A., Spreitzer R., Miller K., Mangard S., Sigl G.
Proceedings of the 27th USENIX Security Symposium
SIFA: Exploiting Ineffective Fault Inductions on Symmetric Cryptography
Dobraunig C., Eichlseder M., Korak T., Mangard S., Mendel F., Primas R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2018(3), 2018
Statistical Ineffective Fault Attacks on Masked AES with Fault Countermeasures
Dobraunig C., Eichlseder M., Groß H., Mangard S., Mendel F., Primas R.
Advances in Cryptology – ASIACRYPT 2018
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World
Schilling R., Werner M., Nasahl P., Mangard S.
Annual Computer Security Applications Conference
Leakage Bounds for Gaussian Side Channels
Unterluggauer T., Korak T., Mangard S., Schilling R., Benini L., Gürkaynak F., Muehlberghuber M.
16th Smart Card Research and Advanced Application Conference - CARDIS 2017
Safe Reinforcement Learning via Shielding
Alshiekh M., Bloem R., Ehlers R., Könighofer B., Niekum S., Topcu U.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018
ProcHarvester: Fully Automated Analysis of Procfs Side-Channel Leaks on Android
Spreitzer R., Kirchengast F., Gruß D., Mangard S.
ASIACCS '18 - Proceedings of the 2018 on Asia Conference on Computer and Communications Security
Sponge-Based Control-Flow Protection for IoT Devices
Werner M., Unterluggauer T., Schaffenrath D., Mangard S.
2018 IEEE European Symposium on Security and Privacy
Bounded Synthesis of Register Transducers
Khalimov A., Maderbacher B., Bloem R.
Automated Technology for Verification and Analysis
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Bartocci E., Bloem R., Nickovic D., Röck F.
Computer Aided Verification
Graph Games and Reactive Synthesis
Bloem R., Chatterjee K., Jobstmann B.
Handbook of Model Checking, Springer, 921-962, 2018