explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
DNS-based trust scheme publication and discovery
Wagner G., Wagner S., More S., Hoffmann M.
Open Identity Summit 2019, Proceedings, Open Identity Summit 2019, 49-58, (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-293)
Software-basierte Mikroarchitekturangriffe
Gruß D.
Ausgezeichnete Informatikdissertationen 2017, Gesellschaft für Informatik e.V., 81-90
TIMBER-V: Tag-Isolated Memory Bringing Fine-grained Enclaves to RISC-V
Weiser S., Werner M., Brasser F., Malenko M., Mangard S., Sadeghi A.
Proceedings 2019 - Network and Distributed System Security Symposium (NDSS) , Internet Society
Fault Attacks on Nonce-based Authenticated Encryption: Application to Keyak and Ketje
Dobraunig C., Mangard S., Mendel F., Primas R.
Selected Areas in Cryptography – SAC 2018, Springer, 257-277, (Lecture Notes in Computer Science; vol. 11349)
Small faults grow up - Verification of error masking robustness in arithmetically encoded programs
Karl A., Schilling R., Bloem R., Mangard S.
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings, 2019 International Conference on Verification, Model Checking, and Abstract Interpretation , 183-204, (Lecture Notes in Computer Science; vol. 11388)
Protecting RISC-V Processors against Physical Attacks
Werner M., Schilling R., Unterluggauer T., Mangard S.
Design, Automation & Test in Europe Conference - DATE 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition, 1136-1141
Efficient Information-Flow Verification Under Speculative Execution
Bloem R., Jacobs S., Vizel Y.
Efficient Information-Flow Verification Under Speculative Execution
Qualified Remote Signatures – Solutions, its Certification, and Use
Leitold H., Konrad D.
Proceedings of 29th SmartCard Workshop, 219-231
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Aichernig B., Bloem R., Ebrahimi M., Horn M., Pernkopf F., Roth W., Rupp A., Tappler M., Tranninger M.
Testing Software and Systems, 31st IFIP International Conference on Testing Software and Systems, 3-21, (Lecture Notes in Computer Science; vol. 11812)
Synthesizing adaptive test strategies from temporal logic specifications
Bloem R., Fey G., Greif F., Könighofer R., Pill I., Riener H., Röck F.
Formal Methods in System Design, Vol. 55(2), 103-135
Programming Behavioral Test Models for SMT Solving in Scala
Aichernig B., Maderbacher B., Tiran S.
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019, IEEE Publications, 52-60
Linear Equivalence of Block Ciphers with Partial Non-Linear Layers: Application to LowMC
Dinur I., Promitzer A., Kales D., Ramacher S., Rechberger C.
Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings, EUROCRYPT 2019, 343-372, (Lecture Notes in Computer Science; vol. 11476)
Feistel Structures for MPC, and More
Albrecht M., Grassi L., Perrin L., Ramacher S., Rechberger C., Rotaru D., Roy A., Schofnegger M.
Computer Security – ESORICS 2019, ESORICS 2019, 151-171, (Lecture Notes in Computer Science; vol. 11736)
Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC
Albrecht M., Cid C., Grassi L., Khovratovich D., Lüftenegger R., Rechberger C., Schofnegger M.
Advances in Cryptology - ASIACRYPT 2019, ASIACRYPT 2019, 371-397, (Lecture Notes in Computer Science; vol. 11923)
L*-Based Learning of Markov Decision Processes
Tappler M., Aichernig B., Bacci G., Eichlseder M., Larsen K.
Formal Methods - The Next 30 Years , International Symposium on Formal Methods, 651 - 669, (Lecture Notes in Computer Science; vol. 11800)
Analyzing the Linear Keystream Biases in AEGIS
Eichlseder M., Nageler M., Primas R.
IACR Transactions on Symmetric Cryptology, Vol. 2019(4), 348-368
Comprehensive security analysis of CRAFT.
Hadipour H., Sadeghi S., Niknam M., Bagheri N.
IACR Transactions on Symmetric Cryptology, Vol. 2019(4), 290-317
Kernel Isolation
Gruß D., Hansen D., Gregg B.
;login: , Vol. 43(4), 10-14
Software-based microarchitectural attacks
Gruß D.
Information Technology
Generic Low-Latency Masking in Hardware
Groß H., Iusupov R., Bloem R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2018(2), 1-21