Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Search results

  • 2022

    Publisher Correction: Closed-form continuous-time neural networks (Nature Machine Intelligence, (2022), 4, 11, (992-1003), 10.1038/s42256-022-00556-7)

    Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M., Teschl, G. & Rus, D., Dec 2022, In: Nature Machine Intelligence. 4, 12, p. 1267 1 p.

    Research output: Contribution to journal › Comment/debate › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Randomized reachability analysis in UPPAAL: fast error detection in timed systems*

    Kiviriga, A., Larsen, K. G. & Nyman, U., 17 Nov 2022, In: International Journal on Software Tools for Technology Transfer. 24, 6, p. 1025-1042 18 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    33 Downloads (Pure)

  • Relational Fusion Networks: Graph Convolutional Networks for Road Networks

    Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., Jan 2022, In: IEEE Transactions on Intelligent Transportation Systems. 23, 1, p. 418-429 12 p., 9167450.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    22 Citations (Scopus)
    130 Downloads (Pure)

  • Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

    Huerta y Munive, J. J., 2022, International Conference on Runtime Verification.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Resilience-Focused Monitoring Framework for Edge Systems.

    Klitgaard, A. S., Sønderby, A. A., Jørgensen, H. S., Petersen, K. W., Dongo, J. & Albano, M., 2022, 2022 IEEE International Conference on Edge Computing and Communications (EDGE). IEEE, p. 153-158 6 p. (IEEE International Conference on Edge Computing and Communications (EDGE)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Rigorous time evolution of p-boxes in non-linear ODEs

    Gray, A., Forets, M., Schilling, C., Benet, L. & Ferson, S., 2022, Book of Extended Abstracts for the 32nd European Safety and Reliability Conference. Research Publishing, p. 154-155 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review

    Open Access
    File
    44 Downloads (Pure)

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 Nov 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, p. 276-292 17 p. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    22 Downloads (Pure)

  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 538-556 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    12 Downloads (Pure)

  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 149-173 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13701 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    28 Downloads (Pure)

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 157-173 17 p. (Lecture Notes in Computer Science, Vol. 13702).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13660).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Sleep Classification Using Consumer Sleep Technologies and AI: A review of the current landscape

    Djanian, S., Bruun, A. & Nielsen, T. D., Dec 2022, In: Sleep Medicine. 100, p. 390-403 14 p.

    Research output: Contribution to journal › Review article › peer-review

    Open Access
    File
    12 Citations (Scopus)
    182 Downloads (Pure)

  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). 1 ed. Springer, Vol. 13255. p. 134-151 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (eds.). Springer, p. 79-96 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    2 Citations (Scopus)

  • Stateful to Stateless: Modelling Stateless Ethereum

    Johnson, S., Hyland-Wood, D., Madsen, A. L. & Mengersen, K., 21 Mar 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 355, p. 27-39 13 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 Jul 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, p. 76-82 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    107 Downloads (Pure)

  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 327-333 7 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    120 Downloads (Pure)

  • Supervisor Synthesis: Bridging Theory and Practice

    Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F. & Rooda, J., Oct 2022, In: Computer. 55, 10, p. 48-54

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    31 Downloads (Pure)

  • Synthesis of Parametric Hybrid Automata from Time Series

    García Soto, M., Henzinger, T. A. & Schilling, C., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 337-353 17 p. (Lecture Notes in Computer Science, Vol. 13505).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • The AIM and EM Algorithms for Learning from Coarse Data

    Jaeger, M., 2022, In: Journal of Machine Learning Research. 23

    Research output: Contribution to journal › Journal article › Research › peer-review

  • The Complexity of Evaluating Nfer

    Kauffman, S. & Zimmermann, M., Jul 2022, Theoretical Aspects of Software Engineering, TASE 2022: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 388-405 18 p. (Lecture Notes in Computer Science, Vol. 13299).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    16 Downloads (Pure)

  • The current status of gene expression profilings in COVID-19 patients

    Ilieva, M., Tschaikowski, M., Vandin, A. & Uchida, S., Sept 2022, In: Clinical and Translational Discovery. 2, 3, e104.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    70 Downloads (Pure)

  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

    Cuijpers, P. J. L., Schmid, S., Schnepf, N. & Srba, J., 2022, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22). IEEE, p. 239-250

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Understanding the Challenges of Blocking Unnamed Network Traffic.

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (eds.). IEEE, p. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • UniTE - The Best of Both Worlds - Unifying Function-Fitting and Aggregation-Based Approaches to Travel Time and Travel Speed Estimation.

    Jepsen, T. S., Jensen, C. S. & Nielsen, T. D., 2 Nov 2022, In: Transactions on Spatial Algorithms and Systems. 8, 4, p. 1 26 p., 30.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

    Gu, R., Jensen, P. G., Poulsen, D. B., Seceleanu, C., Enoiu, E. & Lundqvist, K., Jun 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 395-414 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    6 Citations (Scopus)
    50 Downloads (Pure)

  • Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

    Schilling, C., Forets, M. & Guadalupe, S., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, p. 8169-8177 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 7, Vol. 36).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    21 Citations (Scopus)

  • Web of Things Semantic Interoperability in Smart Buildings

    Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, In: Procedia Computer Science. 207, p. 997-1006 10 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    35 Downloads (Pure)
  • 2021

    A bayesian framework for large-scale identification of nonlinear hybrid systems

    Madary, A., Momeni, H. R., Abate, A. & Larsen, K. G., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 5, p. 259-264 6 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    36 Downloads (Pure)

  • Active Learning of Markov Decision Processes using Baum-Welch algorithm

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (eds.). IEEE, p. 1203-1208 6 p. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • 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 proceeding › Article in proceeding › Research › peer-review

    Open Access
    8 Citations (Scopus)

  • ADTLANG: A Programming Language Approach to Attack Defense Trees

    Hansen, R. R., Larsen, K. G., Legay, A. B. E., Jensen, P. G. & Poulsen, D. B., 7 Jan 2021, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 89-104 16 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    2 Citations (Scopus)

  • A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT

    Albano, M., Chessa, S. & Larsen, K. G., 5 Sept 2021, 26th IEEE Symposium on Computers and Communications. Athens, Greece: IEEE, 9631383. (I E E E International Symposium on Computers and Communications).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Analysis of Source Code Using UPPAAL

    Kulczynski, M., Legay, A., Nowotka, D. & Poulsen, D. B., 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 338, p. 31-38 8 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    56 Downloads (Pure)

  • An approach to estimating energy consumption of web-based IT systems

    Kirkeby, M. H., Gallagher, J. & Thomsen, B., Sept 2021, CERCIRAS Workshop-01: Abstracts. p. 18 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review

  • An Integer Static Analysis for Better Extrapolation in Uppaal

    Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

    Johnson, T. T., Lopez, D. M., Benet, L., Forets, M., Guadalupe, S., Schilling, C., Ivanov, R., Carpenter, T. J., Weimer, J. & Lee, I., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 90-119 30 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    11 Citations (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 32-54 23 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    8 Citations (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 1-31 31 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    9 Citations (Scopus)

  • Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs

    Dragoni, N., Lluch-Lafuente, A., Massacci, F. & Schlichtkrull, A., 26 Jan 2021, In: IEEE Security & Privacy. 19, 1, p. 81-88 8 p., 9336077.

    Research output: Contribution to journal › Journal article › Research

    Open Access
    14 Citations (Scopus)

  • A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL.

    From, A. H., Schlichtkrull, A. & Villadsen, J., 2021, In: CEUR Workshop Proceedings. 3002, p. 107-121 7.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    5 Citations (Scopus)
    40 Downloads (Pure)

  • Automated Orchestration of Security Chains Driven by Process Learning

    Schnepf, N., Badonnel, R., Lahmadi, A. & Merz, S., Oct 2021, Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Zincir-Heywood, N., Diao, Y. & Mellia, M. (eds.). Wiley-IEEE press, p. 289-320 (IEEE Press Series on Networks and Service Management).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Automatic Instance Generation for Classical Planning

    Torralba, A., Seipp, J. & Sievers, S., 17 May 2021, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 21). 1 ed. Palo Alto: AAAI Press, Vol. 31. p. 376-384 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    12 Citations (Scopus)

  • Automatic Synthesis of Transiently Correct Network Updates via Petri Games

    Didriksen, M., Jensen, P. G., Jønler, J. F., Katona, A. I., Lama, S. D. L., Lottrup, F. B., Shajarat, S. & Srba, J., 2021, Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings. Buchs, D. & Carmona, J. (eds.). Springer, p. 118-137 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12734 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Battery Aware Analysis of Sensor Networks in Uppaal SMC

    Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Hoedholt, A. & Laursen, C. Ø., 7 Jun 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE, p. 1-6 6 p. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Battery Lifetime Estimation And Optimization For a WSN

    Nielsen, B., Albano, M., Naeem, M., Pedersen, T., Hødholdt, A. & Laursen, C. Ø., 24 May 2021. 1 p.

    Research output: Contribution to conference without publisher/journal › Poster › Research › peer-review

    File
    41 Downloads (Pure)

  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 312-331 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Can a TLS certificate be phishy?

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2021, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021. di Vimercati, S. D. C. & Samarati, P. (eds.). SCITEPRESS Digital Library, p. 38-49 12 p. (International Conference on Security and Cryptography - SECRYPT - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    187 Downloads (Pure)