Center for Information Security and Trust

Publikation

Publikationer pr. år 2019 2019 2020 2021 2022 2023

• 56 Konferencebidrag i proceedings
• 18 Tidsskriftartikel
• 7 Bidrag til bog/antologi
• 3 Rapport
• 15 Mere
  • 3 Konferenceabstrakt til konference
  • 3 Paper
  • 3 Konferenceartikel
  • 1 Antologi
  • 1 Bog
  • 1 Poster
  • 1 Bidrag til avis - Kommentar/debat
  • 1 Leder
  • 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2022

  A Study on Security and Privacy Practices in Danish Companies

  Dalela, A., Giallorenzo, S., Kulyk, O., Mauro, J. & Paja, E., apr. 2022, Usable Security and Privacy (USEC) Symposium 2022. Internet society

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Privacy 100%
  • Misalignment 25%
  • Denmark 22%
  • Software Development 21%
  • Developer 19%

• Cookie Disclaimers: Impact of Design and Users’ Attitude

  Berens, B., Dietmann, H., Krisam, C., Kulyk, O. & Volkamer, M., 2022, Proceedings of the 17th International Conference on Availability, Reliability and Security. Association for Computing Machinery

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Designing for Shared Remote Video Experiences

  Løvlie, A. S., Schønrock, L., Bryld, J. M. & Barkhuus, L., 2022, Academic Mindtrek '22: Proceedings of the 25th International Academic Mindtrek Conference. ACM Conference on Computer-Human Interaction, s. 219-229

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

• Evaluating the Future Device Security Risk Indicator for Hundreds of IoT Devices

  Oser, P., Engelmann, F. T., Lüders, S. & Kargl, F., 28 sep. 2022, Security and Trust Management: 18th International Workshop, STM 2022.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • indicator 100%
  • vulnerability 68%
  • analysis 22%

• German voters' attitudes towards voting online with a verifiable system

  Kulyk, O., Volkamer, M., Niklas, F., Berens, B. & Krimmer, R., 2022, Workshop on Advances in Secure Electronic Voting (VOTING), Grenada, February 18, 2022.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming

  Halvorsen, L., Steffensen, S. L., Rafnsson, W., Kulyk, O. & Pardo, R., 2022, IWSPA '22: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics. Association for Computing Machinery

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Increasing security without decreasing usability: A comparison of various verifiable voting systems

  Volkamer, M., Kulyk, O., Ludwig, J. & Niklas, F., 2022, Proceedings of the 18th Symposium on Usable Privacy and Security (SOUPS 2022), Boston, MA, August 8-9, 2022. USENIX - The Advanced Computing Systems Association, s. 233-253

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Casting 100%

• Individual Verifiability with Return Codes: Manipulation Detection Efficacy

  Thürwächter, P. T., Volkamer, M. & Kulyk, O., 2022, International Joint Conference on Electronic Voting. Springer, s. 139 - 156 17 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

• POSTER: Enabling User-Accountable Mechanisms in Decision Systems

  Giustolisi, R. & Schürmann, C., 2022, International Conference on Applied Cryptography and Network Security. Springer, s. 600-605 (Lecture Notes in Computer Science, Bind 13285).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Recent Developments in the Context of Online Elections and Digital Polls in Germany

  Beckert, B., Budurushi, J., Grünwald, A., Krimmer, R., Kulyk, O., Küsters, R., Mayer, A., Jörn, M-Q., Neumann, S. & Volkamer, M., 2022, Sicherheit 2022 : Sicherheit, Schutz und Zuverlässigkeit : Konferenzband der 11. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5.-8. April 2022 in Karlsruhe. Hrsg.: C. Wressnegger. Gesellschaft fur Informatik (GI)

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Secure Internet Exams Despite Coercion

  Giustolisi, R., 2022, 17th DPM International Workshop on Data Privacy Management. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Internet 100%

• The State of the Union: Union-Only Signatures for Data Aggregation

  F. Aranha, D., Engelmann, F. T., Kolby, S. & Yakoubov, S., 15 sep. 2022, International Conference on Security and Cryptography for Networks.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Electronic document identification systems 100%
  • Agglomeration 71%

• What Will Make Me Trust or Not Trust Will Depend Upon How Secure the Technology Is”: Factors Influencing Trust Perceptions of the Use of Election Technologies

  Agbesi, S., Dalela, A., Budurushi, J. & Kulyk, O., 2022, Proceedings of Seventh International Joint Conference on Electronic Voting (E-Vote-ID 2022). University of Tartu

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• You have been in Close Contact with a Person Infected with COVID-19 and you may have been Infected: Understanding Privacy Concerns, Trust and Adoption in Mobile COVID-19 Tracing Across Four Countries

  Kulyk, O., Britton-Steele, L., Paja, E., Schmidt, M. D. & Barkhuus, L., 20 sep. 2022, Proceedings of the ACM on Human-Computer Interaction. Nichols, J. (red.). Issue MHCI udg. New York: ACM Conference on Computer-Human Interaction, Bind 6. s. 1-27 204

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • adoption behavior 100%
  • notification 70%
  • gender 54%
  • new technology 49%
  • health 36%

• Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers

  Campanelli, M., Engelmann, F. T. & Orlandi, C., 15 sep. 2022, International Conference on Security and Cryptography for Networks. Bind 2022. s. 761–784

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Cryptocurrency 100%
  • Glossaries 67%

• “So I Sold My Soul'': Effects of Dark Patterns in Cookie Notices on End-User Behavior and Perceptions

  Kulyk, O., Rafnsson, W., Borberg, I. M. & Pedersen, R. H., 2022, Proceedings of 2022 Symposium on Usable Security and Privacy. Internet society

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
• 2021

  A Declaration of Software Independence

  Ryan, P., Jamroga, W., Schneider, S., Schürmann, C. & Stark, P., 2021, Festschrift for Joshua Guttman. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

• Atomic Power in Forks: A Super-Logarithmic Lower Bound for Implementing Butterfly Networks in the Nonatomic Binary Fork-Join Model

  Jacob, R., Sitchinava, N. & Goodrich, M. T., 14 jan. 2021, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics, s. 2141-2153 13 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Fast Fourier transforms 100%
  • Networks (circuits) 86%
  • Merging 51%
  • Synchronization 41%
  • Data storage equipment 31%

• Dark Patterns in the Wild: Review of Cookie Disclaimer Designs on Top 500 German Websites

  Krisam, C., Dietmann, H., Volkamer, M. & Kulyk, O., 2021, Proceedings of the 2021 European Symposium on Usable Security (EuroUSEC 2021). In press. Association for Computing Machinery, (ACM International Conference Proceeding Series).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Developing Evaluation Metrics for Active Reading Support

  Inie, N. & Barkhuus, L., 2021, Proceedings of the 13th International Conference on Computer Supported Education (CSEDU 2021) . SCITEPRESS Digital Library, Bind 1. s. 177-188

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Students 100%
  • User experience 44%
  • Computer hardware 26%
  • Experiments 16%

• Fragile Complexity of Adaptive Algorithms

  Jacob, R., Fagerberg, R., Bose, P., Cano, P., Iacono, J. & Langerman, S., 10 maj 2021, International Conference on Algorithms and Complexity. Springer, Bind LNCS 12701. s. 144-157 14 s. (LNCS, Bind 12701).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Adaptive algorithms 100%
  • Sorting 48%

• "I need to know I'm safe and protected and will check": users want cues to signal data custodians' trustworthiness

  Kulyk, O. & Renaud, K., 2021, Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, Workshop on Human Centric Software Engineering and Cyber Security. In press. Association for Computing Machinery

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange

  Baum, C., David, B. & Frederiksen, T., 2021, Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I.. Springer, s. 163-194 32 s. (Lecture Notes in Computer Science, Bind 12726).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • Privacy Preserving 100%
  • Cryptocurrency 88%
  • Denial 17%
  • Jurisdiction 14%
  • Attack 10%

• Security Protocols as Choreographies

  Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, s. 98 111 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Network protocols 100%
  • Application programming interfaces (API) 27%

• TARDIS: A Foundation of Time-Lock Puzzles in UC

  Baum, C., David, B., Dowsley, R., Nielsen, J. B. & Oechsner, S., 2021, Advances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part III.. Springer, s. 429-459 31 s. (Lecture Notes in Computer Science, Bind 12698).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • Chemical analysis 100%
  • Blockchain 90%

• Usable Verifiable Secrecy-Preserving E-Voting

  Kulyk, O., Ludwig, J., Volkamer, M., Koenig, R. & Locher, P., 2021, Proceedings of the Sixth International Conference for Electronic Voting (E-Vote-ID 2021). Springer, (Lecture Notes in Computer Science, Bind 12900).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Electronic voting 100%
  • User experience 22%

• Voter Perceptions of Trust in Risk-Limiting Audit

  Dalela, A., Kulyk, O. & Schürmann, C., 2021, Proceedings of the Sixth International Joint Conference on Electronic Voting (E-Vote-ID 2021). TalTech press

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • audit 100%
  • voter 80%
  • confidence 75%
  • election 36%
  • resident 34%

• Zoom and enhance: Action refinement via subprocesses in timed declarative processes

  Norman, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 2021, Business process management - 19th international conference, BPM 2021, rome, italy, september 06-10, 2021, proceedings. Polyvyanyy, A., Wynn, M. T., Looy, A. V. & Reichert, M. (red.). Springer VS, Bind 12875. s. 161-178 18 s. (Lecture notes in computer science).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang
• 2020

  ALBATROSS: Publicly AttestabLe BATched Randomness Based On Secret Sharing

  Cascudo, I. & David, B., 2020, ASIACRYPT 2020: Advances in Cryptology – ASIACRYPT 2020. Moriai, S. & Wang, H. (red.). Springer, s. 311-341 (Lecture Notes in Computer Science, Bind 12493).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Network protocols 100%
  • Fast Fourier transforms 46%
  • Computational complexity 39%
  • Hardness 38%
  • Costs 18%

• Does My Smart Device Provider Care About My Privacy? Investigating Trust Factors and User Attitudes in IoT Systems

  Kulyk, O., Milanovic, K. & Pitt, J., 2020, Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Association for Computing Machinery, s. 1-12 29

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • User Attitudes 100%
  • Privacy 67%
  • End Users 29%
  • Factors 25%
  • Privacy Policies 14%

• Effective Cybersecurity Awareness Training for Election Officials

  Schürmann, C., Jensen, L. H. & Sigbjörnsdóttir, R., 2020, Electronic Voting: E-Vote-ID 2020. Springer, s. 196-212 (Lecture Notes in Computer Science, Bind 12455).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Security of data 100%
  • Boring 44%

• Efficient Composable Oblivious Transfer from CDH in the Global Random Oracle Model

  David, B. & Dowsley, R., 2020, Cryptology and Network Security. CANS 2020.. Krenn, S., Schulman, H. & Vaudenay, S. (red.). Springer, s. 462-481| (Lecture Notes in Computer Science, Bind 12579).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Cryptography 100%
  • Communication 60%
  • Costs 46%

• Fixing Vulnerabilities Automatically with Linters

  Rafnsson, W., Giustolisi, R., Kragerup, M. & Høyrup, M., 2020, 14th International Conference on Network and System Security. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • Vulnerability 100%
  • Software 71%
  • Injection 31%

• Human Factors in Coercion Resistant Internet Voting–A Review of Existing Solutions and Open Challenges

  Kulyk, O. & Neumann, S., 2020, Proceedings of the Fifth International Joint Conference on Electronic Voting . TalTech press

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Human engineering 100%
  • Internet 66%

• Insured MPC: Efficient Secure Computation with Financial Penalties

  Baum, C., David, B. & Dowsley, R., 2020, Financial Cryptography and Data Security. FC 2020.. Bonneau, J. & Heninger, N. (red.). Springer, s. 404-420 (Lecture Notes in Computer Science, Bind 12059).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Cryptocurrency 100%
  • Modular construction 98%

• On the I/O Complexity of the k-Nearest Neighbors Problem

  Goswami, M., Jacob, R. & Pagh, R., jun. 2020, PODS'20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, s. 205-212 (ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Polynomials 100%
  • Nearest neighbor search 85%
  • Approximation algorithms 70%
  • Data structures 53%
  • Data storage equipment 39%

• On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems

  Madsen, M. F. & Debois, S., jul. 2020, PODC '20: Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, Bind 39. s. 159-168 10 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Fault 100%
  • Fault Tolerance 58%
  • Broadcast 55%
  • Distinct 30%
  • Model 28%

• Privacy-Preserving Dispute Resolution in the Improved Bingo Voting

  Giustolisi, R. & Bruni, A., 25 sep. 2020, E-Vote-ID: International Joint Conference on Electronic Voting. Springer, s. 67-83 16 s. (Lecture Notes in Computer Science, Bind 12455).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Privacy Preserving 100%
  • Dispute Resolution 97%
  • Voting Scheme 75%
  • Voting 73%
  • Authority 17%

• Security and Privacy Awareness in Smart Environments--A Cross-Country Investigation

  Kulyk, O., Reinheimer, B., Aldag, L., Mayer, P., Gerber, N. & Volkamer, M., 2020, International Conference on Financial Cryptography and Data Security. Springer, s. 84-101 18 s. (Lecture Notes in Computer Science, Bind 12063).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Security Issues 100%
  • Privacy 88%
  • Violations 13%
  • Romania 13%
  • Spain 11%

• The Designer’s Body as Resource in Design: Exploring Combinations of Point-of-view and Tense

  Svanæs, D. & Barkhuus, L., apr. 2020, CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-13 12 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Tense 100%
  • Designer 76%
  • Resources 40%
  • User-centered Design 29%
  • Intersubjectivity 28%

• Towards improving the efficacy of code-based verification in internet voting

  Kulyk, O., Volkamer, M., Müller, M. & Renaud, K., 2020, International Conference on Financial Cryptography and Data Security. Springer, s. 291-309 19 s. (Lecture Notes in Computer Science, Bind 12063).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Internet 100%
  • Telephone 50%

• Watching Together but Apart: Shared Video Experiences During COVID-19 Outbreak

  Bryld, J. M., Schønrock, L., Løvlie, A. S. & Barkhuus, L., 17 jun. 2020, Adjunct Proceedings of the ACM International Conference on Interactive Media Experiences (IMX) 2020. Association for Computing Machinery

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Television 100%
  • Application programming interfaces (API) 87%
• 2019

  A Security Analysis of the Danish Deposit Return System

  Garbacz, I., Giustolisi, R., Møller Nielsen, K. & Schürmann, C., 1 nov. 2019, Proceedings of the 9th Workshop on Socio-Technical Aspects in Security and Trust. Springer, (Lecture Notes in Computer Science).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Deposits 100%
  • Vending machines 54%
  • Recycling 33%
  • Containers 31%

• Bear & Co: Simulating Value Conflicts in IoT Development

  Berner, A., Seyfried, M., Nordenskjöld, C., Kuhberg, P. & Shklovski, I., 2019, CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 4 s. INT025

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Immersion 100%
  • Diagrams 87%
  • Scenarios 76%
  • Journey 70%

• Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations

  Kulyk, O., Henzel, J., Renaud, K. & Volkamer, M., sep. 2019, 17th IFIP TC 13 International Conference on Human-Computer Interaction: INTERACT 2019. Lecture Notes in Computer Science, vol 11746. Springer, s. 519-538 (Lecture Notes in Computer Science, Bind 11746).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • voting 100%
  • Internet 72%
  • voter 66%
  • acceptance 35%
  • election 12%

• Consent Verification Under Evolving Privacy Policies

  Robol, M., D. Breaux, T., Paja, E. & Giorgini, P., 23 sep. 2019, Proceedings of the IEEE 27th International Requirements Engineering Conference (RE'19). Conf. Location: Jeju Island, Korea (South): IEEE, s. 422-427 6 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Privacy Policies 100%
  • Consent 72%
  • Personal Data 38%
  • Privacy 26%
  • Data Collection 25%

• DCR Event-reachability via Genetic Algorithms

  Högnasson, T. & Debois, S., 29 jan. 2019, Business Process Management Workshops: BPM 2018. Springer, Cham, Bind 342. (Lecture Notes in Business Information Processing, Bind 342).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Declarative Choreographies and Liveness

  Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., jun. 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, s. 129-147 19 s. (Lecture Notes in Computer Science, Bind 11535).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

• Efficient UC Commitment Extension with Homomorphism for Free (and Applications)

  Cascudo, I., Damgård, I., David, B., Dowsley, R., Döttling, N. & Giacomelli, I., 22 nov. 2019, Advances in Cryptology – ASIACRYPT 2019: 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II. Galbraith, S. & Moriai, S. (red.). Springer, s. 606-635 (Lecture Notes in Computer Science, Bind 11922).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Network protocols 100%
  • Concretes 98%
  • Computational complexity 59%

• Fragile Complexity of Comparison-Based Algorithms

  Afshani, P., Fagerberg, R., Hammer, D. M. G., Jacob, R., Kostitsyna, I., Meyer, U., Penschuck, M. & Sitchinava, N., 9 sep. 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, s. 2:1–2:19 2. (Leibniz International Proceedings in Informatics (LIPIcs)).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Sorting 100%
  • Computational complexity 83%