Photo of Sebastian Alexander Mödersheim
  • Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20092022

Research output per year

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

Research Output

Filter
Book chapter
2015

Alice and Bob: Reconciling Formal Models and Implementation

Almousa, O., Mödersheim, S. A. & Viganò, L., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Springer, p. 66-85 (Lecture Notes in Computer Science, Vol. 9465).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
198 Downloads (Pure)
2011

Towards Formal Validation of Trust and Security of the Internet of Services

Carbone, R., Minea, M., Mödersheim, S. A., Ponta, S. E., Turuani, M. & Viganò, L., 2011, The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises. Springer, p. 193-207 (Lecture Notes in Computer Science; No. 6656).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review