Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., Katsumata, S. Y. & Sato, T. (2021). Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proceedings of the ACM on Programming Languages, 5(ICFP), [93]. https://doi.org/10.1145/3473598

Dalskov, A. P. K. & Escudero Ospina, D. E. (2021). Honest Majority MPC with Abort with Minimal Online Communication. In P. Longa & C. Ràfols (Eds.), Progress in Cryptology – Latincrypt 2021: 7th International Conference on Cryptology and Information Security in Latin America, Bogotá, Colombia, October 6–8, 2021, Proceedings (pp. 453-472). Springer. Lecture Notes in Computer Science Vol. 12912 https://doi.org/10.1007/978-3-030-88238-9_22

Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2021). I/O-efficient 2-d orthogonal range skyline and attrition priority queues. Computational Geometry: Theory and Applications, 93, [101689]. https://doi.org/10.1016/j.comgeo.2020.101689

Francati, D., Guidi, A., Russo, L. & Venturi, D. (2021). Identity-Based Matchmaking Encryption without Random Oracles. Abstract from 22nd International Conference on Cryptology in India, Jaipur, India.

Ateniese, G., Francati, D., Magri, B. & Venturi, D. (2021). Immunization against complete subversion without random oracles. Theoretical Computer Science, 859, 1-36. https://doi.org/10.1016/j.tcs.2021.01.002

Aranha, D. F., Dalskov, A., Orlandi, C. & Escudero Ospina, D. E. (2021). Improved Threshold Signatures, Proactive Secret Sharing and Input Certification from LSS Isomorphisms. In P. Longa & C. Ràfols (Eds.), Progress in Cryptology – LATINCRYPT 2021 (pp. 382-404). Springer. Lecture Notes in Computer Science Vol. 12912 https://doi.org/10.1007/978-3-030-88238-9_19

Laoudias, C., Nikitin, A., Karras, P., Youssef, M. & Zeinalipour-Yazti, D. (2021). Indoor Quality-of-Position Visual Assessment Using Crowdsourced Fingerprint Maps. ACM Transactions on Spatial Algorithms and Systems, 7(2), [10]. https://doi.org/10.1145/3433026

Damgård, I., Escudero, D. & Ravi, D. (2021). Information-Theoretically Secure MPC Against Mixed Dynamic Adversaries. In Theory of Cryptography (pp. 591-622). Springer. Lecture Notes in Computer Science Vol. 13042 https://doi.org/10.1007/978-3-030-90459-3_20

Coll Macià, M. (2021). Insights into human evolution from archaic introgression patterns and mutational signatures. Aarhus Universitet.

André, É., Arias, J., Petrucci, L. & Pol, J. V. D. (2021). Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. In J. F. Groote & K. G. Larsen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I (pp. 311-329). Springer. Lecture Notes in Computer Science Vol. 12651 https://doi.org/10.1007/978-3-030-72016-2_17

Aranha, D. F., Pagnin, E. & Rodriguez-Henriquez, F. (2021). LOVE a Pairing. In P. Longa & C. Ràfols (Eds.), Progress in Cryptology – LATINCRYPT 2021 (pp. 320-340). Springer. Lecture Notes in Computer Science Vol. 12912 https://doi.org/10.1007/978-3-030-88238-9_16

Menheere, D., Van Hartingsveldt, E., Birkebæk, M., Vos, S. & Lallemand, C. (2021). Laina: Dynamic Data Physicalization for Slow Exercising Feedback. In DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (pp. 1015-1030). Association for Computing Machinery. DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere https://doi.org/10.1145/3461778.3462041

Aranha, D. F., Baum, C., Gjøsteen, K., Silde, T. & Tunge, T. (2021). Lattice-Based Proof of Shuffle and Applications to Electronic Voting. In K. G. Paterson (Ed.), Topics in Cryptology - CT-RSA 2021 (pp. 227-251). Springer. Lecture Notes in Computer Science Vol. 12704 https://doi.org/10.1007/978-3-030-75539-3_10

Monti, C., Manco, G., Aslay, C. & Bonchi, F. (2021). Learning Ideological Embeddings from Information Cascades. In Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (pp. 1325-1334). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482444

Borowski, M. & Larsen-Ledet, I. (2021). Lessons Learned from Using Reprogrammable Prototypes with End-User Developers. In D. Fogli, D. Tetteroo, B. R. Barricelli, S. Borsci, P. Markopoulos & G. A. Papadopoulos (Eds.), End-User Development - 8th International Symposium, IS-EUD 2021, Proceedings: 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings (pp. 136–152). Springer. Lecture Notes in Computer Science Vol. 12724 https://doi.org/10.1007/978-3-030-79840-6_9

Caprani, O. (Producer), Petrat-Mehlin, S. (Producer), Juncher, K. (Producer) & Thestrup, K. (Producer). (2021). Livet under skraldeøen: en praksisfortælling fra 3. klasse Mårslet Skole, 2021. Interactive production http://kortlink.dk/2avgx

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2021). Low-Complexity Weak Pseudorandom Functions in textdollartextbackslashmathtt AC0[textbackslashmathtt MOD2]textdollar. In T. Malkin & C. Peikert (Eds.), Advances in Cryptology – CRYPTO 2021: 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part IV (pp. 487-516). Springer. Lecture Notes in Computer Science Vol. 12828 https://doi.org/10.1007/978-3-030-84259-8_17

Afshani, P. & Cheng, P. (2021). Lower bounds for semialgebraic range searching and stabbing problems. In K. Buchin & E. C. de Verdiere (Eds.), 37th International Symposium on Computational Geometry, SoCG 2021 [8] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 189 https://doi.org/10.4230/LIPIcs.SoCG.2021.8

Campanelli, M., Faonio, A., Fiore, D., Querol, A. & Rodríguez, H. (2021). Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions. In M. Tibouchi & H. Wang (Eds.), Advances in Cryptology – ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part III (pp. 3-33). Springer. Lecture Notes in Computer Science Vol. 13092 https://doi.org/10.1007/978-3-030-92078-4_1

Caprani, O. (Producer), Petrat-Mehlin, S. (Producer), Juncher, K. (Producer) & Thestrup, K. (Producer). (2021). MGP i 2.a, Mårslet Skole: En teknologi-leg. Interactive production https://lnkd.in/e8-ASAR

Avdic, M., Marquardt, N., Rogers, Y. & Vermeulen, J. (2021). Machine Body Language: Expressing a Smart Speaker's Activity with Intelligible Physical Motion. In W. Ju, L. Oehlberg, S. Follmer, S. Fox & S. Kuznetsov (Eds.), DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (pp. 1403-1418). Association for Computing Machinery. https://doi.org/10.1145/3461778.3462031

Baum, C., Malozemoff, A. J., Scholl, P. & Rosen, M. (2021). Mac’n’Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions. In Advances in Cryptology - CRYPTO 2021: Proceedings (pp. 92-122). Springer. https://doi.org/10.1007/978-3-030-84259-8_4

Han, W. (2021). Making and Trusting Decisions in Visual Analytics. In 2021 IEEE Workshop on TRust and EXpertise in Visual Analytics (TREX) (pp. 14 - 19). IEEE. https://doi.org/10.1109/TREX53765.2021.00008

Gregersen, S. O., Bay, J., Timany, A. & Birkedal, L. (2021). Mechanized logical relations for termination-insensitive noninterference. Proceedings of the ACM on Programming Languages, 5(POPL), [10]. https://doi.org/10.1145/3434291

Christensen, H. B. (Producer). (2021). MiniDraw: A teaching oriented 2D graphics, direct manipulation, framework: Release 2.0. Computer programme, mvnrepository.com.

Grønbæk, J. E., Saatci, B., Griggio, C. F. & Klokmose, C. N. (2021). MirrorBlender: Supporting Hybrid Meetings with a Malleable Video-conferencing System. In CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths [451] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings https://doi.org/10.1145/3411764.3445698

Espitau, T., Takahashi, A., Tibouchi, M. & Wallet, A. (2021). Mitaka: A simpler, parallelizable, maskable variant of Falcon. Paper presented at Third PQC Standardization Conference, Washington, United States. https://csrc.nist.gov/CSRC/media/Events/third-pqc-standardization-conference/documents/accepted-papers/espitau-mitaka-pqc2021.pdf

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Modular call graph construction for security scanning of Node.js applications. In C. Cadar & X. Zhang (Eds.), ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 29-41). Association for Computing Machinery. Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering https://doi.org/10.1145/3460319.3464836

Damgård, I. B., Li, B. & Schwartzbach, N. I. (2021). More communication lower bounds for information-theoretic MPC. In S. Tessaro (Ed.), 2nd Conference on Information-Theoretic Cryptography, ITC 2021 [2] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 199 https://doi.org/10.4230/LIPIcs.ITC.2021.2

Ciampi, M., Siniscalchi, L. & Waldner, H. (2021). Multi-Client Functional Encryption for Separable Functions. In J. A. Garay (Ed.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (pp. 724-753). Springer. Lecture Notes in Computer Science Vol. LNCS 12710 https://doi.org/10.1007/978-3-030-75245-3_26

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Multi-modal Spatial Object Localization in Virtual Reality for Deaf and Hard-of-Hearing People. In 2021 IEEE Virtual Reality and 3D User Interfaces (VR) (pp. 588-596). IEEE. Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2021 https://doi.org/10.1109/VR50410.2021.00084

Pfeuffer, K., Alexander, J. & Gellersen, H. (2021). Multi-user Gaze-based Interaction Techniques on Collaborative Touchscreens. In S. N. Spencer (Ed.), ETRA '21 Short Papers: ACM Symposium on Eye Tracking Research and Applications, Short Papers Proceedings [26] Association for Computing Machinery. Eye Tracking Research and Applications Symposium (ETRA) https://doi.org/10.1145/3448018.3458016

Gratzer, D., Kavvos, G. A., Nuyts, A. & Birkedal, L. (2021). Multimodal Dependent Type Theory. Logical Methods in Computer Science, 17(3), [11]. https://doi.org/10.46298/lmcs-17(3:11)2021

Escudero Ospina, D. E. (2021). Multiparty Computation over Z=2^kΖ. Aarhus Universitet.

Bellatreche, L., Dumas, M., Karras, P., Matulevicius, R., Awad, A., Weidlich, M., Ivanovic, M. & Hartig, O. (Eds.) (2021). New Trends in Database and Information Systems: ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings. Springer. Communications in Computer and Information Science Vol. 1450 https://doi.org/10.1007/978-3-030-85082-1

Ahmadpanah, M. M., Askarov, A. & Sabelfeld, A. (2021). Nontransitive policies transpiled. In 2021 IEEE European Symposium on Security and Privacy (EuroS&P) (pp. 543-561). IEEE. https://doi.org/10.1109/EuroSP51992.2021.00043

Abram, D., Damgård, I., Scholl, P. & Trieflinger, S. (2021). Oblivious TLS via Multi-party Computation. In K. G. Paterson (Ed.), Topics in Cryptology – CT-RSA 2021 (pp. 51-74). Springer. Lecture Notes in Computer Science Vol. 12704 https://doi.org/10.1007/978-3-030-75539-3_3

Caragiannis, I., Kanellopoulos, P. & Kyropoulou, M. (2021). On Interim Envy-Free Allocation Lotteries. In Proceedings of the 22nd ACM Conference on Economics and Computation (EC 2021) (pp. 264-284). Association for Computing Machinery. EC 2021 - Proceedings of the 22nd ACM Conference on Economics and Computation https://doi.org/10.1145/3465456.3467648

Fleischhacker, N. & Simkin, M. (2021). On Publicly-Accountable Zero-Knowledge and Small Shuffle Arguments. In J. A. Garay (Ed.), Public-Key Cryptography – PKC 2021 : 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II (pp. 618-648). Springer. Lecture Notes in Computer Science Vol. LNCS 12711 https://doi.org/10.1007/978-3-030-75248-4_22

Caragiannis, I. & Fanelli, A. (2021). On approximate pure Nash equilibria in weighted congestion games with polynomial latencies. Journal of Computer and System Sciences, 117, 40-48. https://doi.org/10.1016/j.jcss.2020.10.007

Srinivasan, S. & Venkitesh, S. (2021). On the probabilistic degree of an n-variate boolean function. In M. Wootters & L. Sanita (Eds.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021 [42] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 207 https://doi.org/10.4230/LIPIcs-APPROX/RANDOM.2021.42

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2021). Optimal Prediction of Synchronization-Preserving Races. Proceedings of the ACM on Programming Languages, 5(POPL), [36]. https://doi.org/10.1145/3434317

Jafargholi, Z., Larsen, K. G. & Simkin, M. (2021). Optimal oblivious priority queues. In D. Marx (Ed.), ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 (pp. 2366-2383). Association for Computing Machinery. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

Baum, C., David, B. & Frederiksen, T. K. (2021). P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange. In K. Sako & N. O. Tippenhauer (Eds.), Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Proceedings (pp. 163-194). Springer. Lecture Notes in Computer Science Vol. 12726 https://doi.org/10.1007/978-3-030-78372-3_7

Bødker, S., Iversen, O. S., Dindler, C. & Smith, R. C. (2021). Participatory Design. Morgan & Claypool Publishers. Synthesis Lectures on Human-Centered Informatics https://doi.org/10.2200/S01136ED1V01Y202110HCI052

Avdic, M. (2021). Physical Actuation as an Alternative Approach to the Intelligibility of Smart Speakers. Aarhus Universitet.

Gleirscher, M., Pol, J. V. D. & Woodcock, J. (Eds.) (2021). Proceedings First Workshop on Applicable Formal Methods. Electronic Proceedings in Theoretical Computer Science https://doi.org/10.4204/EPTCS.349

Scafuro, A., Siniscalchi, L. & Visconti, I. (2021). Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains. In J. A. Garay (Ed.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II (pp. 469-498). Springer Science and Business Media Deutschland GmbH. Lecture Notes in Computer Science Vol. LNCS 12711 https://doi.org/10.1007/978-3-030-75248-4_17

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Quantitative Verification on Product Graphs of Small Treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) (Vol. ´, pp. 42:1-42:23). Leibniz International Proceedings in Informatics Vol. 213 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

Sidenmark, L., Potts, D., Bapisch, B. & Gellersen, H. (2021). Radi-Eye: Hands-Free Radial Interfaces for 3D Interaction using Gaze-Activated Head-Crossing. In CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems [740] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings https://doi.org/10.1145/3411764.3445697

Displaying results 301 to 350 out of 5113

Revised 09.03.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University