Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Soleimany H., Bagheri N., Hadipour H., Ravi P., Bhasin S., Mansouri S.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2022(1), 367-390
Ravi P., Bhasin S., Sinha Roy S., Chattopadhyay A.
IEEE Transactions on Information Forensics and Security, Vol. 17, 684-699
Naseredini A., Gast S., Schwarzl M., Bernardo P., Smajic A., Canella C., Berger M., Gruß D.
Canella C., Werner M., Gruß D., Schwarz M.
CCSW'21 - Proceedings of the 2021 Cloud Computing Security Workshop, ACM Cloud Computing Security Workshop 2021, 139-151
Imran M., Almeida F., Raik J., Basso A., Sinha Roy S., Pagliarini S.
ASHES '21: Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security, 5th Workshop on Attacks and Solutions in Hardware Security, 85-90
Xu Z., Pemberton O., Sinha Roy S., Oswald D., Yao W., Zheng Z.
IEEE Transactions on Computers
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)
Grass A., Parger A.
Towards a new, configurable architecture - Proceedings of the 39th eCAADe Conference, 39th eCAADe Conference: Education and Research in Computer Aided Architectural Design in Europe: Towards a new, configurable architecture, 181-188
Grass A.
Virtual Aesthetics in Architecture , Routledge, Taylor and Francis, 186 - 189
Bloem R., Braud-Santoni N., Hadzic V., Seidl M., Lonsing F., Egly U.
Formal Methods in System Design, Vol. 57(2), 157-177
Tappler M., Aichernig B., Bacci G., Eichlseder M., Larsen K.
Formal Aspects of Computing, Vol. 33(4-5), 575-615
Purnal A., Giner L., Gruß D., Verbauwhede I.
2021 IEEE Symposium on Security and Privacy (SP), 42th IEEE Symposium on Security and Privacy, 987-1002
Hadzic V., Bloem R.
Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021, 21st International Conference on Formal Methods in Computer-Aided Design, 14-23, (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021)
Bartocci E., Bloem R., Maderbacher B., Manjunath N., Nickovic D.
IFAC-PapersOnLine, Vol. 54(5), 229-234
More S., Grassberger P., Hörandner F., Abraham A., Klausner L.
ICT Systems Security and Privacy Protection - 36th IFIP TC 11 International Conference, SEC 2021, Proceedings, 36th International Conference on ICT Systems Security and Privacy Protection, 19-35, (IFIP Advances in Information and Communication Technology; vol. 625)
Pranger S., Könighofer B., Tappler M., Deixelberger M., Jansen N., Bloem R.
2021 American Control Conference, ACC 2021, 2021 American Control Conference, 3467-3474, (Proceedings of the American Control Conference; vol. 2021-May)
Lipp M., Kogler A., Oswald D., Schwarz M., Easdon C., Canella C., Gruß D.
2021 IEEE Symposium on Security and Privacy (SP), 42th IEEE Symposium on Security and Privacy, 355-371
Helminger L., Kales D., Ramacher S., Walch R.
Topics in Cryptology - CT-RSA 2021 , Topics in Cryptology - The Cryptographer's Track at the RSA Conference 2021, 527-551, (Lecture Notes in Computer Science; vol. 12704)
Nasahl P., Schilling R., Werner M., Mangard S.
ASIA CCS '21: Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security, 2021 ACM Asia Conference on Computer and Communications Security, 187–199