Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web

Fett, D., Küsters, R. & Schmitz, G., 13/01/2016, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I. Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer, (Lecture Notes in Computer Science; vol. 9326).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web

Fett, D., Küsters, R. & Schmitz, G., 12/10/2015, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15. New York: ACM, p. 1358-1369 12 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A comprehensive formal security analysis of OAuth 2.0

Fett, D., Küsters, R. & Schmitz, G., 24/10/2016, Proceedings of the ACM Conference on Computer and Communications Security. ACM, p. 1204-1215

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Pi and More: Eine Veranstaltungsreihe rund um "kleine Computer"

Fett, D. & Schmitz, G., 2016, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

Fett, D., Küsters, R. & Schmitz, G., 28/09/2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 27/07/2022, 43rd IEEE Symposium on Security and Privacy (S&P 2022). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Semi-supervised Learning Guided by the Generalized Bayes Rule Under Soft Revision

Dietrich, S., Rodemann, J. & Jansen, C., 10/08/2024, Combining, Modelling and Analyzing Imprecision, Randomness and Dependence. Cham: Springer, p. 110-117 8 p. (Advances in Intelligent Systems and Computing (AISC); vol. 1458).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 7/08/2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Cham: Springer, p. 55-78 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth.

Chatterjee, K., Meggendorfer, T., Saona, R. & Svoboda, J., 16/01/2023, 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023. Curran Associates, Inc. , p. 4590-4605 16 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2023-January).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Statistical Models for Partial Orders Based on Data Depth and Formal Concept Analysis

Blocher, H., Schollmeyer, G. & Jansen, C., 4/07/2022, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Ciucci, D., Couso, I., Medina, J., Ślęzak, D., Petturiti, D., Bouchon-Meunier, B. & Yager, R. R. (eds.). Cham: Springer, (Communications in Computer and Information Sciences; vol. 1602).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Depth functions for partial orders with a descriptive analysis of machine learning algorithms

Blocher, H., Schollmeyer, G., Jansen, C. & Nalenz, M., 14/07/2023, Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications (ISIPTA 2023). PMLR, p. 59-71 13 p. (PMLR; vol. 215).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 4/11/2021, 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021. IEEE, p. 523-542 20 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An In-Depth Symbolic Security Analysis of the ACME Standard

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 13/11/2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2601-2617 17 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Tutorial-Style Introduction to DY*

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 19/11/2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Cham: Springer, p. 77-97 21 p. (Lecture Notes in Computer Science ; vol. 13066).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Layered Symbolic Security Analysis in DY*

Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 12/01/2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Entropic Risk for Turn-Based Stochastic Games.

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 28/08/2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Reachability Poorman Discrete-Bidding Games.

Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J. & Žikelić, Đ., 28/09/2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 141-148 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. & Meggendorfer, T., 13/07/2017, CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham: Springer, p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Regression-Based Predictive Model Hierarchy for Nonwoven Tensile Strength Inference

Antweiler, D., Burgard, J. P., Harmening, M., Marheineke, N., Schmeißer, A., Wegener, R. & Welke, P., 10/04/2025, Informed Machine Learning. Schulz, D. & Bauckhage, C. (eds.). Cham: Springer, p. 63-90 28 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Learning by doing and environmental sustainability: The moderating role of employee empowerment

Anjum, N., Paulraj, A. & Blome, C., 2023, (Accepted/In press) 2024 POMS Annual Conference.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Abstract

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 1/11/2024, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Cham: Springer, p. 90-146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Security awareness of end-users of mobile health applications: An empirical study

Aljedaani, B., Ahmad, A., Zahedi, M. & Ali Babar, M., 7/12/2020, Proceedings of the 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2020. The Association for Computing Machinery, p. 125-136 12 p. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An empirical study on developing secure mobile health apps: The developers' perspective

Aljedaani, B., Ahmad, A., Zahedi, M. & Babar, M. A., 1/12/2020, Proceedings - 2020 27th Asia-Pacific Software Engineering Conference, APSEC 2020. IEEE Computer Society Press, p. 208-217 10 p. 9359266. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2020-December).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

Akshay, S., Chatterjee, K., Meggendorfer, T. & Žikelić, Đ., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). p. 86-112 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Causally Deterministic Markov Decision Processes.

Akshay, S., Meggendorfer, T. & Thiagarajan, P. S., 9/09/2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 6:1-6:22 22 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Algorithms and Hardness Results for Computing Cores of Markov Chains.

Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi, R. & Zikelic, Ð., 14/12/2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). p. 29:1-29:20 20 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 250).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards Process Centered Architecting for Quantum Software Systems

Ahmad, A., Khan, A. A., Waseem, M., Fahmideh, M. & Mikkonen, T., 18/08/2022, Proceedings - 2022 IEEE International Conference on Quantum Software, QSW 2022. Ali, S., Ardagna, C. A., Barzen, J., Bian, H., Chang, C. K., Chang, R. N., Damiani, E., Faro, I., Feld, S., Leymann, F., Martin-Fernandez, F. J., Ward, R., Wimmer, M., Xhafa, F., Yu, J. & Zhang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 26-31 6 p. (Proceedings - 2022 IEEE International Conference on Quantum Software, QSW 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

IoT-based implementation and mobility-driven management of the smart and energy efficient home appliance ecosystem

Ahmad, A., Altamimi, A. B. & Alshammari, M. T., 22/07/2018, Smart Societies, Infrastructure, Technologies and Applications - First International Conference, SCITA 2017, Proceedings. Mehmood, R., Katib, I., Chlamtac, I. & Bhaduri, B. (eds.). Springer-Verlag, p. 353-356 4 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 224).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards a pattern language for self-adaptation of cloud-based architectures

Ahmad, A. & Babar, M. A., 7/04/2014, 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014 - Proceedings. New York: The Association for Computing Machinery, p. 1-8 8 p. 7. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A framework for architecture-driven migration of legacy systems to cloud-enabled software

Ahmad, A. & Babar, M. A., 7/04/2014, 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014 - Proceedings. The Association for Computing Machinery, p. 1-8 8 p. 7. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Pattern-driven reuse in architecture-centric evolution for service software

Ahmad, A., Jamshidi, P. & Pahl, C., 24/07/2012, ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. SciTePress, p. 279-284 6 p. (ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Graph-based implicit knowledge discovery from architecture change logs

Ahmad, A., Jamshidi, P., Arshad, M. & Pahl, C., 20/08/2012, Joint 10th Working Conference on Software Architecture, WICSA 2012 and 6th European Conference on Software Architecture, ECSA 2012 - Proceedings Companion Volume. New York: The Association for Computing Machinery, p. 116-123 8 p. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Graph-based pattern identification from architecture change logs

Ahmad, A., Jamshidi, P. & Pahl, C., 2012, Advanced Information Systems EngineeringWorkshops - CAiSE 2012 International Workshops, Proceedings. Bajec, M. & Eder, J. (eds.). Berlin: Springer-Verlag, p. 200-213 14 p. (Lecture Notes in Business Information Processing; vol. 112 ).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Customisable transformation-driven evolution for service architectures

Ahmad, A. & Pahl, C., 5/04/2011, Proceedings - 2011 15th European Conference on Software Maintenance and Reengineering, CSMR 2011. IEEE, p. 373-376 4 p. 5741350. (Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Pattern-based customisable transformations for style-based service architecture evolution

Ahmad, A. & Pahl, C., 22/11/2010, 2010 International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2010. IEEE, p. 371-376 6 p. 5643631. (2010 International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2010).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review