Digital Democracy Centre

Filter
Article in proceedings

Search results

  • 2025

    Function-as-a-Service Allocation Policies Made Formal

    Palma, G. D., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2025, Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science+Business Media, p. 306-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15219 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2024

    An OpenWhisk Extension for Topology-Aware Allocation Priority Policies

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2024, Proceedings of Coordination Models and Languages . Castellani, I. & Tiezzi, F. (eds.). Springer Science+Business Media, p. 201-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14676 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Choreography-Defined Networks: A Case Study on DoS Mitigation

    Giallorenzo, S., Mauro, J., Melis, A., Montesi, F., Peressotti, M. & Prandini, M., 2024, Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Gaaloul, W., Sheng, M., Yu, Q. & Yangui, S. (eds.). Springer Science+Business Media, Vol. 15405. p. 243-259 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15405 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Digital Signatures for Authenticating Compressed JPEG Images

    Erfurth, S., 1. Jul 2024, SCID 2024 - Proceedings of the 1st Workshop on Security-Centric Strategies for Combating Information Disorder. Association for Computing Machinery, 12 p. 4

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    7 Downloads (Pure)

  • FunLess: Functions-as-a-Service for Private Edge Cloud Systems

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., Oct 2024, Proceedings - 2024 IEEE International Conference on Web Services, ICWS 2024. Chang, R. N., Chang, C. K., Jiang, Z., Yang, J., Jin, Z., Sheng, M., Fan, J., Fletcher, K. K., He, Q., He, Q., Ardagna, C., Yang, J., Yin, J., Wang, Z., Beheshti, A., Russo, S., Atukorala, N., Wu, J., Yu, P. S., Ludwig, H., Reiff-Marganiec, S., Zhang, E., Sailer, A., Bena, N., Li, K., Watanabe, Y., Zhao, T., Wang, S., Tu, Z., Wang, Y. & Wei, K. (eds.). IEEE, p. 961-967

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Infinitary Cut-Elimination via Finite Approximations

    Acclavio, M., Curzi, G. & Guerrieri, G., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 288).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    5 Downloads (Pure)

  • Logic Programming with Multiplicative Structures

    Acclavio, M. & Maieli, R., 1. Oct 2024, Proceedings 13th International Workshop on Developments in Computational Models (DCM 2023). Electronic Proceedings in Theoretical Computer Science, Vol. 408. p. 42-61 20 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  • Orchestrator Bypass: The Emergence of Informal Collaboration in the Danish News Ecosystem

    Johansen, E. B. & Baumann, O., 2024, Academy of Management Proceedings.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Reducing Signature Size of Matrix-Code-Based Signature Schemes

    Chou, T., Niederhagen, R., Ran, L. & Samardjiska, S., 2024, Post-Quantum Cryptography - 15th International Workshop, PQCrypto 2024, Proceedings. Saarinen, M.-J., Smith-Tone, D. & Smith-Tone, D. (eds.). Springer Science+Business Media, p. 107-134 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14771 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Striking the balance in using LLMs for fact-checking: A narrative literature review

    Dierickx, L., Dalen, A. V., Opdahl, A. L. & Lindén , C.-G., 2024, Disinformation in Open Online Media: 6th Multidisciplinary International Symposium, MISDOOM 2024, Münster, Germany, September 2–4, 2024, Proceedings. Preuss, M., Leszkiewicz, A., Boucher, J.-C., Fridman, O. & Stampe, L. (eds.). Cham: Springer, 15 p. (Lecture Notes in Computer Science, Vol. 15175).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2023

    Canonicity of Proofs in Constructive Modal Logic

    Acclavio, M., Catta, D. & Olimpieri, F., 2023, Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Proceedings: 32nd International Conference. Ramanayake, R. & Urban, J. (eds.). Springer Science+Business Media, p. 342-363 (Lecture Notes in Computer Science, Vol. 14278 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    11 Downloads (Pure)

  • Custom Serverless Function Scheduling Policies: An APP Tutorial

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2023, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Dorai, G., Gabbrielli, M., Manzonetto, G., Osmani, A., Prandini, M., Zavattaro, G. & Zimmermann, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 5:1-5:16 5. (Open Access Series in Informatics, Vol. 111).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    24 Downloads (Pure)

  • JoT: A Jolie Framework for Testing Microservices

    Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Unwerawattana, N., 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S.-S. & Lopes, A. (eds.). Springer Science+Business Media, p. 172-191 (Lecture Notes in Computer Science, Vol. 13908 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Lorenzen-Style Strategies as Proof-Search Strategies

    Acclavio, M. & Catta, D., 2023, Multi-Agent Systems . Malvone, V. & Murano, A. (eds.). Springer Science+Business Media, p. 150-166 (Lecture Notes in Computer Science, Vol. 14282).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Online Algorithms with Predictions

    Boyar, J., Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2 p. 2. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 272).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    22 Downloads (Pure)

  • Online Interval Scheduling with Predictions

    Boyar, J., Favrholdt, L. M., Kamali, S. & Larsen, K. S., 2023, Algorithms and Data Structures: Proceedings of 18th International Symposium. Morin, P. & Suri, S. (eds.). Springer, p. 193-207

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Online Minimum Spanning Trees with Weight Predictions

    Berg, M., Boyar, J., Favrholdt, L. M. & Larsen, K. S., 2023, Algorithms and Data Structures. Morin, P. & Suri, S. (eds.). Springer, p. 136-148 (Lecture Notes in Computer Science, Vol. 14079).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Paging with Succinct Predictions

    Antoniadis, A., Boyar, J., Eliáš, M., Favrholdt, L. M., Hoeksma, R., Larsen, K. S., Polak, A. & Simon, B., 2023, Proceedings of the 40th International Conference on Machine Learning. ML Research Press, Vol. 202. p. 952-968 17 p. (Proceedings of Machine Learning Research).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    2 Downloads (Pure)

  • QuantumCharge: Post-Quantum Cryptography for Electric Vehicle Charging

    Kern, D., Krauß, C., Lauser, T., Alnahawi, N., Wiesmaier, A. & Niederhagen, R., 2023, Applied Cryptography and Network Security. Tibouchi, M. & Wang, X. (eds.). 1. ed. Springer, p. 85-111 (Lecture Notes in Computer Science, Vol. 13906).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    39 Downloads (Pure)

  • Quotable Signatures for Authenticating Shared Quotes

    Boyar, J., Erfurth, S., Larsen, K. S. & Niederhagen, R., Oct 2023, Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America. Aly, A. & Tibouchi, M. (eds.). Springer, p. 273-292 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    2 Downloads (Pure)

  • Take Your MEDS: Digital Signatures from Matrix Code Equivalence

    Chou, T., Niederhagen, R., Persichetti, E., Randrianarisoa, T. H., Reijnders, K., Samardjiska, S. & Trimoska, M., 2023, Progress in Cryptology - AFRICACRYPT 2023 : Proceedings of14th International Conference on Cryptology in Africa. El Mrabet, N., De Feo, L. & Duquesne, S. (eds.). Springer Science+Business Media, p. 28-52 (Lecture Notes in Computer Science, Vol. 14064).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)
  • 2014

    I'd Rather Die Than Be with You: The Effects of Mortality Salience and Negative Social Identity on Identification with a Virtual Group

    Frischlich, L., Rieger, D. & Rutkowski, O., 2014, SCSM 2014: Social Computing and Social Media. Springer, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review