Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Aranha, D. F., Pagnin, E. & Rodriguez-Henriquez, F. (2021). LOVE a Pairing. I P. Longa & C. Ràfols (red.), Progress in Cryptology – LATINCRYPT 2021 (s. 320-340). Springer. https://doi.org/10.1007/978-3-030-88238-9_16

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2021). Low-Complexity Weak Pseudorandom Functions in textdollartextbackslashmathtt AC0[textbackslashmathtt MOD2]textdollar. I T. Malkin & C. Peikert (red.), Advances in Cryptology – CRYPTO 2021: 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part IV (s. 487-516). Springer. 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. I K. Buchin & E. C. de Verdiere (red.), 37th International Symposium on Computational Geometry, SoCG 2021 Artikel 8 Dagstuhl Publishing. 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. I M. Tibouchi & H. Wang (red.), 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 (s. 3-33). Springer. 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. I W. Ju, L. Oehlberg, S. Follmer, S. Fox & S. Kuznetsov (red.), DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (s. 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. I Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings: Proceedings (s. 92-122). Springer. https://doi.org/10.1007/978-3-030-84259-8_4

Han, W. (2021). Making and Trusting Decisions in Visual Analytics. I Proceedings - 2021 IEEE Workshop on TRust and EXpertise in Visual Analytics, TREX 2021 (s. 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), Artikel 10. https://doi.org/10.1145/3434291

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

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

Preti, G., Lissandrini, M., Mottin, D. & Velegrakis, Y. (2021). Mining Patterns in Graphs with Multiple Weights. Distributed and Parallel Databases, 39(2), 281-319. https://doi.org/10.1007/s10619-019-07259-w

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

Espitau, T., Takahashi, A., Tibouchi, M. & Wallet, A. (2021). Mitaka: A simpler, parallelizable, maskable variant of Falcon. Afhandling præsenteret på Third PQC Standardization Conference, Washington, USA. 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. I C. Cadar & X. Zhang (red.), ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (s. 29-41). Association for Computing Machinery. 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. I S. Tessaro (red.), 2nd Conference on Information-Theoretic Cryptography, ITC 2021 Artikel 2 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2021.2

Ciampi, M., Siniscalchi, L. & Waldner, H. (2021). Multi-Client Functional Encryption for Separable Functions. I J. A. Garay (red.), 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 (s. 724-753). Springer. https://doi.org/10.1007/978-3-030-75245-3_26

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

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

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

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

Bellatreche, L., Dumas, M., Karras, P., Matulevicius, R., Awad, A., Weidlich, M., Ivanovic, M. & Hartig, O. (red.) (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 Bind 1450 https://doi.org/10.1007/978-3-030-85082-1

Ahmadpanah, M. M., Askarov, A. & Sabelfeld, A. (2021). Nontransitive policies transpiled. I 2021 IEEE European Symposium on Security and Privacy (EuroS&P) (s. 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. I K. G. Paterson (red.), Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (s. 51-74). Springer. https://doi.org/10.1007/978-3-030-75539-3_3

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

van de Pol, J. & Petrucci, L. (2021). On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). I M. Roggenbach (red.), Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Revised Selected Papers (s. 3-10). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-73785-6_1

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

Fleischhacker, N. & Simkin, M. (2021). On Publicly-Accountable Zero-Knowledge and Small Shuffle Arguments. I J. A. Garay (red.), 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 (s. 618-648). Springer. https://doi.org/10.1007/978-3-030-75248-4_22

Hvilshøj, F., Iosifidis, A. & Assent, I. (2021). On Quantitative Evaluations of Counterfactuals.

Srinivasan, S. & Venkitesh, S. (2021). On the probabilistic degree of an n-variate boolean function. I M. Wootters & L. Sanita (red.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021 Artikel 42 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs-APPROX/RANDOM.2021.42

Jafargholi, Z., Larsen, K. G. & Simkin, M. (2021). Optimal oblivious priority queues. I D. Marx (red.), ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 (s. 2366-2383). Association for Computing Machinery.

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

Baum, C., David, B. & Frederiksen, T. K. (2021). P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange. I K. Sako & N. O. Tippenhauer (red.), Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Proceedings (s. 163-194). Springer. 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. Århus Universitet.

Svendsen, S. C. (2021). Practical I/O-Efficient Multiway Separators.

Gleirscher, M., Pol, J. V. D. & Woodcock, J. (red.) (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. I J. A. Garay (red.), 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 (s. 469-498). Springer Science and Business Media Deutschland GmbH. 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. I 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) (Bind ´, s. 42:1-42:23). Artikel 42 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. I CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths Artikel 740 Association for Computing Machinery. https://doi.org/10.1145/3411764.3445697

Gentry, C., Halevi, S., Magri, B., Nielsen, J. B. & Yakoubov, S. (2021). Random-Index PIR and Applications. I K. Nissim & B. Waters (red.), Theory of Cryptography : 19th International Conference, TCC 2021, Proceedings (s. 32-61). Springer. https://doi.org/10.1007/978-3-030-90456-2_2

Leiva, G., Grønbæk, J. E., Klokmose, C. N., Nguyen, C., Kazi, R. H. & Asente, P. (2021). Rapido: Prototyping Interactive AR Experiences through Programming by Demonstration. I UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 626-637). Association for Computing Machinery. https://doi.org/10.1145/3472749.3474774

Timany, A. & Birkedal, L. (2021). Reasoning about monotonicity in separation logic. I Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) (s. 91-104). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439931

Petersen, R. K. B. & Afshani, P. (2021). Rectangle Stabbing and Orthogonal Range Reporting Lower Bounds in Moderate Dimensions. 167-174.

Kondi, Y., Magri, B., Orlandi, C. & Shlomovits, O. (2021). Refresh when you wake up: Proactive threshold wallets with offline devices. I 2021 IEEE Symposium on Security and Privacy (SP) (s. 608-625). IEEE. https://doi.org/10.1109/SP40001.2021.00067

Madsen, M. & Van De Pol, J. (2021). Relational nullable types with Boolean unification. Proceedings of the ACM on Programming Languages , 5(OOPSLA), 1-28. Artikel 110. https://doi.org/10.1145/3485487

Frumin, D., Krebbers, R. & Birkedal, L. (2021). ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. Logical Methods in Computer Science, 17(3), Artikel 9. https://doi.org/10.46298/lmcs-17(3:9)2021

Chakraborty, S., Ganesh, C., Pancholi, M. R. & Sarkar, P. (2021). Reverse Firewalls for Adaptively Secure MPC without Setup. I M. Tibouchi & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part 2: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II (s. 335-364). Springer. https://doi.org/10.1007/978-3-030-92075-3_12

Jensen, A. H., Lauridsen, F., Zardbani, F., Idreos, S. & Karras, P. (2021). Revisiting Multidimensional Adaptive Indexing [Experiment Analysis]. I Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (red.), Proceedings of the 24th International Conference on Extending Database Technology, EDBT 2021, Nicosia, Cyprus, March 23 - 26, 2021 (s. 469-474). openproceedings.org. https://doi.org/10.5441/002/edbt.2021.53

Guimaraes, A., Borin, E. & Aranha, D. F. (2021). Revisiting the functional bootstrap in TFHE. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2021(2), 229-253. https://doi.org/10.46586/tches.v2021.i2.229-253

Viser resultater 801 til 850 ud af 2930

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series