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

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2025). Fiat-Shamir Bulletproofs are Non-Malleable (in the Random Oracle Model). Journal of Cryptology, 38(1), Article 11. https://doi.org/10.1007/s00145-024-09525-2

Aardal, M. A. & Aranha, D. F. (2024). 2DT-GLS: Faster and Exception-Free Scalar Multiplication in the GLS254 Binary Curve. In B. Smith & H. Wu (Eds.), Selected Areas in Cryptography - 29th International Conference, SAC 2022, Revised Selected Papers (Vol. 13742, pp. 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. In SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (pp. 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), Article 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. In Proceedings of the International Symposium on Vision, Modeling, and Visualization (VMV'24) (pp. 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. In L. Reyzin & D. Stebila (Eds.), Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings (pp. 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. Article 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. Article 21. https://doi.org/10.1145/3632863

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

Braun, L., Castagnos, G., Damgård, I., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2024). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. In C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks - 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II (Vol. 14974, pp. 24-46). Springer. https://doi.org/10.1007/978-3-031-71073-52

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2024). A Practical Framework for Verifiable Computation over Encrypted Data. Abstract from 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, Article 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), Article 26. https://doi.org/10.1145/3632868

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), 1787-1813. Article 334. https://doi.org/10.1145/3689774

Saioc, G.-V., Lange, J. & Møller, A. (2024). Automated Verification of Parametric Channel-Based Process Communication. In Proceedings of the ACM on Programming Languages (Vol. 8, pp. 2070-2096). Article 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), Article 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. In K. Kucher, A. Diehl & C. Gillmann (Eds.), 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. In 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 Article 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. In A. Z. Broder & T. Tamir (Eds.), 12th International Conference on Fun with Algorithms, FUN 2024 Article 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. In 2024 IEEE Symposium on Security and Privacy (SP): Proceedings (pp. 1405-1423). IEEE. https://doi.org/10.1109/SP54263.2024.00114

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), Article 15. https://doi.org/10.1145/3635033

Barrett, M., Müller-Eberstein, M., Bassignana, E., Pauli, A. B., Zhang, M. & van der Goot, R. (2024). Can Humans Identify Domains? In N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti & N. Xue (Eds.), 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings (pp. 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), Article 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, Article 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. Paper presented at 44th Annual International Cryptology Conference - CRYPTO 2024, Santa Barbara, California, United States. https://doi.org/10.1007/978-3-031-68397-8_14

Kolby, S., Ravi, D. & Yakoubov, S. (2024). Constant-Round YOSO MPC Without Setup. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/ae5w4fe-3

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

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. In ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Vol. 3, pp. 223-238). Association for Computing Machinery. https://doi.org/10.1145/3620666.3651358

Zhang, P., Cao, C., Zaporojets, K. & Groth, P. (2024). CYCLE: Cross-Year Contrastive Learning in Entity-Linking. In CIKM 2024 - Proceedings of the 33rd ACM International Conference on Information and Knowledge Management (pp. 3197-3206). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3627673.3679702

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, Article 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), Article 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. In M. Wessely, V. Savage, P. Didyk & J. Martinez (Eds.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Article 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. In M. Wessely, V. Savage, P. Didyk & J. Martinez (Eds.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Article 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 from PLATEAU, Berkeley, California, United States. 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. In H. L. Bodlaender (Ed.), 19th Scandinavian Symposium on Algorithm Theory, SWAT 2024 Article 17 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SWAT.2024.17

Damgård, I., Keller, H., Nelson, B., Orlandi, C. & Pagh, R. (2024). Differentially Private Selection from Secure Distributed Computing. In T.-S. Chua, C.-W. Ngo, R. Kumar, H. W. Lauw & R. K.-W. Lee (Eds.), WWW 2024 - Proceedings of the ACM Web Conference (pp. 1103-1114). Association for Computing Machinery. https://doi.org/10.1145/3589334.3645435

Dideriksen, A. K., Andersen, M. F., Priest, J., Eriksen, N. F., Frandsen, M. T., Melvad, C., Rasmussen, T. F., Nielsen, N. H. K., Strømsnes, C. T., Ahlebæk, M. J., Samsing, S., Larsen, T. B., Don, J., Pedersen, L. A. N., Jacobsen, R. H., Rysgaard, S., Kim, J. M., Bayer, R., Christensen, C. ... Karoff, C. (2024). DISCO-2 – an ambitious earth observing student CubeSat for arctic climate research. Frontiers in Remote Sensing, 5, Article 1474560. https://doi.org/10.3389/frsen.2024.1474560

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

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

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

Zhong, Z. & Mottin, D. (2024). Efficiently Predicting Mutational Effect on Homologous Proteins by Evolution Encoding. In A. Bifet, J. Davis, T. Krilavičius, M. Kull, E. Ntoutsi & I. Žliobaitė (Eds.), Machine Learning and Knowledge Discovery in Databases. Research Track: European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part VII (pp. 399-415). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-70368-3_24

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

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

Hwang, C., Feuchtner, T., Oakley, I. & Grønbæk, K. (2024). Enriching Industrial Training Experience in Virtual Reality with Pseudo-Haptics and Vibrotactile Stimulation. Paper presented at The 30th ACM Symposium on Virtual Reality Software and Technology. https://doi.org/10.1145/3641825.3687728

Displaying results 1 to 50 out of 5533

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University