Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023).
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer.
https://doi.org/10.1007/978-3-031-30820-8_22
Roy, L. & Xu, J. (2023).
A Universally Composable PAKE with Zero Communication Cost: (And Why It Shouldn’t Be Considered UC-Secure). In A. Boldyreva & V. Kolesnikov (Eds.),
Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (pp. 714-743). Springer.
https://doi.org/10.1007/978-3-031-31368-4_25
Soureshjani, F. H.
, Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023).
Automated Analysis of Halo2 Circuits. In S. Graham-Lengrand & M. Preiner (Eds.),
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023 (Vol. 3429, pp. 3-17). CEUR-WS.org.
https://ceur-ws.org/Vol-3429/paper3.pdfBorowski, M., Fog, B. V., Griggio, C. F., Eagan, J. R.
& Klokmose, C. N. (2023).
Between Principle and Pragmatism: Reflections on Prototyping Computational Media with Webstrates.
ACM Transactions on Computer-Human Interaction,
30(4), Article 61.
https://doi.org/10.1145/3569895
Ciampi, M.
, Damgård, I., Ravi, D., Siniscalchi, L., Xia, Y.
& Yakoubov, S. (2023).
Broadcast-Optimal Four-Round MPC in the Plain Model. In G. Rothblum & H. Wee (Eds.),
Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II (pp. 3-32). Springer.
https://doi.org/10.1007/978-3-031-48618-0_1Damgård, I., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2023).
Broadcast-Optimal Two Round MPC with Asynchronous Peer-to-Peer Channels. In A. Aly & M. Tibouchi (Eds.),
Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023, Proceedings (pp. 87-106). Springer.
https://doi.org/10.1007/978-3-031-44469-2_5
Niu, S., Lu, Z., Zhang, A. X., Cai, J.
, Griggio, C. F. & Heuer, H. (2023).
Building Credibility, Trust, and Safety on Video-Sharing Platforms. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson & A. Peters (Eds.),
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023 (pp. 337:1-337:7). Article 337 ACM.
https://doi.org/10.1145/3544549.3573809Hansen, R. T., Borghegn, N. W.
, Gundtoft, P. H., Nielsen, K. A., Balslev-Clausen, A. & Viberg, B. (2023).
Change in treatment preferences in pediatric diaphyseal forearm fractures: a Danish nationwide register study of 36,244 fractures between 1997 and 2016.
Acta Orthopaedica,
94, 32-37.
https://doi.org/10.2340/17453674.2023.7132Cino, D., Brandsen, S.
, Bressa, N. A., Eriksson, E., Mascheroni, G. & Zaman, B. (2023).
Children’s digital skills acquisition in non-formal educational contexts: Pedagogical practices, learning, and inclusion opportunities in coding and robotics workshops.
Italian Journal of Educational Research, 54-72.
https://doi.org/10.7346/sird-012023-p54Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A., Bækgaard, P.
& Gellersen, H. (2023).
Classifying Head Movements to Separate Head-Gaze and Head Gestures as Distinct Modes of Input. In
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 253 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581201Chen, Y., Gelder, M. L. V., Nazari, P., Brogan, C. L., Dishoeck, E. F. V., Linnartz, H.
, Jørgensen, J. K., Hunter, T. R., Wilkins, O. H., Blake, G. A., Caselli, P., Chuang, K. .-J., Codella, C., Cooke, I., Drozdovskaya, M. N., Garrod, R. T.
, Ioppolo, S., Jin, M., Kulterer, B. M. ... McGuire, B. A. (2023).
CoCCoA: Complex Chemistry in hot Cores with ALMA. Selected oxygen-bearing species.
Bressa, N. A., Bødker, S., Klokmose, C. N. & Eriksson, E. (2023).
Common Objects for Programming Workshops in Non-Formal Learning. In J. A. Nocera, M. K. Lárusdóttir, H. Petrie, A. Piccinno & M. Winckler (Eds.),
Human-Computer Interaction – INTERACT 2023 (pp. 275-296). Springer.
https://doi.org/10.1007/978-3-031-42280-5_16
Beer, A., Draganov, A., Hohma, E., Jahn, P., Frey, C. M. M.
& Assent, I. (2023).
Connecting the Dots: Density-Connectivity Distance unifies DBSCAN, k-Center and Spectral Clustering. In
KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (pp. 80-92). Association for Computing Machinery.
https://doi.org/10.1145/3580305.3599283
Baum, C., David, B., Dowsley, R., Kishore, R.
, Nielsen, J. B. & Oechsner, S. (2023).
CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time. In A. Boldyreva & V. Kolesnikov (Eds.),
Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (Vol. 1, pp. 439-470). Springer Science+Business Media.
https://doi.org/10.1007/978-3-031-31368-4_16
Abram, D., Beimel, A., Ishai, Y., Kushilevitz, E. & Narayanan, V. (2023).
Cryptography from Planted Graphs: Security with Logarithmic-Size Messages. 286-315. Paper presented at Theory of Cryptography. TCC 2023, Taipei, Taiwan.
https://doi.org/10.1007/978-3-031-48615-9_11
Zhu, Y., Honnet, C., Kang, Y., Zhu, J., Zheng, A. J., Heinz, K., Tang, G., Musk, L.
, Wessely, M. & Mueller, S. (2023).
Demonstration of ChromoCloth: Re-Programmable Multi-Color Textures through Flexible and Portable Light Source. In
UIST 2023 Adjunct - Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 73 Association for Computing Machinery.
https://doi.org/10.1145/3586182.3615811
