Balaska, A.
, Grønbæk, J. E. S., Zhang, C., Schömbs, S. & Johal, W. (2026).
Investigating Social Robot Proxies to Support Situationally Impaired Users in Hybrid Meetings. In K. Minamizawa, S. Kasahara, P. Strohmeier, Y. Abdelrahman, M. Sugimoto, M. Hoppe, M. Sra, N. Wagener, S. Villa & T. Hiraki (Eds.),
AHs 2026 - Augmented Humans 2026 (pp. 619-630). Association for Computing Machinery.
https://doi.org/10.1145/3795011.3795038Legoupil, M., Pedersen, M., Birkedal, L., Lindley, S.
& Pichon-Pharabod, J. (2026).
Iris-WasmFX: Modular Reasoning for Wasm Stack Switching.
Proceedings of the ACM on Programming Languages ,
10, Article 193.
https://doi.org/10.1145/3808271
Namakonov, E., Fasse, J., Jacobs, B.
, Birkedal, L. & Timany, A. (2026).
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic.
Proceedings of the ACM on Programming Languages ,
10(OOPSLA1), Article 132.
https://doi.org/10.1145/3798240
Liu, Y.-Y., Dybboe, M., Ellemose, J., Bjerrum, J. B., Musaeus, L. H., Dindler, C. & Iversen, O. S. (2026).
"Let’s talk about data'': Co-Designing Critical Data Literacy Tools for K--12 Education through Dialogic Learning. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.),
CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 92 Association for Computing Machinery.
https://doi.org/10.1145/3772318.3791296
Sun, B., Xu, H., Fu, G. K.
, Da, L. & Hoggan, E. (2026).
MagHeart: Exploring Playful Avatar Co-Creation and Shared Heartbeats for Icebreaking in Hybrid Meetings. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.),
CHI 2026 - Extended Abtracts of the 2026 CHI Conference on Human Factors in Computing Systems Article 443 Association for Computing Machinery.
https://doi.org/10.1145/3772363.3798371Ahlgreen, O. A., Hansen, M. W., Baake, J., Hybel, T. E., Rossi, R., Lai, X., Sankaranarayanan, I.
, Pold, J. A., Lin, L., Reinert, L., Paludan, S. R., Price, T. J.
, Pallesen, L. T. & Vægter, C. B. (2026).
Mapping Satellite Glial Cell Heterogeneity Reveals Distinct Spatial Organization and Implies Functional Diversity in the Dorsal Root Ganglion.
Advanced Science,
13(1), Article e11569.
https://doi.org/10.1002/advs.202511569
Marionneau, V., Sassus Bourda, F.
, Aguirre, A. & Birkedal, L. (2026).
Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic. In K. Stark, Y. Zakowski, N. Swamy & N. Tabareau (Eds.),
CPP 2026 - Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2026 (pp. 368-382)
https://doi.org/10.1145/3779031.3779109Lystbæk, M. N., Adams, H., Ananda, R. K., Gonzalez, E. J., Ballan, L., Wu, Q., Colaço, A., Tan, P. & Gonzalez-Franco, M. (2026).
Navig-AI-tion: Navigation by Contextual AI and Spatial Audio. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.),
CHI EA '26: Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems Article 482 Association for Computing Machinery.
https://doi.org/10.1145/3772363.3799295
Acharya, A., Hazay, C. & Venkitasubramaniam, M. (2026).
On Achieving "Best-in-the-Multiverse" MPC. In B. Applebaum & H. Lin (Eds.),
Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part I (Vol. 16268, pp. 119–151). Springer LNCS.
https://doi.org/10.1007/978-3-032-12287-2_5
Elder, G. A., Kamga, C.
, Karras, P., Katehakis, M. N., Petsinis, P., Talebi, S. & Xyntarakis, M. (2026).
On Adaptive Transit Dispatch via Reinforcement Learning. In N. E. Mastorakis, I. J. Rudas & M. Katehakis (Eds.),
Recent Advances in Communications and Computers (pp. 246-271). Springer.
https://doi.org/10.1007/978-3-032-20362-5_15Abram, D., Fehr, S., Obremski, M.
& Scholl, P. (2026).
On the Impossibility of Actively Secure Distributed Samplers. In B. Applebaum & H. Lin (Eds.),
Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (pp. 547-581). Springer Nature.
https://doi.org/10.1007/978-3-032-12290-2_18Tellez, ES., Chavez, E., Aumüller, M.
& Mic, V. (2026).
Overview of the SISAP 2025 Indexing Challenge. In G. Amato, V. Mic, A. Traina, N. Messina, L. Amsaleg, G. Þór Guðmundsson, B. Þór Jónsson & L. Vadicamo (Eds.),
Similarity Search and Applications - 18th International Conference, SISAP 2025, Proceedings (pp. 403-414). Springer.
https://doi.org/10.1007/978-3-032-06069-3_33Escudero, D.
& Damgård, I. (2026).
Preface. In D. Escudero & I. Damgård (Eds.),
Progress in Cryptology – LATINCRYPT 2025: 9th International Conference on Cryptology and Information Security in Latin America, Medellín, Colombia, October 1–3, 2025, Proceedings (pp. v). Springer.
https://doi.org/10.1007/978-3-032-06754-8Mikkelsen, T., Zhou, Q., Gonzalez-Franco, M.
, Gellersen, H. & Pfeuffer, K. (2026).
Preshaping Hand Behaviour for Direct and Indirect Manipulation of 3D Objects. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.),
CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 1692 Association for Computing Machinery.
https://doi.org/10.1145/3772318.3793424
Behera, A. R.
, Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2026).
Privately Constrained PRFs from DCR: Puncturing and Bounded Waring Rank. In B. Applebaum & H. Lin (Eds.),
Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (pp. 301-332). Springer.
https://doi.org/10.1007/978-3-032-12287-2_11Chiang, J. H.-Y., Damgård, I., Orlandi, C., Pancholi, M.
& Simkin, M. (2026).
Securely Computing One-Sided Matching Markets. In C. Garman & P. Moreno-Sanchez (Eds.),
Financial Cryptography and Data Security - 29th International Conference, FC 2025, Revised Selected Papers (pp. 126-143). Springer Nature.
https://doi.org/10.1007/978-3-032-07024-1_8
Liu, Y., Zhou, Q.
, Lystbæk, M. N., Kehoe, A., Gutierrez, M.
, Gellersen, H. & Pfeuffer, K. (2026).
StylusPort: Investigating Teleportation using Stylus in VR. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.),
CHI '26: Proceedings of the 2026 CHI Conference on Human Factors in Computing System Article 1678 Association for Computing Machinery.
https://doi.org/10.1145/3772318.3793420
He, C.
, Elmqvist, N., Bellucci, A., Munshi, M. & Jacucci, G. (2026).
Systemization of Knowledge (SoK): Visualization Insight – Two Decades of Research, Practice, and Future Directions.
ACM Computing Surveys,
58(9), Article 224.
https://doi.org/10.1145/3788869Larsen, K. G. & Simkin, M. (2026).
Time/Space Tradeoffs for Generic Attacks on Delay Functions. In B. Applebaum & H. Lin (Eds.),
Theory of Cryptography: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (pp. 451-477). Springer.
https://doi.org/10.1007/978-3-032-12290-2_15
Acharya, A., Hazay, C., Prabhakaran, M. & Kolesnikov, V. (2026).
Towards Building Efficient SCALES Protocols. In G. Hanaoka & B.-Y. Yang (Eds.),
Advances in Cryptology - ASIACRYPT 2025 - 31st International Conference on the Theory and Application of Cryptology and Information Security, Proceedings: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V (Vol. 16249, pp. 35-67). Springer LNCS.
https://doi.org/10.1007/978-981-95-5116-3_2
Whiffing, J.
, Langlotz, T., Lutteroth, C., Sharma, A. & Clarke, C. (2026).
Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance.
ACM Transactions on Computer-Human Interaction,
33(1), Article 11.
https://doi.org/10.1145/3770583Burattin, A., Miksch, S., Sadiq, S.
, Schulz, H.-J. & Vrotsou, K. (2026).
VESPA: Visual Event-Stream Progressive Analytics. 549-556. Paper presented at 2nd Visual Process Analytics Workshop (VIPRA'25), Seville, Spain.
https://doi.org/10.1007/978-3-032-13426-4_40Da, L. & Hirzle, T. (2026).
Virtual Perspectives: Effects of Spatial Presence and Agency on Affective and Cognitive Virtual Reality Perspective-Taking. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.),
CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 632 Association for Computing Machinery.
https://doi.org/10.1145/3772318.3791058
Gao, Z., Guo, M., Han, J., Sun, B., Nie, K. & Zhang, Y. (2026).
Visual Storytelling Beyond the Human: Co-Creation, Culture, and Futures. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.),
CHI 2026 - Extended Abtracts of the 2026 CHI Conference on Human Factors in Computing Systems Article 981 Association for Computing Machinery.
https://doi.org/10.1145/3772363.3778686Eagan, L., Nguyen, N., Chen, A. V., Zhu, T., Johnson, S. M., Dumpa, P. R., Geil, B. J., Ventura, J.
& Zollmann, S. (2026).
VR Panorama Inpainting: A Feasibility Study of High-Resolution View Synthesis for Virtual Reality. In
Proceedings - 2026 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2026 (pp. 137-146). IEEE.
https://doi.org/10.1109/AIxVR67263.2026.00024Argo, S., Venema, M., Riepel, D., Güneysu, T.
& Aranha, D. F. (2025).
ABE Cubed: Advanced Benchmarking Extensions for ABE Squared.
IACR Transactions on Cryptographic Hardware and Embedded Systems,
2025(4), 544-587.
https://doi.org/10.46586/tches.v2025.i4.544-587Årdal, M. A., Basso, A., Feo, L. D., Patranabis, S. & Wesolowski, B. (2025).
A Complete Security Proof of SQIsign. In Y. Tauman Kalai & S. F. Kamara (Eds.),
Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (pp. 190-222)
https://doi.org/10.1007/978-3-032-01887-8_7
