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

Grønbæk, J. E., Knudsen, M., O'Hara, K., Krogh, P. G., Vermeulen, J. & Petersen, M. G. (2020). Proxemics Beyond Proximity: Designing for Flexible Social Interaction Through Cross-Device Interaction. In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems [3376379] Association for Computing Machinery. https://doi.org/10.1145/3313831.3376379

Frumin, D., Krebbers, R. & Birkedal, L. (2020). ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. arXiv.org. https://arxiv.org/abs/2006.13635

Skorstengaard, L., Devriese, D. & Birkedal, L. (2020). Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. ACM Transactions on Programming Languages and Systems, 42(1), [5]. https://doi.org/10.1145/3363519

Cavassim, M. I. A. (2020). Recombination and horizontal gene transfer through the lens of phylogenomics. Aarhus Universitet.

Bay, J. & Askarov, A. (2020). Reconciling progress-insensitive noninterference and declassification. In 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (pp. 95-106). IEEE. Proceedings - IEEE Computer Security Foundations Symposium Vol. 2020-June https://doi.org/10.1109/CSF49147.2020.00015

Rossitto, C., Lampinen, A., Bødker, S., Light, A., Berns, K. & Hui, J. (2020). Reconsidering scale and scaling in CSCW research. In CSCW '20 : Conference Companion Publication of the 2020 on Computer Supported Cooperative Work and Social Computing (pp. 493-501). Association for Computing Machinery. Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW https://doi.org/10.1145/3406865.3419409

van Oosterhout, A. & Hoggan, E. (2020). Reshaping Interaction with Rotary Knobs: Combining Form, Feel and Function. In DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1973-1982). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395536

Logins, A. (2020). Resource Allocation in Networks. Aarhus Universitet.

Grønbæk, J. E. (2020). Rethinking Proxemics: Designing Interactive Technologies for Co-located Collaboration. Aarhus Universitet.

Chakraborty, S., Dziembowski, S. & Nielsen, J. B. (2020). Reverse firewalls for actively secure mpcs. In D. Micciancio & T. Ristenpart (Eds.), Advances in Cryptology - CRYPTO 2020 (pp. 732-762). Springer. Lecture Notes in Computer Science Vol. 12171 https://doi.org/10.1007/978-3-030-56880-1_26

Britz, D., Strutwolf, J. & Østerby, O. (2020). Revisiting rectangular electrodes; a simulation study. Electrochimica Acta, 338, [135728]. https://doi.org/10.1016/j.electacta.2020.135728

Zardbani, F., Afshani, P. & Karras, P. (2020). Revisiting the theory and practice of database cracking. In A. Bonifati, Y. Zhou, M. A. Vaz Salles, A. Bohm, D. Olteanu, G. Fletcher, A. Khan & B. Yang (Eds.), Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings (pp. 415-418). openproceedings.org. Advances in Database Technology - EDBT Vol. 2020-March https://doi.org/10.5441/002/edbt.2020.46

Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R. (2020). Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris. Proceedings of the ACM on Programming Languages, 4(ICFP), [114]. https://doi.org/10.1145/3408996

Arge, L., Rav, M., Revsbæk, M., Shin, Y. & Yang, J. (2020). Sea-rise flooding on massive dynamic terrains. In S. Albers (Ed.), 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020 (pp. 6:1-6:19). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Vol. 162 Leibniz International Proceedings in Informatics https://doi.org/10.4230/LIPIcs.SWAT.2020.6

Larsen, K. G. & Simkin, M. (2020). Secret sharing lower bound: Either reconstruction is hard or shares are long. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 566-578). Springer. Lecture Notes in Computer Science Vol. 12238 https://doi.org/10.1007/978-3-030-57990-6_28

Dalskov, A. P. K., Escudero Ospina, D. E. & Keller, M. (2020). Secure Evaluation of Quantized Neural Networks. Proceedings on Privacy Enhancing Technologies, 2020(4), 355-375. https://doi.org/10.2478/popets-2020-0077

Lucani Rötter, D. E., Nielsen, L., Orlandi, C., Pagnin, E. & Vestergaard, R. (2020). Secure generalized deduplication via multi-key revealing encryption. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 298-318). Springer. Lecture Notes in Computer Science Vol. 12238 https://doi.org/10.1007/978-3-030-57990-6_15

Dalskov, A. P. K., Orlandi, C., Keller, M., Shrishak, K. & Shulman, H. (2020). Securing DNSSEC Keys via Threshold ECDSA from Generic MPC. In L. Chen, S. Schneider, N. Li & K. Liang (Eds.), European Symposium on Research in Computer Security : Computer Security – ESORICS 2020 (Vol. I, pp. 654-673). Springer. Lecture Notes in Computer Science Vol. 12309 https://doi.org/10.1007/978-3-030-59013-0_32

Aranha, D. F., Orlandi, C., Takahashi, A. & Zaverucha, G. (2020). Security of Hedged Fiat–Shamir Signatures under Fault Attacks. In A. Canteaut & Y. Ishai (Eds.), Advances in Cryptology – EUROCRYPT 2020 (pp. 644-674). Springer. Lecture Notes in Computer Science Vol. 12105 https://doi.org/10.1007/978-3-030-45721-1_23

Khurana, A., Logins, A. & Karras, P. (2020). Selecting Influential Features by a Learnable Content-Aware Linear Threshold Model. In CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management (pp. 635-644). Association for Computing Machinery. https://doi.org/10.1145/3340531.3411886

Neerbek, J. (2020). Sensitive Information Detection: Recursive Neural Networks for Encoding Context. Aarhus Universitet.

Larsen, M. R. E., Han, W. & Schulz, H-J. (2020). Sketchy Rendering to Aid the Recollection of Regular Visualizations. In EuroVis 2020: Short Papers (pp. 139-143). Eurographics Association. https://doi.org/10.2312/evs.20201062

Nielsen, J. B. & Spitters, B. (2020). Smart contract interactions in coq. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (Eds.), Formal Methods- FM 2019 International Workshops - Revised Selected Papers (pp. 380-391). Springer. Lecture Notes in Computer Science Vol. 12232 https://doi.org/10.1007/978-3-030-54994-7_29

Kannabiran, G., Hoggan, E. & Hansen, L. K. (2020). Somehow They Are Never Horny! In DIS' 20 Companion: Companion Publication of the 2020 ACM Designing Interactive Systems Conference (pp. 131-137). Association for Computing Machinery. https://doi.org/10.1145/3393914.3395877

Vollrath, F. & Krink, T. (2020). Spider webs inspiring soft robotics. Journal of the Royal Society, Interface, 17(172). https://doi.org/10.1098/rsif.2020.0569

Bilstrup, K-E. K., Kaspersen, M. H. & Petersen, M. G. (2020). Staging reflections on ethical dilemmas in machine learning: A card-based design workshop for high school students. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1211-1222). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395558

Rossitto, C., Berns, K. & Larsen-Ledet, I. (2020). Strategies of Visibility: Growth, Media and Social Movements. Paper presented at The 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing.

Damgård, I., Haagh, H., Mercer, R., Nitulescu, A., Orlandi, C. & Yakoubov, S. (2020). Stronger Security and Constructions of Multi-designated Verifier Signatures. In R. Pass & K. Pietrzak (Eds.), Theory of Cryptography: Proceedings (Vol. II, pp. 229-260). Springer. Lecture Notes in Computer Science Vol. 12551 https://doi.org/10.1007/978-3-030-64378-2_9

Ateniese, G., Magri, B. & Venturi, D. (2020). Subversion-resilient signatures: Definitions, constructions and applications. Theoretical Computer Science, 820, 91-122. https://doi.org/10.1016/j.tcs.2020.03.021

Teli, M., Foth, M., Sciannamblo, M., Anastasiu, I. & Lyle, P. J. (2020). Tales of Institutioning and Commoning: Participatory Design Processes with a Strategic and Tactical Perspective. In C. Del Gaudio, L. Parra-Agudelo, R. Clarke, J. Saad-Sulonen, A. Botero, A. Botero, F. C. Londono, F. C. Londono & P. A. Escandon Suarez (Eds.), Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 ed., Vol. 1, pp. 159-171). Association for Computing Machinery. Proceedings of the Participatory Design Conference https://doi.org/10.1145/3385010.3385020

Garavel, H., ter Beek, M. H. & van de Pol, J. (2020). The 2020 Expert Survey on Formal Methods. In M. H. ter Beek & D. Nickovic (Eds.), Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings: FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (pp. 3-69). Springer. Lecture Notes in Computer Science Vol. 12327 https://doi.org/10.1007/978-3-030-58298-2_1

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2020). The Complexity of Dynamic Data Race Prediction. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 (pp. 713–727). [3394783] Association for Computing Machinery. https://doi.org/10.1145/3373718.3394783

Pavlogiannis, A. (2020). The Fine-Grained Complexity of Andersen's Pointer Analysis. ArXiv. https://arxiv.org/abs/2006.01491

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Bronstein, A., Oseledets, I. & Müller, E. (2020). The Shape of Data: Intrinsic Distance for Data Distributions. Paper presented at The International Conference on Learning Representations (ICLR), Ababa, Ethiopia.

Hogräfer, M., Heitzler, M. & Schulz, H-J. (2020). The State of the Art in Map‐Like Visualization. Computer Graphics Forum, 39(3), 647-674. https://doi.org/10.1111/cgf.14031

Hjorth, H. A. & Wilensky, U. (2020). Thinking in Levels Across Multiple Levels. Paper presented at Constructionism 2020, Dublin, Ireland.

Blatchley Hansen, A., Eskilden, M. & Nielsen, E. H. (2020). Toolchain for Timing Leakage Analysis of NIST Lightweight Crypto Candidates. Abstract from NIST Lightweight Cryptography Workshop 2020. https://csrc.nist.gov/CSRC/media/Events/lightweight-cryptography-workshop-2020/documents/papers/toolchain-timing-leakage-lwc2020.pdf

Rachuri, S. R., Suresh, A. & Chaudhari, H. (2020). Trident: Efficient 4PC Framework for Privacy Preserving Machine Learning. In Proceedings 2020 Network and Distributed System Security Symposium (pp. 1-18). Internet Society. https://doi.org/10.14722/ndss.2020.23005

Eerikson, H., Keller, M., Orlandi, C., Pullonen, P., Puura, J. & Simkin, M. (2020). Use your brain! Arithmetic 3PC for any modulus with active security. In Y. T. Kalai, A. D. Smith & D. Wichs (Eds.), 1st Conference on Information-Theoretic Cryptography (ITC 2020) [5] Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Vol. 163 https://doi.org/10.4230/LIPIcs.ITC.2020.5

Seinfeld, S., Feuchtner, T., Maselli, A. & Müller, J. (2020). User Representations in Human-Computer Interaction. Human-Computer Interaction. https://doi.org/10.1080/07370024.2020.1724790

Baum, C., Cozzo, D. & P. Smart, N. (2020). Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. In K. G. Paterson & D. Stebila (Eds.), Selected Areas in Cryptography - SAC 2019: 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers (pp. 274-302). Springer. Lecture Notes in Computer Science Vol. 11959 https://doi.org/10.1007/978-3-030-38471-5_12

Nielsen, B. B. & Møller, A. (2020). Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. In Proc. 34th European Conference on Object-Oriented Programming (ECOOP) [16] Dagstuhl Publishing. Leibniz International Proceedings in Informatics https://doi.org/10.4230/LIPIcs.ECOOP.2020.16

Kaspersen, M. H. & Bilstrup, K-E. K. (2020). VotestratesML: Social Studies as a Vehicle for Teaching Machine Learning. In B. Tangney, J. R. Byrne & C. Girvan (Eds.), Proceedings of the 2020 Constructionism Conference (pp. 44-45)

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

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

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

Jetter, H-C., Rädle, R., Feuchtner, T., Anthes, C., Friedl, J. & Klokmose, C. N. (2020). “In VR, everything is possible!”: Sketching and Simulating Spatially-Aware Interactive Spaces in Virtual Reality. In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems [523] Association for Computing Machinery. https://doi.org/10.1145/3313831.3376652

Hansen, K. A. & Sølvsten, S. C. (2020). ∃R-completeness of stationary nash equilibria in perfect information stochastic games. In J. Esparza & D. Král (Eds.), 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (pp. 45:1-45:15). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Vol. 170 https://doi.org/10.4230/LIPIcs.MFCS.2020.45

Gregersen, S. O., Thomsen, S. E. & Askarov, A. (2019). A Dependently Typed Library for Static Information-Flow Control in IDRIS. In F. Nielson & D. Sands (Eds.), Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 51-75). Springer. Lecture Notes in Computer Science Vol. 11426 https://doi.org/10.1007/978-3-030-17138-4_3

Jiang, S. & Larsen, K. G. (2019). A Faster External Memory Priority Queue with DecreaseKeys. In T. M. Chan (Ed.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. PRDA19, pp. 1331-1343). Society for Industrial and Applied Mathematics. https://epubs.siam.org/doi/pdf/10.1137/1.9781611975482.81

Displaying results 301 to 350 out of 4881

Page 7