Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction

Search results

  • 2024

    2-Pointer Logic

    Seidl, H., Erhard, J., Schwarz, M. & Tilscher, S., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 281-307 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14660 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Checking in polynomial time whether or not a regular tree language is deterministic top-down

    Maneth, S. & Seidl, H., Feb 2024, In: Information Processing Letters. 184, 106449.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • Correctness Witness Validation by Abstract Interpretation

    Saan, S., Schwarz, M., Erhard, J., Seidl, H., Tilscher, S. & Vojdani, V., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 74-97 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14499 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • Functionality of compositions of top-down tree transducers is decidable

    Maneth, S., Seidl, H. & Vu, M., Jan 2024, In: Information and Computation. 296, 105131.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Goblint: Abstract Interpretation for Memory Safety and Termination

    Saan, S., Erhard, J., Schwarz, M., Bozhilov, S., Holter, K., Tilscher, S., Vojdani, V. & Seidl, H., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 381-386 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Goblint Validator: Correctness Witness Validation by Abstract Interpretation

    Saan, S., Erhard, J., Schwarz, M., Bozhilov, S., Holter, K., Tilscher, S., Vojdani, V. & Seidl, H., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 335-340 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Non-numerical weakly relational domains

    Seidl, H., Erhard, J., Tilscher, S. & Schwarz, M., 2024, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Prenex universal first-order safety properties

    Dundua, B., Kapanadze, I. & Seidl, H., Aug 2024, In: Information Processing Letters. 186, 106488.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 2023

    Clustered Relational Thread-Modular Abstract Interpretation with Local Traces

    Schwarz, M., Saan, S., Seidl, H., Erhard, J. & Vojdani, V., 2023, Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Wies, T. (ed.). Springer Science and Business Media Deutschland GmbH, p. 28-58 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13990 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Deciding origin equivalence of weakly self-nesting macro tree transducers

    Maneth, S. & Seidl, H., Feb 2023, In: Information Processing Letters. 180, 106332.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Definability Results for Top-Down Tree Transducers

    Maneth, S., Seidl, H. & Vu, M., 1 Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2-3, p. 253-287 35 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)

    Saan, S., Schwarz, M., Erhard, J., Pietsch, M., Seidl, H., Tilscher, S. & Vojdani, V., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 547-552 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Octagons Revisited: Elegant Proofs and Simplified Algorithms

    Schwarz, M. & Seidl, H., 2023, Static Analysis - 30th International Symposium, SAS 2023, Proceedings. Hermenegildo, M. V. & Morales, J. F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 485-507 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14284 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • The Top-Down Solver—An Exercise in A2I

    Tilscher, S., Stade, Y., Schwarz, M., Vogler, R. & Seidl, H., 2023, Intelligent Systems Reference Library. Springer Science and Business Media Deutschland GmbH, p. 157-179 23 p. (Intelligent Systems Reference Library; vol. 238).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Scopus citations
  • When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C

    Schwarz, M., Erhard, J., Vojdani, V., Saan, S. & Seidl, H., 6 Jun 2023, SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023. Ferrara, P. & Hadarean, L. (eds.). Association for Computing Machinery, Inc, p. 20-26 7 p. (SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • 2022

    How to Decide Functionality of Compositions of Top-Down Tree Transducers

    Maneth, S., Seidl, H. & Vu, M., 2022, Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings. Poulakis, D. & Rahonis, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 175-191 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13706 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Preface

    Seidl, H., Liu, Z. & Pasareanu, C. S., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13572 LNCS, p. v-vi

    Research output: Contribution to journalEditorial

  • Stratified guarded first-order transition systems

    Müller, C. & Seidl, H., 2022, (Accepted/In press) In: Formal Methods in System Design.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • 2021

    Definability Results for Top-Down Tree Transducers

    Maneth, S., Seidl, H. & Vu, M., 2021, Developments in Language Theory - 25th International Conference, DLT 2021, Proceedings. Moreira, N. & Reis, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 291-303 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12811 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution)

    Saan, S., Schwarz, M., Apinis, K., Erhard, J., Seidl, H., Vogler, R. & Vojdani, V., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 438-442 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12652 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • Improving Thread-Modular Abstract Interpretation

    Schwarz, M., Saan, S., Seidl, H., Apinis, K., Erhard, J. & Vojdani, V., 2021, Static Analysis - 28th International Symposium, SAS 2021, Proceedings. Drăgoi, C., Mukherjee, S. & Namjoshi, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 359-383 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12913 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    9 Scopus citations
  • On the Balancedness of Tree-to-Word Transducers

    Löbel, R., Luttenberger, M. & Seidl, H., 1 Sep 2021, In: International Journal of Foundations of Computer Science. 32, 6, p. 761-783 23 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • Three improvements to the top-down solver

    Seidl, H. & Vogler, R., 3 Oct 2021, In: Mathematical Structures in Computer Science. 31, 9, p. 1090-1134 45 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    8 Scopus citations
  • 2020

    Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

    Izycheva, A., Darulova, E. & Seidl, H., 2020, Static Analysis - 27th International Symposium, SAS 2020, Proceedings. Pichardie, D. & Sighireanu, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 156-177 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12389 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Equivalence of Linear Tree Transducers with Output in the Free Group

    Löbel, R., Luttenberger, M. & Seidl, H., 2020, Developments in Language Theory - 24th International Conference, DLT 2020, Proceedings. Jonoska, N. & Savchuk, D. (eds.). Springer, p. 207-221 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12086 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • How to Win First-Order Safety Games

    Seidl, H., Müller, C. & Finkbeiner, B., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 426-448 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Incremental Abstract Interpretation

    Seidl, H., Erhard, J. & Vogler, R., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 132-148 17 p. (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 proceedingChapterpeer-review

    6 Scopus citations
  • On the Balancedness of Tree-to-Word Transducers

    Löbel, R., Luttenberger, M. & Seidl, H., 2020, Developments in Language Theory - 24th International Conference, DLT 2020, Proceedings. Jonoska, N. & Savchuk, D. (eds.). Springer, p. 222-236 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12086 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Stratified Guarded First-Order Transition Systems

    Müller, C. & Seidl, H., 2020, Static Analysis - 27th International Symposium, SAS 2020, Proceedings. Pichardie, D. & Sighireanu, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 113-133 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12389 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • When is a bottom-up deterministic tree translation top-down deterministic?

    Maneth, S. & Seidl, H., 1 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 134. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 2019

    Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time

    Seidl, H., Palenta, R. & Maneth, S., 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Simpson, A. & Bojanczyk, M. (eds.). Springer Verlag, p. 488-504 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Synthesizing Efficient Low-Precision Kernels

    Izycheva, A., Darulova, E. & Seidl, H., 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). Springer, p. 294-313 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • 2018

    Balancedness of MSO transductions in polynomial time

    Maneth, S. & Seidl, H., May 2018, In: Information Processing Letters. 133, p. 26-32 7 p.

    Research output: Contribution to journalArticlepeer-review

    3 Scopus citations
  • Computing the longest common prefix of a context-free language in polynomial time

    Luttenberger, M., Palenta, R. & Seidl, H., 2 Feb 2018, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018. Vallee, B. & Niedermeier, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 96).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Enforcing termination of interprocedural analysis

    Schulze Frielinghaus, S., Seidl, H. & Vogler, R., 1 Oct 2018, In: Formal Methods in System Design. 53, 2, p. 313-338 26 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • Equivalence of deterministic top-down tree-To-string transducers is decidable

    Seidl, H., Maneth, S. & Kemper, G., Aug 2018, In: Journal of the ACM. 65, 4, 21.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    11 Scopus citations
  • Inductive invariants for noninterference in multi-agent workflows

    Muller, C., Seidl, H. & Zalinescu, E., 7 Aug 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE Computer Society, p. 247-261 15 p. 8429309. (Proceedings - IEEE Computer Security Foundations Symposium; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • Paths, tree homomorphisms and disequalities for H1-clauses

    Reuß, A. & Seidl, H., 1 Nov 2018, In: Mathematical Structures in Computer Science. 28, 10, p. 1786-1846 61 p.

    Research output: Contribution to journalArticlepeer-review

  • Three improvements to the top-down solver

    Seidl, H. & Vogler, R., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018. Association for Computing Machinery, 21. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • 2017

    Inter-procedural two-variable herbrand equalities

    Schulze Frielinghaus, S., Petter, M. & Seidl, H., 2017, In: Logical Methods in Computer Science. 13, 2, 5.

    Research output: Contribution to journalArticlepeer-review

  • Proving absence of starvation by means of abstract interpretation and model checking

    Seidl, H. & Vogler, R., 2017, Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Proceedings. D’Souza, D. & Narayan Kumar , K. (eds.). Springer Verlag, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10482 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Reachability for dynamic parametric processes

    Muscholl, A., Seidl, H. & Walukiewicz, I., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). Springer Verlag, p. 424-441 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations
  • 2016

    Efficiently intertwining widening and narrowing

    Amato, G., Scozzari, F., Seidl, H., Apinis, K. & Vojdani, V., 1 May 2016, In: Science of Computer Programming. 120, p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    29 Scopus citations
  • Enforcing termination of interprocedural analysis

    Frielinghaus, S. S., Seidl, H. & Vogler, R., 2016, Static Analysis - 23rd International Symposium, SAS 2016, Proceedings. Rival, X. (ed.). Springer Verlag, p. 447-468 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9837 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • Enhancing top-down solving with widening and narrowing

    Apinis, K., Seidl, H. & Vojdani, V., 2016, Semantics, Logics, and Calculi. Probst, C. W., Hansen, R. R. & Hankin, C. (eds.). Springer Verlag, p. 272-288 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9560).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Equivalence - combinatorics, algebra, proofs

    Seidl, H., Maneth, S., Kemper, G. & Engelfriet, J., 19 Apr 2016, Dependable Software Systems Engineering. IOS Press, Vol. 45. p. 202-243 42 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Look-ahead removal for total deterministic top-down tree transducers

    Engelfriet, J., Maneth, S. & Seidl, H., 22 Feb 2016, In: Theoretical Computer Science. 616, p. 18-58 41 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    5 Scopus citations
  • Specifying and verifying secrecy in workflows with arbitrarily many agents

    Finkbeiner, B., Seidl, H. & Müller, C., 2016, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. Artho, C., Peled, D. & Legay, A. (eds.). Springer Verlag, p. 157-173 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9938 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Static race detection for device drivers: The goblint approach

    Vojdani, V., Apinis, K., Rõtov, V., Seidl, H., Vene, V. & Vogler, R., 25 Aug 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, Inc, p. 391-402 12 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    50 Scopus citations
  • 2015

    An Analysis of Universal Information Flow Based on Self-Composition

    Müller, C., Kovács, M. & Seidl, H., 4 Sep 2015, Proceedings - 2015 IEEE 28th Computer Security Foundations Symposium, CSF 2015. Kellenberger, P. (ed.). IEEE Computer Society, p. 380-393 14 p. 7243746. (Proceedings of the Computer Security Foundations Workshop; vol. 2015-September).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    8 Scopus citations