Publikationer

Søg publikationer fra Institut for Datalogi

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

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.

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

Mouritzen, M. T., Carus, A., Ladekarl, M., Meldgaard, P., Nielsen, A. W. M., Livbjerg, A., Larsen, J. W., Skuladottir, H., Kristiansen, C., Wedervang, K., Schytte, T., Hansen, K. H., Østby, A.-C., Frank, M. S., Lauritsen, J., Sørensen, J. B., Langer, S. W., Persson, G. F., Andersen, J. L. ... Pøhl, M. (2021). Nationwide Survival Benefit after Implementation of First-Line Immunotherapy for Patients with Advanced NSCLC-Real World Efficacy. Cancers, 13(19). https://doi.org/10.3390/cancers13194846

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.

Beer, A. (2021). On the edges of clustering: Creating synergies with related problems.

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.

Christensen, M., Petersen, J. L., Sivanandam, P., Kronborg, C. S., Knudsen, U. B. & Martensen, P. M. (2021). Reduction of serum-induced endothelial STAT3(Y705) activation is associated with preeclampsia. Pregnancy Hypertension, 25, 103-109. https://doi.org/10.1016/j.preghy.2021.05.012

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

Rasmussen, T. A., Stensgaard, A., Winding, T. & Merritt, T. R. (2021). scrAPP: Enabling Reuse of Scrap Materials with a Smartphone. I Extended Abstracts of MobileHCI 2021 - ACM International Conference on Mobile Human-Computer Interaction: Mobile Apart, Mobile Together (s. 1-6). Artikel 10 Association for Computing Machinery. https://doi.org/10.1145/3447527.3474856

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. I Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021 (s. 74-85). IEEE. https://doi.org/10.1109/ICSE43902.2021.00020

Aranha, D. F., Berndt, S., Eisenbarth, T., Seker, O., Takahashi, A., Wilke, L. & Zaverucha, G. (2021). Side-Channel Protections for Picnic Signatures. Abstract fra Third PQC Standardization Conference, Washington, USA.

Aranha, D. F., Berndt, S., Eisenbarth, T., Seker, O., Takahashi, A., Wilke, L. & Zaverucha, G. (2021). Side-Channel Protections for Picnic Signatures. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2021(4), 239-282. https://doi.org/10.46586/tches.v2021.i4.239-282

Viser resultater 751 til 800 ud af 2883

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series