20152020

Research output per year

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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Accountable Trust Decisions: A Semantic Approach

Schlichtkrull, A. & Mödersheim, S. A., 2020, Open Identity Summit 2020. Roßnagel, H., Schunck, C. H., Mödersheim, S. A. & Hühnlein, D. (eds.). Gesellschaft für Informatik e.V., p. 71-82 (Lecture Notes in Informatics, Vol. P305).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
9 Downloads (Pure)

Automated Stateful Protocol Verification

Hess, A. V., Mödersheim, S. A., Brucker, A. D. & Schlichtkrull, A., 2020, In : Archive of Formal Proofs. 261 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
6 Downloads (Pure)

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Schlichtkrull, A., Blanchette, J., Traytel, D. & Waldmann, U., 2020, In : Journal of Automated Reasoning. Special Issue: Selected Extended Papers from IJCAR 2018, p. 1-27

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Teaching a Formalized Logical Calculus

From, A. H., Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2020, In : Electronic Proceedings in Theoretical Computer Science. 313, p. 73-92

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
49 Downloads (Pure)

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. Mahboubi, A. & Myreen, M. O. (eds.). Association for Computing Machinery, p. 152-165

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
214 Downloads (Pure)

Projects

Activities

  • 15 Participating in or organising workshops, courses, seminars etc.

Øresund Security Day 2019

Andreas Viktor Hess (Organizer), , Anders Schlichtkrull (Organizer), & Sebastian Alexander Mödersheim (Organizer)

22 May 2019

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Talk in the Formal Methods group of Chalmers University of Technology

Anders Schlichtkrull (Participant)

27 Mar 2019

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Talk in the Information Security group at ETH Zurich

Anders Schlichtkrull (Participant)

2 Apr 2019

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

LogSem

Anders Schlichtkrull (Participant)

7 Mar 2019

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Phd Bazaar 2018 DTU Compute

Anders Schlichtkrull (Participant)

9 May 2018

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.