Anders Schlichtkrull

  • A.C. Meyers Vænge 15, A, 2-2-079

    2450 København SV

    Denmark

20212022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Article in proceeding

Search results

  • 2022

    Interactive Theorem Proving for Logic and Information

    Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence – NLPinAI 2021. Loukanova, R. (ed.). Springer Science and Business Media Deutschland GmbH, p. 25-48 24 p. (Studies in Computational Intelligence, Vol. 999 SCI).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 2021

    Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World

    Alber, L., More, S., Mödersheim, S. & Schlichtkrull, A., 2021, Open Identity Summit 2021. Roßnagel, H., Schunck, C. H. & Mödersheim, S. (eds.). Gesellschaft für Informatik e. V., p. 107-118 (Lecture Notes in Informatics, Vol. 312).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • Performing Security Proofs of Stateful Protocols

    Hess, A. V., Mödersheim, S., Brucker, A. D. & Schlichtkrull, A., 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF). IEEE, p. 1-16 16 p. 9505200. (Proceedings of the IEEE Computer Security Foundations Symposium).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Downloads (Pure)