Center for Information Security and Trust (CISAT)

2024

An Algorithm for Bichromatic Sorting with Polylog Competitive Ratio

Jacob, R. & Goswami, M., 24 Jan 2024, In: Leibniz International Proceedings in Informatics (LIPIcs). 287, p. 1-17 17 p.

Research output: Journal Article or Conference Article in Journal › Conference article › Research

Open Access

A Probabilistic Choreography Language for PRISM

Carbone, M. & Veschetti, A., 2024, LNCS. Springer, Vol. 14676. p. 20-37 18 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Finding the saddlepoint faster than sorting

Jacob, R., Dallant, J., Haagensen, F., Kozma, L. & Wild, S., 2024, 2024 Symposium on Simplicity in Algorithms (SOSA). Society for Industrial and Applied Mathematics, p. 168 - 178 11 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research

Open Access

On Instance-Optimal Algorithms for a Generalization of Nuts and Bolts and Generalized Sorting

Jacob, R. & Goswami, M., Aug 2024, In: Leibniz International Proceedings in Informatics (LIPIcs). 317, p. 1-23 23 p.

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access

Prototypes all the way down: Prototyping in the teaching and development of technology Comprehension

Gahoonia, S. K. & Gad, C., 2024, In: STS Encounters. 16, 1, p. 3-18 15 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

Taming Differentiable Logics with Coq Formalisation

Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 Mar 2024.

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research

Open Access

2023

A Decentralized Information Marketplace Preserving Input and Output Privacy

Golob, S., Pentyala, S., David, B., Dowsley , R., Larangeira, M., De Cock, M. & Nascimento, A., 2023, DEC '23: Proceedings of the Second ACM Data Economy Workshop. Association for Computing Machinery

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

A Logical Interpretation of Asynchronous Multiparty Compatibility

Carbone, M., Marin, S. & Schürmann, C., 16 Oct 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Cham, Vol. 14330. (Lecture Notes in Computer Science, Vol. 14330).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

A Sound and Complete Projection for Global Types

Tirore, D., Bengtson, J. & Carbone, M., 26 Jul 2023, In: Leibniz International Proceedings in Informatics. 268, p. 28:1 28 p.

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access

Collocated Distance: A Fundamental Challenge for the Design of Hybrid Work Technologies

Duckert, M., Barkhuus, L. & Bjørn, P., Apr 2023, roceedings of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-16 612

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Correlated-Output Differential Privacy and Applications to Dark Pools

Hsin-yu Chiang, J., David, B., Gama, M. & Lebeda, C. J., 2023, 5th Conference on Advances in Financial Technologies (AFT 2023) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 282. p. 1-23 (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 282).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time

Baum, C., David, B., Dowsley , R., Nielsen, J. B., Oechsner, S. & Vasala, R. K., 2023, Public-Key Cryptography – PKC 2023. PKC 2023.. Springer, Cham, (LNCS, Vol. 13940).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Curating Complexities in Art, Science, and Medicine: Art, Science, and Technology Studies (ASTS) in Public Practice

Rogers, H. S., Gad, C., Hussey, K. D., Whiteley, L., Bencard, A. & Abrantes, E., 2023, In: STS Encounters. 15, 2, p. 1-15 15 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

Digitalization becoming a matter of security

Gad, C., 9 Jun 2023.

Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review

Eagle: Efficient Privacy Preserving Smart Contracts

Baum, C., Hsin-yu Chiang, J., David, B. & Frederiksen, T., 2023, Financial Cryptography and Data Security. FC 2023.. Springer, Cham, (LNCS, Vol. 13950).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees

Campanelli, M., David, B., Khoshakhlagh, H., Konring, A. & Nielsen, J. B., 23 Jan 2023, Advances in Cryptology – ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5–9, 2022, Proceedings, Part III. (Lecture Notes in Computer Science, Vol. 13793).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Extended Formal Analysis of the EDHOC Protocol in Tamarin

Bruni, A., Normann, K. & Sundararajan, V., 2023, Extended Formal Analysis of the EDHOC Protocol in Tamarin.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

File

FairPoS: Input Fairness in Permissionless Consensus

Hsin-yu Chiang, J., David, B., Eyal, I. & Gong, T., 18 Oct 2023, 5th Conference on Advances in Financial Technologies (AFT 2023) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 282).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Gender Differences in the Group Dynamics of Smaller CS1 Project Groups

Westh, B. H., Inie, N., Barkhuus, L. & Brabrand, C., 2023, IEEE ASEE Frontiers in Education Conference 2023. College Station, Texas, USA

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Influence of URL Formatting on Users' Phishing URL Detection

Mossano, M., Kulyk, O., Berens, B., Häußler, E. M. & Volkamer, M., 2023, Proceedings of the 2023 European Symposium on Usable Security. Association for Computing Machinery

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

Investigating Transparency Dimensions for Internet Voting

Agbesi, S., Dalela, A., Budurushi, J. & Kulyk, O., 2023, International Joint Conference on Electronic Voting. Springer, Cham, Vol. 14230. p. 1-17 17 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Local Differential Privacy in Voting

Giustolisi, R., David, B., Mortensen, V. & Pedersen, M., 2023, ITASEC 2023: The Italian Conference on CyberSecurity. CEUR Workshop Proceedings

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Mt. Random: Multi-tiered Randomness Beacons

Cascudo, I., David, B., Shlomovits, O. & Varlakov, D., 2023, Applied Cryptography and Network Security. ACNS 2023. Springer, Cham, p. 645–674 (LNCS, Vol. 13906).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Network

Gad, C., 2023, Reclaiming Technology: a poetic-scientific vocabulary. Maguire, J. & Wintereik, B. R. (eds.). Copenhagen: Ctrl+Alt+Delete Books, p. 36-39 3 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Open Access

Optimal Parallel Sorting with Comparison Errors

Jacob, R. & Goodrich, M. T., 17 Jun 2023, Proceedings SPAA '23. Association for Computing Machinery, p. 355-365 11 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

Organising artificial intelligence and representing work

Jørgensen, B., Gad, C. & Winthereik, B. R., 2023, An Anthropology of Futures and Technologies. Lanzeni, D., Waltorp, K., Pink, S. & Smith, R. C. (eds.). Bloomsbury Academic, 12 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Open Access

PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials

Gentile, L., David, B., Brorsson, J., Stankovski Wagner, P. & Pagnin, E., 2023, In: CT-RSA 2023 The Cryptographers' Track at RSA Conference.

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access

People want reassurance when making privacy-related decisions—Not technicalities

Kulyk, O., Renaud, K. & Costica, S., 2023, In: Journal of Systems and Software. 200, 111620

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Perfect MPC over Layered Graphs

David, B., Deligios, G., Goel, A., Ishai, Y., Konring, A., Kushilevitz, E., Liu-Zhang, C.-D. & Narayanan, V., 2023, Advances in Cryptology – CRYPTO 2023. CRYPTO 2023. . Springer, Cham, (LNCS, Vol. 13269).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Receipt-Free Electronic Voting from zk-SNARK

Giustolisi, R., Schürmann, C. & Sheikhi Garjan, M., 2023, 2023 International Conference on Security and Cryptography (SECRYPT). SCITEPRESS Digital Library, Vol. 1. p. 254-266 16 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Security Awareness Training Through Experiencing the Adversarial Mindset

Dalgaard, J. C., Kulyk, O., Schürmann, C. & Janssen, N. A., 2023, Usable Security and Privacy (USEC) Symposium 2023.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

SoK: Privacy-Enhancing Technologies in Finance

Baum, C., Hsin-yu Chiang, J., David, B. & Frederiksen, T., 2023, 5th Conference on Advances in Financial Technologies (AFT 2023) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 282).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Towards a Basic Security Framework for SMEs: Results From an Investigation of Cybersecurity Challenges in Denmark

Fleron, C. N., Jørgensen, J. K., Kulyk, O. & Paja, E., 4 Sept 2023, 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW). 2023 ed. Los Alamitos, CA, USA: IEEE, p. 230-233

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Trusting elections: complexities and risks of digital voting in Denmark

Gad, C., 2023, In: Journal of Cultural Economy. p. 1-18 18 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Understanding issues related to personal data and data protection in open source projects on GitHub

Henning, A., Schulte, L., Herbold, S., Kulyk, O. & Mayer, P., 2023, Registered Report with Continuity Acceptance (CA) for submission to Empirical Software Engineering granted by RR-Committee of the MSR'23. 8 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

YOLO YOSO: Fast and Simple Encryption and Secret Sharing in the YOSO Model

Cascudo, I., David, B., Garms, L. & Konring, A., 23 Jan 2023, Advances in Cryptology – ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5–9, 2022, Proceedings, Part I. Springer, Cham, Vol. 13791. (Lecture Notes in Computer Science; No. 1, Vol. 13791).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

2022

(Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge

Baum, C., David, B. & Dowsley, R., 7 Nov 2022, Provable and Practical Security: 16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings. (Lecture Notes in Computer Science, Vol. 13600).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

A Formal Approach to Coercion Resistance and Its Application to E-Voting

Riou, S., Kulyk, O. & Yeregui Marcos del Blanco, D., 2022, In: Mathematics.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

Competing Versions of Trust in the Making of Democracy

Gad, C., 30 Sept 2022.

Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research

Consent verification monitoring

Robol, M., D. Breaux, T., Paja, E. & Giorgini, P., 29 Jun 2022, In: ACM Transactions on Software Engineering and Methodology (TOSEM).

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

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, p. 219-229

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

File

Diagnosing Expressed

Gad, C., Fritsch, J. & Jacobsen, M., 2 Jun 2022.

Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review

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

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

Expressing undergoing Diagnosis

Gad, C., Fritsch, J. & Jacobsen, M., 11 Dec 2022.

Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research

Facts and Politics of Air Pollution in Copenhagen

Dalsgaard, S., 3 Jun 2022.

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research

FAST: Fair Auctions via Secret Transactions

David, B., Gentile, L. & Pourpouneh, M., 17 Jun 2022, Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Rome, Italy, June 20–23, 2022, Proceedings. (Lecture Notes in Computer Science, Vol. 13269).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Fragile complexity of adaptive algorithms

Jacob, R., Fagerberg, R., Bose, P., Cano, P., Iacono, J. & Langerman, S., 5 Jun 2022, In: Theoretical Computer Science. 915, p. 92-102 11 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

File

GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy

David, B., Magri, B., Matt, C., Nielsen, J. B. & Tschudi, D., 7 Nov 2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

File

Center for Information Security and Trust (CISAT)

Research output

Search results