Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

126 - 150 out of 200Page size: 25
RSS feed of this list
  1. 2021
  2. 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

  3. 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

  4. Published

    Graph Filtration Kernels

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

    Research output: Working paper › Preprint

  5. Published

    Poster: Fragmentation Attacks on DNS over TCP

    Dai, T., Shulman, H. & Waidner, M., 4/10/2021, 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS). IEEE

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

  6. Published

    Poster: Off-path VoIP Interception Attacks

    Dai, T., Shulman, H. & Waidner, M., 4/10/2021, 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS). IEEE

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

  7. Published

    The Hijackers Guide To The Galaxy: Off-Path Taking Over Internet Resources

    Dai, T., Jeitner, P., Shulman, H. & Waidner, M., 13/08/2021, 30th USENIX Security Symposium (USENIX Security 21).

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

  8. Published

    From IP to transport and beyond: cross-layer attacks against applications

    Dai, T., Jeitner, P., Shulman, H. & Waidner, M., 9/08/2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. New York: ACM, p. 836-849 14 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).

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

  9. Published

    DNS-over-TCP considered vulnerable

    Dai, T., Shulman, H. & Waidner, M., 24/07/2021, ANRW 2021 - Proceedings of the 2021 Applied Networking Research Workshop. New York: ACM, p. 76-81 6 p. (ANRW 2021 - Proceedings of the 2021 Applied Networking Research Workshop).

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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 2020
  15. 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

  16. Published

    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

  17. Published

    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

  18. Published

    Multiple Texts as a Limiting Factor in Online Learning: Quantifying (Dis-)similarities of Knowledge Networks across Languages

    Mehler, A., Hemati, W., Welke, P., Konca, M. & Uslu, T., 3/11/2020, In: Frontiers in Education. 5, 562670.

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

  19. Published

    Efficient Frequent Subgraph Mining in Transactional Databases.

    Welke, P., 9/10/2020, Efficient Frequent Subgraph Mining in Transactional Databases.. IEEE, p. 307-314 7 p.

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

  20. Published

    Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 1/10/2020, In: Log. Methods Comput. Sci.. 16, 4, 4.

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

  21. Published

    HOPS: Probabilistic Subtree Mining for Small and Large Graphs.

    Welke, P., Seiffarth, F., Kamp, M. & Wrobel, S., 20/08/2020, p. 1275-1284.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  22. Published

    Classification and Mapping of Adaptive Security for Mobile Computing

    Sajjad, M., Ahmad, A., Malik, A. W., Altamimi, A. B. & Alseadoon, I., 1/07/2020, In: IEEE Transactions on Emerging Topics in Computing. 8, 3, p. 814-832 19 p., 8252799.

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

  23. Published

    Efficient Frequent Subtree Mining Beyond Forests

    Welke, P., 30/06/2020, IOS Press. 188 p. (Dissertations in Artificial Intelligence; vol. 348)

    Research output: Book/Report/Proceedings › Book

  24. 2019
  25. Published

    Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.

    Weininger, M., Meggendorfer, T. & Kretínský, J., 11/12/2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. p. 2284-2291 8 p. 9029460. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

  26. Published

    Cloud-based detection of road bottlenecks using obd-ii telematics

    Sohail, A. M., Khattak, K. S., Iqbal, A., Khan, Z. H. & Ahmad, A., 29/11/2019, Proceedings - 22nd International Multitopic Conference, INMIC 2019. Institute of Electrical and Electronics Engineers Inc., 9022754. (Proceedings - 22nd International Multitopic Conference, INMIC 2019).

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

  27. Published

    Software architecture for mobile cloud computing systems

    Alreshidi, A., Ahmad, A., Altamimi, A. B., Sultan, K. & Mehmood, R., 13/11/2019, In: Future Internet. 11, 11, 238.

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

  28. Published

    Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

    Kretínský, J., Manta, A. & Meggendorfer, T., 21/10/2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

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

Previous 12 3 4 5 6 7 8 Next

Back to top