Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Braun, L., Delpech de Saint Guilhem, C., Jadoul, R., Orsini, E., Smart, N. P. & Tanguy, T. (2023). ZK-for-Z2K: MPC-in-the-Head Zero-Knowledge Proofs for Z2k. I IMA CC 2023 https://eprint.iacr.org/2023/1057

Giacomelli, I., Madsen, J. & Orlandi, C. (2016). ZKBoo: Faster Zero-Knowledge for Boolean Circuits. I Proceedings of the 25th USENIX Security Symposium: (USENIX Security 16) (s. 1069-1083). USENIX - The Advanced Computing Systems Association. https://www.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_giacomelli.pdf

Sand, A., Kristiansen, M., Pedersen, C. N. S. & Mailund, T. (2013). zipHMMlib: a highly optimised HMM library exploiting repetitions in the input to speed up the forward algorithm. BMC Bioinformatics , 14(339), 339-348. https://doi.org/10.1186/1471-2105-14-339

Jawurek, M., Kerschbaum, F. & Orlandi, C. (2013). Zero-knowledge using garbled circuits: Or how to prove non-algebraic statements efficiently. I A.-R. Sadeghi , V. Gligor & M. Yung (red.), Proceedings of the ACM Conference on Computer and Communications Security, CCS '13 (s. 955-966). Association for Computing Machinery. https://doi.org/10.1145/2508859.2516662

Pastro, V. (2013). Zero-Knowledge Protocols and Multiparty Computation. Department of Computer Science, Aarhus University.

Damgård, I. B. & López-Alt, A. (2012). Zero-Knowledge Proofs with Low Amortized Communication from Lattice Assumptions. Lecture Notes in Computer Science, 7485, 38-56 . https://doi.org/10.1007/978-3-642-32928-9_3

Benarroch, D., Campanelli, M., Fiore, D., Gurkan, K. & Kolonelos, D. (2021). Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular. I N. Borisov & C. Diaz (red.), Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I (s. 393-414). Springer. https://doi.org/10.1007/978-3-662-64322-8_19

Campanelli, M., Engelmann, F. & Orlandi, C. (2022). Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers. I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks (s. 761-784). Springer. https://doi.org/10.1007/978-3-031-14791-3_33

Abdrabou, Y., Schütte, J., Shams, A., Pfeuffer, K., Buschek, D., Khamis, M. & Alt, F. (2022). "Your Eyes Tell You Have Used This Password Before": Identifying Password Reuse from Gaze and Keystroke Dynamics. I CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 400 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517531

Borchorst, N. G. & Bødker, S. (2011). “You probably shouldn’t give them too much information” – Supporting Citizen-Government Collaboration. I S. Bødker, N. O. Bouvin, W. Lutters, V. Wulf & L. Ciolfi (red.), ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work (s. 173-192). Springer. https://doi.org/10.1007/978-0-85729-913-0_10

Cino, D., Brandsen, S., Bressa, N. A., Mascheroni, G., Eriksson, E. & Zaman, B. (2022). Young People’s Digital Skills Practices in Non-formal Learning Contexts: observations, interviews, co-design. (Deliverable 6.2). University of Leuven.

Gentry, C., Halevi, S., Krawczyk, H., Magri, B., Nielsen, J. B., Rabin, T. & Yakoubov, S. (2021). YOSO: You Only Speak Once: Secure MPC with Stateless Ephemeral Roles. I T. Malkin & C. Peikert (red.), Advances in Cryptology – CRYPTO 2021: Annual International Cryptology Conference (s. 64-93). Springer. https://doi.org/10.1007/978-3-030-84245-1_3

Damgård, I., Orlandi, C. & Simkin, M. (2018). Yet Another Compiler for Active Security or: Efficient MPC Over Arbitrary Rings. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10992, s. 799-829). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_27

Larsen, K. G. & Nielsen, J. B. (2018). Yes, There is an Oblivious RAM Lower Bound! I H. Shacham & A. Boldyreva (red.), Advances in Cryptology -- CRYPTO 2018 (s. 523-542). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_18

Evangelista Belo, J. M., Feit, A. M., Feuchtner, T. & Grønbæk, K. (2021). XRgonomics: Facilitating the Creation of Ergonomic 3D Interfaces. I CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths (s. 1-11). Artikel 290 Association for Computing Machinery. https://doi.org/10.1145/3411764.3445349

Botero, A., Van Amste, F., Seravalli, A. & Saad-Sulonen, J. (2015). WS co-designing and commoning. Nordic Design Research, 2015(6). http://www.nordes.org/opj/index.php/n13/article/view/422

Hansen, T. D. (2012). Worst-case Analysis of Strategy Iteration and the Simplex Method. Aarhus Universitet, Datalogisk Institut.

Duckert, M., Hoggan, E., Barkhuus, L., Bjørn, P., Boulus-Rodje, N., Bødker, S., Møller, N. H. & Shklovski, I. (2022). Work of the Future. I Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Artikel 3 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547707

Ciaperoni, M., Aslay, C., Gionis, A. & Mathioudakis, M. (2022). Workload-Aware Materialization of Junction Trees. I Proceedings of the 25th International Conference on Extending Database Technology (s. 65-77). Universität Konstanz. https://doi.org/10.5441/002/edbt.2022.06

Aslay, C., Ciaperoni, M., Gionis, A. & Mathioudakis, M. (2021). Workload-aware materialization for efficient variable elimination on Bayesian networks. I Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021 (s. 1152-1163). Artikel 9458677 IEEE. https://doi.org/10.1109/ICDE51399.2021.00104

Korsgaard, H., Thiel, S. K., Thomas, V. & Ertiö, T. (2018). Working across boundaries in smart city research. I C. C. Hinnant & A. Zuiderwijk (red.), Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age Artikel 39 Association for Computing Machinery. https://doi.org/10.1145/3209281.3209315

Bøgh, K. S., Chester, S. & Assent, I. (2015). Work-Efficient Parallel Skyline Computation for the GPU. Proceedings of the VLDB Endowment, 8(9), 962-973. https://doi.org/10.14778/2777598.2777605

Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Porat, E. (2014). Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. (1407.6755v1 udg.) arxiv.org. http://arxiv.org/abs/1407.6755v1

Ganesh, C., Kondi, Y. M., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2023). Witness-Succinct Universally-Composable SNARKs. I C. Hazay & M. Stam (red.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 315–346). Springer. https://doi.org/10.1007/978-3-031-30617-4_11

Lutze, M., Madsen, M., Schuster, P. & Brachthäuser, J. I. (2023). With or Without You: Programming with Effect Exclusion. Proceedings of the ACM on Programming Languages , 7(ICFP), 448-475. https://doi.org/10.1145/3607846

Klokmose, C. N., Korn, M. & Blunck, H. (2014). WiFi proximity detection in mobile web applications. I EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (s. 123-128). Association for Computing Machinery. https://doi.org/10.1145/2607023.2610281

Eriksson, E., Iversen, O. S., Baykal, G. E., Van Mechelen, M., Smith, R. C., Wagner, M.-L., Fog, B. V., Klokmose, C. N., Cumbo, B., Hjorth, H. A., Musaeus, L. H., Petersen, M. G. & Bouvin, N. O. (2019). Widening the Scope of FabLearn Research: Integrating Computational Thinking, Design and Making. Afhandling præsenteret på Fablearn Europe 2019, Oulu, Finland. https://doi.org/10.1145/3335055.3335070

Salgado, M. & Saad-Sulonen, J. (2016). Who needs us? Inquiring into the participatory practices of others and what it means for participatory designers. Afhandling præsenteret på International European Academy of Design Conference, Paris, Frankrig.

Mu, Q., Borowski, M., Grønbæk, J. E., Bødker, S. & Hoggan, E. (Accepteret/In press). Whispering Through Walls: Towards Inclusive Backchannel Communication in Hybrid Meetings. Afhandling præsenteret på CHI 2024 conference on Human Factors in Computing Systems. https://doi.org/10.1145/3613904.3642419

Mathiasen, N. R. (2012). While Working Around Security. Department of Computer Science, Aarhus University.

Zagermann, J., Pfeil, U., Rädle, R., Jetter, H.-C., Klokmose, C. N. & Reiterer, H. (2016). When Tablets meet Tabletops: The Effect of Tabletop Size on Around-the-Table Collaboration with Personal Tablets. I CHI '16: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (s. 5470-5481). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858224

Horelli, L., Saad-Sulonen, J., Wallin, S. & Botero, A. (2015). When Self-Organization intersects with Urban Planning: Two Cases from Helsinki. Planning Practice and Research, 30(3), 286. https://doi.org/10.1080/02697459.2015.1052941

Scholl, P., Smart, N. P. & Wood, T. (2017). When It’s All Just Too Much: Outsourcing MPC-Preprocessing. I M. O'Neill (red.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Bind 10655, s. 77-99). Springer VS. https://doi.org/10.1007/978-3-319-71045-7_4

Madsen, O. L. & Møller-Pedersen, B. (2023). What your mother forgot to tell you about modeling – and programming. I 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (s. 200-210). IEEE. https://doi.org/10.1109/MODELS-C59198.2023.00049

Gao, X. A. G., Zhang, J. & Chen, Y. (2013). What you jointly know determines how you act: Strategic interactions in prediction markets. I Proceedings of of the fourteenth ACM Conference on Electronic Commerce, EC '13 (s. 489-506). Association for Computing Machinery. https://doi.org/10.1145/2482540.2482592

Hornbæk, K., Oulasvirta, A., Reeves, S. & Bødker, S. (2015). What to Study in HCI? I B. Begole & J. Kim (red.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (s. 2385-2388). Association for Computing Machinery. https://doi.org/10.1145/2702613.2702648

Bressa, N. A., Korsgaard, H., Tabard, A., Houben, S. & Vermeulen, J. (2022). What's the Situation with Situated Visualization? A Survey and Perspectives on Situatedness. 107-117. https://doi.org/10.1109/TVCG.2021.3114835

Bødker, S., Lewkowicz, M. & Boden, A. (2020). What's in a word? Platforms Supporting the Platform Economy. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society Artikel 87 Association for Computing Machinery. https://doi.org/10.1145/3419249.3420167

Bødker, S., Korsgaard, H. & Lyle, P. (2021). What's in a Pattern: A Vocabulary to Articulate Group Routines and Practices. I F. Cech & S. Farnham (red.), C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (s. 179-190). Association for Computing Machinery. https://doi.org/10.1145/3461564.3461570

Lyle, P., Korsgaard, H. & Bødker, S. (2020). What's in an Ecology? A Review of Artifact, Communicative, Device and Information Ecologies. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society (s. 1-14). Artikel 88 Association for Computing Machinery. https://doi.org/10.1145/3419249.3420185

Madsen, O. L. & Møller-Pedersen, B. (2022). What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming . I Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (s. 220–239). Association for Computing Machinery. https://doi.org/10.1145/3563835.3568735

Ganesh, C., Khoshakhlagh, H., Kohlweiss, M., Nitulescu, A. & Zając, M. (2022). What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks (s. 735-760). Springer. https://doi.org/10.1007/978-3-031-14791-3_32

Mathiasen, A., Hvilshøj, F., Jørgensen, J. R., Nasery, A. & Mottin, D. (2020). What if Neural Networks had SVDs? I H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (red.), Advances in Neural Information Processing Systems 33 pre-proceedings (NeurIPS 2020)

Eagan, J. R., Lecolinet, E. & Klokmose, C. N. (2013). What are Applications in Multi-Surface Environments. Afhandling præsenteret på POWERWALL, Paris, Frankrig. http://www.powerwall.mdx.ac.uk/papers/POWERWALL-Eagan.pdf

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). WETX: A Weighted Expected Transmission Routing Metric for Diversity in Wireless Sensor Networks. I Wireless Days (WD), 2011 IFIP (s. 1-7). IEEE. https://doi.org/10.1109/WD.2011.6098162

Brewster, S. & Bødker, S. (2013). Welcome to CHI 2013! Conference on Human Factors in Computing Systems - Proceedings, 2013-April, vii.

Pientka, B., Blazy, S., Traytel, D. & Timany, A. (2024). Welcome from the Chairs. I CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (s. iii-iv)

Babai, L., Hansen, K. A., Podolskii, V. V. & Sun, X. (2021). Weights of exact threshold functions. Izvestiya: Mathematics, 85(6), 1039-1059. https://doi.org/10.1070/IM9113

Ackerman, M., Ben-David, S., Branzei, S. & Loker, D. (2012). Weighted Clustering. I Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (s. 858-863). AAAI Press.

Kamp, S. H., Magri, B., Matt, C., Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2021). Weight-Based Nakamoto-Style Blockchains. I P. Longa & C. Ràfols (red.), Progress in Cryptology – LATINCRYPT 2021: 7th International Conference on Cryptology and Information Security in Latin America Bogotá, Colombia, October 6–8, 2021, Proceedings (s. 299-319). Springer International Publishing. https://doi.org/10.1007/978-3-030-88238-9_15

Viser resultater 1 til 50 ud af 2825

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series