Publikationer

Søg publikationer fra Institut for Datalogi

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

Aardal, M. A. & Aranha, D. F. (2024). 2DT-GLS: Faster and Exception-Free Scalar Multiplication in the GLS254 Binary Curve. I B. Smith & H. Wu (red.), Selected Areas in Cryptography - 29th International Conference, SAC 2022, Revised Selected Papers (Bind 13742, s. 53-74). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-58411-4_3

Conrado, G. K. & Pavlogiannis, A. (2024). A Better Approximation for Interleaved Dyck Reachability. I SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (s. 18-25). Association for Computing Machinery. https://doi.org/10.1145/3652588.3663318

Bjørn, P., Busboom, J., Duckert, M., Bødker, S., Shklovski, I., Hoggan, E., Dunn, K., Mu, Q., Barkhuus, L. & Boulus-Rodje, N. (2024). Achieving Symmetry in Synchronous Interaction in Hybrid Work is Impossible. ACM Transactions on Computer-Human Interaction, 31(4), Artikel 49. https://doi.org/10.1145/3648617

Bui-Ngoc, T., Ly, D. K., Truong, T. T., Thongchom, C. & Nguyen-Thoi, T. (2024). A deep neural network based surrogate model for damage identification in full-scale structures with incomplete noisy measurements. Frontiers of Structural and Civil Engineering, 18(3), 393-410. https://doi.org/10.1007/s11709-024-1060-8

Thorsøe, R., Locher, P., Rathish, H. & Schulz, H.-J. (2024). A Framework for Axis Breaks in Charts. I Proceedings of the International Symposium on Vision, Modeling, and Visualization (VMV'24) (s. 1-8). The Eurographics Association. https://doi.org/10.2312/vmv.20241198

Årdal, M. A., Aranha, D. F., Boudgoust, K., Kolby, S. & Takahashi, A. (2024). Aggregating Falcon Signatures with LaBRADOR. I L. Reyzin & D. Stebila (red.), Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings (s. 71-106) https://doi.org/10.1007/978-3-031-68376-3_3

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Almost-Sure Termination by Guarded Refinement. Proceedings of the ACM on Programming Languages , 8(ICFP), 203-233. Artikel 243. https://doi.org/10.1145/3674632

Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2024). An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic. Proceedings of the ACM on Programming Languages , 8, 604-637. Artikel 21. https://doi.org/10.1145/3632863

Braun, L., Castagnos, G., Damgård, I. B., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (Accepteret/In press). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. https://eprint.iacr.org/2024/717

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2024). A Practical Framework for Verifiable Computation over Encrypted Data. Abstract fra 3rd Annual FHE.org Conference on Fully Homomorphic Encryption, Toronto, Canada. https://eprint.iacr.org/2023/1949

Aranha, D. F., Fotiadis, G. & Guillevic, A. (2024). A short-list of pairing-friendly curves resistant to the Special TNFS algorithm at the 192-bit security level. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/angyl86bm

Lutze, M. & Madsen, M. (2024). Associated Effects: Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages , 8, Artikel 163. https://doi.org/10.1145/3656393

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proceedings of the ACM on Programming Languages , 8(POPL), Artikel 26. https://doi.org/10.1145/3632868

Srinivasan, A., Ellemose, J., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2024). Attention-Aware Visualization: Tracking and Responding to User Perception Over Time. IEEE Transactions on Visualization and Computer Graphics, PP. Advance online publication. https://doi.org/10.1109/TVCG.2024.3456300

Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M. (2024). AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Artikel 334. https://doi.org/10.1145/3689774

Saioc, G.-V., Lange, J. & Møller, A. (2024). Automated Verification of Parametric Channel-Based Process Communication. I Proceedings of the ACM on Programming Languages (s. 2070-2096). Artikel 344 https://doi.org/10.1145/3689784

Ágústsson, S. Ý., Jones, A. J. H., Curcio, D., Ulstrup, S., Miwa, J., Mottin, D., Karras, P. & Hofmann, P. (2024). Autonomous micro-focus angle-resolved photoemission spectroscopy. Review of Scientific Instruments, 95(5), Artikel 055106. https://doi.org/10.1063/5.0204663

Hansen, S. M., Assent, I. & Schulz, H.-J. (2024). A Web Framework for Explainable and Malleable Visualisation. I K. Kucher, A. Diehl & C. Gillmann (red.), EuroVisPosters2024: Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241080

Pancholi, M. R. (2024). Beyond Knowledge Soundness of SNARKs. Aarhus University.

Nielsen, S. D.-H., Liang, N., Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y., Schulz, H.-J. & Dallas, D. C. (2024). Bioactive milk peptides: an updated comprehensive overview and database. Critical Reviews in Food Science and Nutrition, 64(31), 11510-11529. https://doi.org/10.1080/10408398.2023.2240396

Grønbæk, J. E., Sánchez Esquivel, J., Leiva, G., Velloso, E., Gellersen, H. & Pfeuffer, K. (2024). Blended Whiteboard: Physicality and Reconfigurability in Remote Mixed Reality Collaboration. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 798 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642293

Brodal, G. S. (2024). Bottom-Up Rebalancing Binary Search Trees by Flipping a Coin. I A. Z. Broder & T. Tamir (red.), 12th International Conference on Fun with Algorithms, FUN 2024 Artikel 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FUN.2024.6

Pasquini, D., Francati, D., Ateniese, G. & Evgenios M. Kornaropoulos, E. M. (2024). Breach Extraction Attacks: Exposing and Addressing the Leakage in Second Generation Compromised Credential Checking Services. I 45th IEEE Symposium on Security and Privacy

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2024). Bridging Performance of X (formerly known as Twitter) Users: A Predictor of Subjective Well-Being During the Pandemic. ACM Transactions on the Web, 18(1), Artikel 15. https://doi.org/10.1145/3635033

Lunding, M. S. (2024). Bringing Augmented Reality to the Computational Thinking Agenda: Designing AR Authoring Tools for Novice Users to support Creation, Reflection and Collaboration.

Barrett, M., Müller-Eberstein, M., Bassignana, E., Pauli, A. B., Zhang, M. & van der Goot, R. (2024). Can Humans Identify Domains? I N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti & N. Xue (red.), 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings (s. 2745-2765). European Language Resources Association (ELRA).

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L. (2024). Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. Journal of the ACM, 71(1), Artikel 3. https://doi.org/10.1145/3623510

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Sode, L., Madsen, J. & Corredig, M. (2024). Characterization of high protein anisotropic structures using Rheological fingerprint by large-deformation Lissajous curves. Science Talks, 9, Artikel 100283. https://doi.org/10.1016/j.sctalk.2023.100283

Melissaris Papanikolaou, N., Rachuri, R., Baum, C. & Scholl, P. (2024). Cheater Identification on a Budget: MPC with Identifiable Abort from Pairwise MACs. 454-488. Afhandling præsenteret på 44th Annual International Cryptology Conference - CRYPTO 2024, Santa Barbara, California, USA. https://doi.org/10.1007/978-3-031-68397-8_14

Abram, D., Doerner, J., Ishai, Y. & Narayanan, V. (Accepteret/In press). Constant-Round Simulation-Secure Coin Tossing Extension with Guaranteed Output. I Eurocrypt 2024

Braun, L. (2024). Cryptography After Prime Time: Protocols for Z2k and Groups of Unknown Order.

Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A. (2024). CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. I ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Bind 3, s. 223-238). Association for Computing Machinery. https://doi.org/10.1145/3620666.3651358

Truong, T. T., Airao, J., Hojati, F., Ilvig, C. F., Azarhoushang, B., Karras, P. & Aghababaei, R. (2024). Data-driven prediction of tool wear using Bayesian regularized artificial neural networks. Measurement: Journal of the International Measurement Confederation, 238, Artikel 115303. https://doi.org/10.1016/j.measurement.2024.115303

Hoque, M. N. & Elmqvist, N. (2024). Dataopsy: Scalable and Fluid Visual Exploration using Aggregate Query Sculpting. IEEE Transactions on Visualization and Computer Graphics, 30(1), 186-196. https://doi.org/10.1109/TVCG.2023.3326594

Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2024). Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proceedings of the ACM on Programming Languages , 8(POPL), Artikel 47. https://doi.org/10.1145/3632889

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). Demonstrating MouthIO: Customizable Oral User Interfaces with Integrated Sensing and Actuation. I M. Wessely, V. Savage, P. Didyk & J. Martinez (red.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Artikel 6 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673254

Ozbek, D., Alalawi, M., Eckroth, T. M. & Wessely, M. (2024). Demonstration of AcceloPrint: Fabricating Accelerometers with Multi-Material 3D Printing. I M. Wessely, V. Savage, P. Didyk & J. Martinez (red.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Artikel 8 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673256

Berger, C. P., Pollock, J., Arawjo, I. & Satyanarayan, A. (2024). Designing for Semi-Formal Programming with Foundation Models. Abstract fra PLATEAU, Berkeley, California, USA. https://vis.csail.mit.edu/pubs/semi-formal-design-space.pdf

Pfeuffer, K., Gellersen, H. & Gonzalez-Franco, M. (2024). Design Principles and Challenges for Gaze + Pinch Interaction in XR. IEEE Computer Graphics and Applications, 44(3), 74-81. https://doi.org/10.1109/MCG.2024.3382961

Brodal, G. S. & Wild, S. (2024). Deterministic Cache-Oblivious Funnelselect. I H. L. Bodlaender (red.), 19th Scandinavian Symposium on Algorithm Theory, SWAT 2024 Artikel 17 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SWAT.2024.17

Kim, J., Lee, H., Nguyen, D. M., Shin, M., Kwon, B. C., Ko, S. & Elmqvist, N. (2024). DG Comics: Semi-Automatically Authoring Graph Comics for Dynamic Graphs. IEEE Transactions on Visualization and Computer Graphics, PP. Advance online publication. https://doi.org/10.1109/TVCG.2024.3456340

Damgård, I., Keller, H., Nelson, B., Orlandi, C. & Pagh, R. (2024). Differentially Private Selection from Secure Distributed Computing. I WWW 2024 - Proceedings of the ACM Web Conference (s. 1103-1114). Association for Computing Machinery. https://doi.org/10.1145/3589334.3645435

Abram, D. (2024). Distributed (Correlation) Samplers: A Study on the Round Complexity of Cryptographic Sampling Protocols. Aarhus University.

Dhanoa, V., Hinterreiter, A., Fediuk, V., Elmqvist, N., Gröller, E. & Streit, M. (2024). D-Tour: Semi-Automatic Generation of Interactive Guided Tours for Visualization Dashboard Onboarding. IEEE Transactions on Visualization and Computer Graphics, PP. Advance online publication. https://doi.org/10.1109/TVCG.2024.3456347

Brewer, B., Brodal, G. S. & Wang, H. (2024). Dynamic Convex Hulls for Simple Paths. I W. Mulzer & J. M. Phillips (red.), 40th International Symposium on Computational Geometry, SoCG 2024 Artikel 24 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2024.24

Loss, J. & Nielsen, J. B. (2024). Early Stopping for Any Number of Corruptions. I M. Joye & G. Leander (red.), Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 457-488). Springer Science and Business Media Deutschland GmbH. Advance online publication. https://doi.org/10.1007/978-3-031-58734-4_16

Elmqvist, N., Liu, S. & Pascucci, V. (2024). Editorial Guest Editors' Introduction. IEEE Transactions on Visualization and Computer Graphics, 30(6), 2860-2861. https://doi.org/10.1109/TVCG.2024.3373233

Hall-Andersen, M. N. (2024). Either/Or.

Leon, G. M., Isenberg, P. & Breiter, A. (2024). Eliciting Multimodal and Collaborative Interactions for Data Exploration on Large Vertical Displays. IEEE Transactions on Visualization and Computer Graphics, 30(2), 1624-1637. https://doi.org/10.1109/TVCG.2023.3323150

Abdrabou, Y., Asbeck, M., Pfeuffer, K., Abdelrahman, Y., Hassib, M. & Alt, F. (2024). Empowering Users: Leveraging Interface Cues to Enhance Password Security. https://link.springer.com/chapter/10.1007/978-3-031-42280-5_22

Viser resultater 1 til 50 ud af 2882

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series