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

Hvilshøj, F., Iosifidis, A. & Assent, I. (2021). ECINN: Efficient Counterfactuals from Invertible Neural Networks. In 32nd British Machine Vision Conference 2021, BMVC 2021, Virtual https://arxiv.org/abs/2103.13701

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Effects of Using Vibrotactile Feedback on Sound Localization by Deaf and Hard-of-Hearing People in Virtual Environments. Electronics, 10(22), [2794]. https://doi.org/10.3390/electronics10222794

Rossitto, C., Korsgaard, H., Lampinen, A. & Bødker, S. (2021). Efficiency and Care in Community-Led Initiatives. Proceedings of the ACM on Human-Computer Interaction, 5(CSCW2), [467]. https://doi.org/10.1145/3479611

Escudero Ospina, D. E. & Soria Vazquez, E. (2021). Efficient Information-Theoretic Multi-Party Computation over Non-Commutative Rings. In Advances in Cryptology - CRYPTO 2021: Proceedings (pp. 335-364). Springer. https://doi.org/10.1007/978-3-030-84245-1_12

Han, K., Wu, B., Tang, J., Cui, S., Aslay, C. & Lakshmanan, L. VS. (2021). Efficient and Effective Algorithms for Revenue Maximization in Social Advertising. In Proceedings of the 2021 ACM SIGMOD International Conference on Management of Data (pp. 671-684). Association for Computing Machinery. https://doi.org/10.1145/3448016.3459243

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L. (2021). Efficient and provable local capability revocation using uninitialized capabilities. Proceedings of the ACM on Programming Languages, 5(POPL), [6]. https://doi.org/10.1145/3434287

Jepsen, S. C., Worm, T., Christensen, H. B., Hviid, J. & Sandig, L. M. (2021). Experience Report: A Systematic Process For Gathering Quality Attribute Requirements for Industry 4.0 Middleware. In Proceedings of 2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW) (pp. 166-175). IEEE. https://doi.org/10.1109/EDOCW52865.2021.00046

Borowski, M. (2021). Exploring Possible Futures With Computational Media. In ECSCW 2021: Proceedings of the 19th European Conference on Computer Supported Cooperative Work (pp. 1–8). European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.18420/ecscw2021_dc05

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. (2021). Extracting smart contracts tested and verified in Coq. In C. Hritcu & A. Popescu (Eds.), CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021 (pp. 105-121). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439934

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Oseledets, I. & Mueller, E. (2021). FREDE: Anytime Graph Embeddings. Proceedings of the VLDB Endowment, 14(6), 1102-1110. https://doi.org/10.14778/3447689.3447713

Segal, S., Adi, Y., Pinkas, B., Baum, C., Ganesh, C. & Keshet, J. (2021). Fairness in the Eyes of the Data: Certifying Machine-Learning Models. In AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (pp. 926-935). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462554

Dalskov, A. P. K., Escudero Ospina, D. E. & Keller, M. (2021). Fantastic Four: Honest-Majority Four-Party Secure Computation With Malicious Security. In Proceedings of the 30th USENIX Security Symposium USENIX - The Advanced Computing Systems Association.

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), [4009]. https://doi.org/10.1038/s41467-021-24271-w

Alves, P. G. M. R., Nayara Ortiz, J. & Aranha, D. F. (2021). Faster Homomorphic Encryption over GPGPUs via hierarchical DGT. In N. Borisov & C. Diaz (Eds.), Financial Cryptography and Data Security (pp. 520-540). Springer. Lecture Notes in Computer Science Vol. 12675 https://doi.org/10.1007/978-3-662-64331-0_27

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design, 57(3), 401-428. https://doi.org/10.1007/s10703-021-00373-5

Loster, M., Mottin, D., Papotti, P., Ehmüller, J., Feldmann, B. & Naumann, F. (2021). Few-Shot Knowledge Validation using Rules. In J. Leskovec, M. Grobelnik, M. Najork, J. Tang & L. Zia (Eds.), The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021 (pp. 3314-3324). Association for Computing Machinery. https://doi.org/10.1145/3442381.3450040

Saleem, M. A., Calders, T., Pedersen, T. B. & Karras, P. (2021). Finding Geo-Social Cohorts in Location-Based Social Networks. In L. H. U, M. Spaniol, Y. Sakurai & J. Chen (Eds.), Web and Big Data: 5th International Joint Conference, APWeb-WAIM 2021, Proceedings, Part II (pp. 368-383). Springer International Publishing. Information Systems and Applications, incl. Internet/Web, and HCI https://doi.org/10.1007/978-3-030-85899-5_27

Sidorenco, N., Oechsner, S. & Spitters, B. (2021). Formal security analysis of MPC-in-the-head zero-knowledge protocols. In 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (pp. 607-620). IEEE. https://doi.org/10.1109/CSF51468.2021.00050

Thomsen, S. E. & Spitters, B. (2021). Formalizing Nakamoto-Style Proof of Stake. In 2021 IEEE 34th Computer Security Foundations Symposium (CSF) IEEE. https://doi.org/10.1109/CSF51468.2021.00042

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In FormaliSE@ICSE: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014

Jacobs, K., Timany, A. & Devriese, D. (2021). Fully abstract from static to gradual. Proceedings of the ACM on Programming Languages, 5(POPL), [7]. https://doi.org/10.1145/3434288

Larsen, K. G., Starup, J. L. & Steensgaard, J. (2021). Further Unifying the Landscape of Cell Probe Lower Bounds. Paper presented at Happening virtually , -. https://cs.au.dk/~larsen/papers/FurtherUnifying.pdf

Jørgensen, J. R., Nellemann, K. S. & Assent, I. (2021). GPU-INSCY: A GPU-Parallel Algorithm and Tree Structure for Efficient Density-based Subspace Clustering. Paper presented at 24th International Conference on Extending Database Technology. https://doi.org/10.5441/002/edbt.2021.04

Hermanns, J., Tsitsulin, A., Munkhoeva, M., Bronstein, A., Mottin, D. & Karras, P. (2021). GRASP: Graph Alignment through Spectral Signatures. In L. Hou U, M. Spaniol, Y. Sakurai & J. Chen (Eds.), Web and Big Data (pp. 44-52). Springer. Lecture Notes in Computer Science Vol. 12858 https://doi.org/10.1007/978-3-030-85896-4_4

Hall-Andersen, M. N. & Schwartzbach, N. I. (2021). Game Theory on the Blockchain: A Model for Games with Smart Contracts. In I. Caragiannis & K. A. Hansen (Eds.), Algorithmic Game Theory: 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021Proceedings (pp. 156-170). Springer. Lecture Notes in Computer Science Vol. 12885 https://doi.org/10.1007/978-3-030-85947-3_11

Ramirez Gomez, A., Clarke, C., Sidenmark, L. & Gellersen, H. (2021). Gaze+Hold: Eyes-Only Direct Manipulation with Continuous Gaze Modulated by Closure of One Eye. In 2021 Symposium on Eye Tracking Research and Applications (pp. 1-12). [10] Association for Computing Machinery. https://doi.org/10.1145/3448017.3457381

Beaudouin-Lafon, M., Bødker, S. & Mackay, W. E. (2021). Generative Theories of Interaction. A C M Transactions on Computer - Human Interaction, 28(6), [45]. https://doi.org/10.1145/3468505

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Head Up Visualization of Spatial Sound Sources in Virtual Reality for Deaf and Hard-of-Hearing People. In 2021 IEEE Virtual Reality and 3D User Interfaces (VR) (pp. 582-587). IEEE. https://doi.org/10.1109/VR50410.2021.00083

Burra, S. S., Larraia, E., Nielsen, J. B., Nordholt, P. S., Orlandi, C., Orsini, E., Scholl, P. & Smart, N. P. (2021). High-Performance Multi-party Computation for Binary Circuits Based on Oblivious Transfer. Journal of Cryptology, 34(3), [34]. https://doi.org/10.1007/s00145-021-09403-1

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

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

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

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

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

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

Displaying results 51 to 100 out of 4876

Page 2