Research Output

2020

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)

A framework for quantitative modeling and analysis of highly (re)configurable systems

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, In : I E E E Transactions on Software Engineering. 46, 3, p. 321 - 345

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
150 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

Secure Guarded Commands

Nielson, F. & Nielson, H. R., 1 Jan 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Di Pierro, A., Malacaria, P. & Nagarajan, R. (eds.). Springer, p. 201-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).

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

Stateful Protocol Composition and Typing

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
5 Downloads (Pure)

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
48 Downloads (Pure)

Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, 11. (ACM International Conference Proceeding Series).

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

Open Access
File
37 Downloads (Pure)
2019

A framework for provenance-preserving history distribution and incremental reduction

Lluch Lafuente, A., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 471-486 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

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

Open Access
File
81 Downloads (Pure)

A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository

Pérez-Verona, I. C., Tribastone, M. & Vandin, A., 1 Jan 2019, Proceedings of 17th International Conference on Computational Methods in Systems Biology. Bortolussi, L. & Sanguinetti, G. (eds.). Springer, p. 248-265 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11773 LNBI).

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

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
210 Downloads (Pure)

Comparing chemical reaction networks: A categorical and algorithmic perspective

Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2019, In : Theoretical Computer Science. 765, p. 47-66

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
49 Downloads (Pure)

Enforcing globally dependent flow policies in message-passing systems

Li, X., Nielson, F. & Nielson, H. R., 1 Oct 2019, In : Journal of Computer Languages. 54, 46 p., 100904.

Research output: Contribution to journalJournal articleResearchpeer-review

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy

Gondron, S. P. C. & Mödersheim, S. A., 2019, Proceedings of 24th European Symposium on Research in Computer Security. Springer, p. 535-555 (Lecture Notes in Computer Science, Vol. 11735).

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

Open Access
File
11 Downloads (Pure)

Formal Methods: An Appetizer.

Nielson, F. & Nielson, H. R., 2019, Springer. 170 p.

Research output: Book/ReportBookEducation

GTPL: A graphical trust policy language

Mödersheim, S. A. & Ni, B., 1 Jan 2019, Proceedings of Open Identity Summit 2019. Rossnagel, H., Wagner, S. & Huhnlein, D. (eds.). Gesellschaft fur Informatik (GI), p. 107-118 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Vol. P-293).

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

Open Access
File
38 Downloads (Pure)

Lightweight information flow

Nielson, F. & Nielson, H. R., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 455-470 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

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

Multi-valued Logic for Static Analysis and Model Checking

Nielson, F., Nielson, H. R. & Zhang, F., 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 89-109 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

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

New Formalized Results on the Meta-Theory of a Paraconsistent Logic

Schlichtkrull, A., 2019, 24th International Conference on Types for Proofs and Programs. Dybjer, P., Santo, J. E. & Pinto, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 5:1–5:15 5. (Leibniz International Proceedings in Informatics).

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

Open Access
File
10 Downloads (Pure)

RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL

Vandin, A., 1 Nov 2019, In : ACM Transactions on Modeling and Computer Simulation. 29, 4, 21.

Research output: Contribution to journalJournal articleResearchpeer-review

Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial

Tribastone, M. & Vandin, A., 31 Jan 2019, Proceedings of the 2018 Winter Simulation Conference. IEEE, p. 336-350 8632364

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

Static Analysis for Proactive Security

Huth, M. & Nielson, F., 2019, Computing and Software Science. Springer, p. 374-92 (Lecture Notes in Computer Science, Vol. 10000).

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

Statistical analysis of CARMA models: An advanced tutorial

Galpin, V., Georgoulas, A., Loreti, M. & Vandin, A., 31 Jan 2019, Proceedings of the 2018 Winter Simulation Conference. IEEE, p. 395-409 8632456

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

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2019, Integrated Formal Methods. Springer, p. 547-551 (Lecture Notes in Computer Science, Vol. 11918).

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

Symbolic computation of differential equivalences

Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 19 Jul 2019, In : Theoretical Computer Science. 777, p. 132-154

Research output: Contribution to journalJournal articleResearchpeer-review

Timing leaks and coarse-grained clocks

Vasilikos, P., Nielson, H. R., Nielson, F. & Kopf, B., 1 Jun 2019, Proceedings of 2019 IEEE 32nd Computer Security Foundations Symposium. IEEE Computer Society Press, p. 32-47 8823781. (Proceedings - IEEE Computer Security Foundations Symposium, Vol. 2019-June).

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

TPL: A Trust Policy Language

Mödersheim, S. A., Schlichtkrull, A., Wagner, G., More, S. & Alber, L., 2019, Trust Management XIII. Springer, Vol. 563. p. 209-223 (IFIP Advances in Information and Communication Technology, Vol. 563).

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

Open Access
File
87 Downloads (Pure)

Typing and Compositionality for Stateful Security Protocols

Hess, A. V., 2019, DTU Compute. 179 p. (DTU Compute PHD-2018, Vol. 495).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
111 Downloads (Pure)

UTOPIC: Under-Approximation Through Optimal Control

Doncel, J., Gast, N., Tribastone, M., Tschaikowski, M. & Vandin, A., 2019, Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings. D. P. & V. W. (eds.). Springer, p. 277-291 15 p. (Lecture Notes in Computer Science, Vol. 11785).

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

2018

Aggregation Policies for Tuple Spaces

Kaminskas, L. & Lluch Lafuente, A., 2018, COORDINATION 2018: Coordination Models and Languages . Springer, p. 181-199 (Lecture Notes in Computer Science, Vol. 10852).

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

Open Access
File
73 Downloads (Pure)

A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds

Sebastio, S., Amoretti, M., Lluch Lafuente, A. & Scala, A., 2018, In : A C M Transactions on Modeling and Computer Simulation. 28, 2, p. 1-27 27 p., Article No. 14 .

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
92 Downloads (Pure)

Alpha-Beta Privacy

Mödersheim, S. A. & Viganò, L., 2018, DTU Compute. 46 p. (DTU Compute Technical Report-2018, Vol. 07).

Research output: Book/ReportReportResearchpeer-review

Open Access
File
308 Downloads (Pure)

A Typing Result for Stateful Protocols

Hess, A. V. & Modersheim, S., 2018, 2018 IEEE 31st Computer Security Foundations Symposium. IEEE, Vol. 2018-July. p. 374-388 15 p. (I E E E Computer Security Foundations Symposium. Proceedings).

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

A Typing Result for Stateful Protocols - Extended Version

Hess, A. V. & Mödersheim, S. A., 2018, DTU Compute. 48 p. (DTU Compute Technical Report-2018, Vol. 4).

Research output: Book/ReportReportResearchpeer-review

Open Access
File
69 Downloads (Pure)

A Verified Functional Implementation of Bachmair and Ganzinger’s Ordered Resolution Prover

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 2018, In : Archive of Formal Proofs. p. 1-60

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
54 Downloads (Pure)

Backward Invariance for Linear Differential Algebraic Equations

Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Proceedings of 2018 IEEE Conference on Decision and Control. IEEE, p. 3771-3776

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

Differential Equivalence Yields Network Centrality

Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. Springer, Vol. 11246. p. 186-201 (Lecture Notes in Computer Science, Vol. 11246).

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

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Quantitative Evaluation of Systems . Springer, Vol. 11024. p. 104-121 (Lecture Notes in Computer Science, Vol. 11024).

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

Open Access
File
79 Downloads (Pure)

Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies

Buravlev, V., De Nicola, R., Lluch Lafuente, A. & Mezzina, C. A., 2018, Proceedings of 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, p. 302-5

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

Many-to-many information flow policies

Baldan, P. & Lluch Lafuente, A., 2018, In : Science of Computer Programming. 168, p. 118-141

Research output: Contribution to journalJournal articleResearchpeer-review

Process-Local Static Analysis of Synchronous Processes

Midtgaard, J., Nielson, F. & Nielson, H. R., 2018, Static Analysis. Springer, p. 284-305 (Lecture Notes in Computer Science, Vol. 11002).

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

Open Access
File
87 Downloads (Pure)

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Vandin, A., Ter Beek, M. H., Legay, A. & Lluch Lafuente, A., 2018, Formal Methods. K. H., J. P., B. R. & E. D. V. (eds.). Springer, p. 329-337 9 p. (Lecture Notes in Computer Science, Vol. 10951).

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

Open Access
File
237 Downloads (Pure)

Secure information release in timed automata

Vasilikos, P., Nielson, F. & Nielson, H. R., 2018, POST 2018: Principles of Security and Trust. Springer, p. 28-52 (Lecture Notes in Computer Science, Vol. 10804).

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

Open Access
File
313 Downloads (Pure)

Star-Topology Decoupling in SPIN

Gnad, D., Dubbert, P., Lluch Lafuente, A. & Hoffmann, J., 2018, SPIN 2018: Model Checking Software. Springer, p. 103-114

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

Open Access
File
233 Downloads (Pure)

Stateful Protocol Composition

Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2018, ESORICS 2018: Computer Security . J. L., J. Z. & M. S. (eds.). Springer, p. 427-446 (Lecture Notes in Computer Science, Vol. 11098).

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

Open Access
File
44 Downloads (Pure)

Stateful Protocol Composition - Extended Version

Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2018, DTU Compute. 28 p. (DTU Compute Technical Report-2018, Vol. 3).

Research output: Book/ReportReportResearchpeer-review

Open Access
File
76 Downloads (Pure)

The LIGHTest Foundation

Mödersheim, S. A. & Schlichtkrull, A., 2018, Technical University of Denmark. 33 p. (DTU Compute Technical Report-2018, Vol. 6).

Research output: Book/ReportReportResearchpeer-review

Open Access
File
142 Downloads (Pure)
2017

A coordination language for databases

Li, X., Wu, X., Lluch Lafuente, A., Nielson, F. & Nielson, H. R., 2017, In : Logical Methods in Computer Science. 13, 1, 52 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
355 Downloads (Pure)

Asynchronous Distributed Execution of Fixpoint-Based Computational Fields

Lluch Lafuente, A., Loreti, M. & Montanari, U., 2017, In : Logical Methods in Computer Science. 13, 1, 47 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
116 Downloads (Pure)