Publikationer

Søg publikationer fra Institut for Datalogi

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

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), Artikel 114. https://doi.org/10.1145/3408996

Larsen, K. G. & Simkin, M. (2020). Secret sharing lower bound: Either reconstruction is hard or shares are long. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 566-578). Springer. 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. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 298-318). Springer. 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. I L. Chen, S. Schneider, N. Li & K. Liang (red.), European Symposium on Research in Computer Security : Computer Security – ESORICS 2020 (Bind I, s. 654-673). Springer. 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. I A. Canteaut & Y. Ishai (red.), Advances in Cryptology – EUROCRYPT 2020 (s. 644-674). Springer. 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. I CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management (s. 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. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

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

Nielsen, J. B. & Spitters, B. (2020). Smart contract interactions in coq. I 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 (red.), Formal Methods- FM 2019 International Workshops - Revised Selected Papers (s. 380-391). Springer. https://doi.org/10.1007/978-3-030-54994-7_29

Kannabiran, G., Hoggan, E. & Hansen, L. K. (2020). Somehow They Are Never Horny! I DIS 2020 Companion - Companion Publication of the 2020 ACM Designing Interactive Systems Conference (s. 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. I DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 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. Afhandling præsenteret på 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. I R. Pass & K. Pietrzak (red.), Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings: Proceedings (Bind II, s. 229-260). Springer. 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. I 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 (red.), Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 udg., Bind 1, s. 159-171). Association for Computing Machinery. 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. I M. H. ter Beek & D. Nickovic (red.), Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings: FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (s. 3-69). Springer. 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. I Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 (s. 713–727). Artikel 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. Afhandling præsenteret på The International Conference on Learning Representations (ICLR), Ababa, Etiopien.

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. Afhandling præsenteret på Constructionism 2020, Dublin, Irland.

Blatchley Hansen, A., Eskilden, M. & Nielsen, E. H. (2020). Toolchain for Timing Leakage Analysis of NIST Lightweight Crypto Candidates. Abstract fra 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. I Proceedings 2020 Network and Distributed System Security Symposium (s. 1-18). Internet Society. https://doi.org/10.14722/ndss.2020.23005

Larsen-Ledet, I. (2020). Understanding and Supporting Collaborative Academic Writing as a Fragmented Process. Afhandling præsenteret på The ECSCW 2019 Doctoral Colloquium, Salzburg, Østrig. https://doi.org/10.18420/ecscw2019_dc6

Yakoubov, S. (2020). Universally Composable Accumulators.

Eerikson, H., Keller, M., Orlandi, C., Pullonen, P., Puura, J. & Simkin, M. (2020). Use your brain! Arithmetic 3PC for any modulus with active security. I Y. T. Kalai, A. D. Smith & D. Wichs (red.), 1st Conference on Information-Theoretic Cryptography (ITC 2020) Artikel 5 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2020.5

Baum, C., Cozzo, D. & P. Smart, N. (2020). Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. I K. G. Paterson & D. Stebila (red.), Selected Areas in Cryptography – SAC 2019 - 26th International Conference, Revised Selected Papers: 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers (s. 274-302). Springer. 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. I 34th European Conference on Object-Oriented Programming, ECOOP 2020 Artikel 16 Dagstuhl Publishing. 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. I B. Tangney, J. R. Byrne & C. Girvan (red.), Proceedings of the 2020 Constructionism Conference (s. 44-45)

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)

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

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

Ciosici, M. R. & Assent, I. (2019). Abbreviation Explorer - an interactive system for pre-evaluation of Unsupervised Abbreviation Disambiguation. I W. Ammar, A. Louis & N. Mostafazadeh (red.), NAACL HLT 2019 - 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Demonstrations Session (s. 1-5). Association for Computational Linguistics. https://aclweb.org/anthology/papers/N/N19/N19-4001/

Penninckx, W., Timany, A. & Jacobs, B. (2019). Abstract I/O Specification. ArXiv. http://arxiv.org/abs/1901.10541v1

Gregersen, S. O., Thomsen, S. E. & Askarov, A. (2019). A Dependently Typed Library for Static Information-Flow Control in IDRIS. I F. Nielson & D. Sands (red.), 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 (s. 51-75). Springer. 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. I T. M. Chan (red.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (Bind PRDA19, s. 1331-1343). Society for Industrial and Applied Mathematics. https://epubs.siam.org/doi/pdf/10.1137/1.9781611975482.81

Abdolmaleki, B., Khoshakhlagh, H. & Slamanig, D. (2019). A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing. I M. Albrecht (red.), Cryptography and Coding - 17th IMA International Conference, IMACC 2019, Proceedings (s. 1-21). Springer. https://doi.org/10.1007/978-3-030-35199-1_1

Ghosh, S. & Nilges, T. (2019). An algebraic approach to maliciously secure private set intersection. I Y. Ishai & V. Rijmen (red.), Advances in Cryptology – EUROCRYPT 2019: 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 154-185). Springer VS. https://doi.org/10.1007/978-3-030-17659-4_6

Afshani, P. (2019). A new lower bound for semigroup orthogonal range searching. I G. Barequet & Y. Wang (red.), 35th International Symposium on Computational Geometry, SoCG 2019 Artikel 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2019.3

Logins, A. & Karras, P. (2019). An Experimental Study on Network Immunization. I M. Herschel, H. Galhardas, B. Reinwald, I. Fundulaki, C. Binnig & Z. Kaoudi (red.), Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings (s. 726-729). Artikel 391 openproceedings.org. https://openproceedings.org/2019/conf/edbt/EDBT19_paper_391.pdf

Hansen, K. A. & Raskin, M. (2019). A Stay-in-a-Set Game without a Stationary Equilibrium. I J. Leroux & J.-F. Raskin (red.), Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification (Bind 305, s. 83-90). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.305.6

Ledo, D., Vermeulen, J., Carpendale, S., Greenberg, S., Oehlberg, L. & Boring, S. (2019). Astral: prototyping mobile and smart object interactive behaviours using familiar applications. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 711-724). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322329

Kristensen, E. K. (2019). Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. Aarhus University.

Andersen, K. J. A. (2019). Automatic Program Verification. Aarhus University.

Jansson, J., Mampentzidis, K. & Sandhya, T. P. (2019). Building a small and informative phylogenetic supertree. I K. T. Huber & D. Gusfield (red.), 19th International Workshop on Algorithms in Bioinformatics, WABI 2019 Artikel 1 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.WABI.2019.1

Jansson, J., Mampentzidis, K. & Thekkumpadan Puthiyaveedu, S. (2019). Building a Small and Informative Phylogenetic Supertree. Abstract fra Workshop on Algorithms in Bioinformatics (WABI) 2019, Buffalo, New York, USA.

Jensen, K. & Nielsen, M. (2019). Carl Adam Petri: a tribute from Aarhus. I W. Reisig & G. Rozenberg (red.), Carl Adam Petri: ideas, personality, impact (s. 81-84). Springer. https://doi.org/10.1007/978-3-319-96154-5_10

Veje Pedersen, N., Clausen, H. S. & Dissing, C. (2019). Centralizing Pure after 15 years: Experiences forming a library specialist team. Abstract fra PURE International Conference 2019, Prag, Tjekkiet. https://app.oxfordabstracts.com/events/1125/program-app/submission/143655

Viser resultater 1201 til 1250 ud af 3061

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series