Bovo, R., Giunchi, D., Sidenmark, L., Newn, J.
, Gellersen, H., Costanza, E. & Heinis, T. (2023).
Speech-Augmented Cone-of-Vision for Exploratory Data Analysis. In
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 162 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581283
Goel, A.
, Hall-Andersen, M. N., Kaptchuk, G. & Spooner, N. (2023).
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. In C. Hazay & M. Stam (Eds.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (pp. 347-378). Springer.
https://doi.org/10.1007/978-3-031-30617-4_12
Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C.
, Sidorenco, N., Hriţcu, C., Maillard, K.
& Spitters, B. (2023).
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
ACM Transactions on Programming Languages and Systems,
45(3), 61. Article 15.
https://doi.org/10.1145/3594735
Bouras, C.
, Caragiannis, I., Gkamas, A., Protopapas, N., Sardelis, T. & Sgarbas, K. (2023).
State of the Art Analysis of Resource Allocation Techniques in 5G MIMO Networks. In
37th International Conference on Information Networking, ICOIN 2023 (pp. 632-637). IEEE.
https://doi.org/10.1109/ICOIN56518.2023.10049018
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
Campanelli, M., Francati, D. & Orlandi, C. (2023).
Structure-Preserving Compilers from New Notions of Obfuscations. 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 II (pp. 663-693). Springer.
https://doi.org/10.1007/978-3-031-31371-4_23
Canetti, R.
, Kolby, S., Ravi, D., Soria Vazquez, E.
& Yakoubov, S. (2023).
Taming Adaptivity in YOSO Protocols: The Modular Way. In G. Rothblum & H. Wee (Eds.),
Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II (Vol. 2, pp. 33-62). Springer.
https://doi.org/10.1007/978-3-031-48618-0_2
Pauli, A. B., Pablos Sarabia, R., Derczynski, L.
& Assent, I. (2023).
TeamAmpa at SemEval-2023 Task 3: Exploring Multilabel and Multilingual RoBERTa Models for Persuasion and Framing Detection. In A. K. Ojha, A. S. Doğruöz, G. Da San Martino, H. Tayyar Madabushi, R. Kumar & E. Sartori (Eds.),
Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023) (pp. 847–855). Association for Computational Linguistics.
https://doi.org/10.18653/v1/2023.semeval-1.117
Hu, E.
, Grønbæk, J. E., Ying, W., Du, R. & Heo, S. (2023).
ThingShare: Ad-Hoc Digital Copies of Physical Objects for Sharing Things in Video Meetings. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (Eds.),
CHI'23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 365 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581148
Doerner, J.
, Kondi, Y., Lee, E., Shelat, A. & Tyner, L. (2023).
Threshold BBS+ Signatures for Distributed Anonymous Credential Issuance. In
44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023 (pp. 773-789). IEEE.
https://doi.org/10.1109/SP46215.2023.10179470
Johns, C. A., Evangelista Belo, J. M., Feit, A. M.
, Klokmose, C. N. & Pfeuffer, K. (2023).
Towards Flexible and Robust User Interface Adaptations With Multiple Objectives. In S. Follmer, J. Han, J. Steimle & N. Henry Riche (Eds.),
UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 108 Association for Computing Machinery.
https://doi.org/10.1145/3586183.3606799
Fournier, H., Limaye, N., Malod, G.
, Srinivasan, S. & Tavenas, S. (2023).
Towards Optimal Depth-Reductions for Algebraic Formulas. In A. Ta-Shma (Ed.),
38th Computational Complexity Conference, CCC 2023 Article 28 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.CCC.2023.28
Kondi, Y., Orlandi, C. & Roy, L. (2023).
Two-Round Stateless Deterministic Two-Party Schnorr Signatures from Pseudorandom Correlation Functions. In H. Handschuh & A. Lysyanskaya (Eds.),
Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, Proceedings, Part I (pp. 646-677). Springer.
https://doi.org/10.1007/978-3-031-38557-5_21
Sidenmark, L., Clarke, C., Newn, J.
, Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (2023).
Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. In
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 257 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3580685
Ateniese, G., Chen, L.
, Francati, D., Papadopoulos, D. & Tang, Q. (2023).
Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting). 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 II (pp. 63-93). Springer.
https://doi.org/10.1007/978-3-031-31371-4_3
Gondelman, L., Hinrichsen, J. K., Pereira, M.
, Timany, A. & Birkedal, L. (2023).
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
Proceedings of the ACM on Programming Languages ,
7(ICFP), 847-877. Article 217.
https://doi.org/10.1145/3607859
Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L. (2023).
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proceedings of the ACM on Programming Languages ,
7, 1438-1462.
https://doi.org/10.1145/3591279
Campanelli, M., Gennaro, R.
, Melissaris, K. G. & Nizzardo, L. (2023).
Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups. In F. Baldimtsi & C. Cachin (Eds.),
Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part I (1 ed., Vol. 13950, pp. 112). Article 7 Springer, Cham.
https://doi.org/10.1007/978-3-031-47754-6_7
Ganesh, C.
, Kondi, Y. M., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2023).
Witness-Succinct Universally-Composable SNARKs. In C. Hazay & M. Stam (Eds.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (pp. 315–346). Springer.
https://doi.org/10.1007/978-3-031-30617-4_11
Braun, L., Delpech de Saint Guilhem, C., Jadoul, R., Orsini, E., Smart, N. P. & Tanguy, T. (2023).
ZK-for-Z2K: MPC-in-the-Head Zero-Knowledge Proofs for Z2k. In E. A. Quaglia (Ed.),
Cryptography and Coding - 19th IMA International Conference, IMACC 2023, London, UK, December 12-14, 2023, Proceedings (Vol. 14421, pp. 137-157). Springer, Cham.
https://doi.org/10.1007/978-3-031-47818-58
Nonnemann, L.
, Hogräfer, M., Röhlig, M., Schumann, H., Urban, B.
& Schulz, H.-J. (2022).
A Data-Driven Platform for the Coordination of Independent Visual Analytics Tools.
Computers & Graphics,
106, 152-160.
https://doi.org/10.1016/j.cag.2022.05.023
Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022).
Adiar Binary Decision Diagrams in External Memory. In D. Fisman & G. Rosu (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 295-313). Springer.
https://doi.org/10.1007/978-3-030-99527-0_16