Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

101 - 110 out of 169Page size: 10
RSS feed of this list
  1. 2021
  2. Published

    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

  3. Published

    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

  4. Published

    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

  5. Published

    Special Issue on IoT for Fighting COVID-19

    Boldrini, C., Ahmad, A., Fahmideh, M., Ramadan, R. & Younis, M., 31/10/2021, In: Pervasive and Mobile Computing. 77, 101492.

    Research output: Contribution to Journal/Magazine › Editorial › peer-review

  6. Published

    Graph Filtration Kernels

    Schulz, T. H., Welke, P. & Wrobel, S., 22/10/2021, Arxiv.

    Research output: Working paper › Preprint

  7. Published

    On the nature of issues in five open source microservices systems: An empirical study

    Waseem, M., Liang, P., Shahin, M., Ahmad, A. & Nassab, A. R., 21/06/2021, Proceedings of EASE 2021 - Evaluation and Assessment in Software Engineering. The Association for Computing Machinery, p. 201-210 10 p. (ACM International Conference Proceeding Series).

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

  8. Published

    Explainable Machine Learning with Prior Knowledge: An Overview

    Beckh, K., Müller, S., Jakobs, M., Toborek, V., Tan, H., Fischer, R., Welke, P., Houben, S. & von Rueden, L., 21/05/2021, Arxiv.

    Research output: Working paper › Preprint

  9. Published

    Decision Snippet Features

    Welke, P., Alkhoury, F., Bauckhage, C. & Wrobel, S., 5/05/2021, 2020 25th International Conference on Pattern Recognition (ICPR). IEEE, p. 4260-4267 8 p.

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

  10. Published

    A Generalized Weisfeiler-Lehman Graph Kernel

    Schulz, T. H., Horváth, T., Welke, P. & Wrobel, S., 20/01/2021, Arxiv.

    Research output: Working paper › Preprint

  11. 2020
  12. Published

    Security and Privacy for mHealth and uHealth Systems: A Systematic Mapping Study

    Iwaya, L. H., Ahmad, A. & Ali Babar, M., 31/12/2020, In: IEEE Access. 8, p. 150081-150112 32 p., 9165743.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...7 8 9 10 11 12 13 14 ...17 Next

Back to top