Gentry, C., Halevi, S.
, Magri, B., Nielsen, J. B. & Yakoubov, S. (2021).
Random-Index PIR and Applications. I K. Nissim & B. Waters (red.),
Theory of Cryptography : 19th International Conference, TCC 2021, Proceedings (s. 32-61). Springer. Lecture Notes in Computer Science Bind 13044
https://doi.org/10.1007/978-3-030-90456-2_2
Leiva, G., Grønbæk, J. E., Klokmose, C. N., Nguyen, C., Kazi, R. H. & Asente, P. (2021).
Rapido: Prototyping Interactive AR Experiences through Programming by Demonstration. I
UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 626-637). Association for Computing Machinery. UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology
https://doi.org/10.1145/3472749.3474774
Chakraborty, S., Ganesh, C.
, Pancholi, M. R. & Sarkar, P. (2021).
Reverse Firewalls for Adaptively Secure MPC without Setup. I M. Tibouchi & H. Wang (red.),
Advances in Cryptology – ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II (s. 335-364). Springer. Lecture Notes in Computer Science Bind 13091
https://doi.org/10.1007/978-3-030-92075-3_12
Jensen, A. H., Lauridsen, F.
, Zardbani, F., Idreos, S.
& Karras, P. (2021).
Revisiting Multidimensional Adaptive Indexing [Experiment Analysis]. I Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (red.),
Proceedings of the 24th International Conference on Extending Database Technology, EDBT 2021, Nicosia, Cyprus, March 23 - 26, 2021 (s. 469-474). openproceedings.org.
https://doi.org/10.5441/002/edbt.2021.53
Abate, C.
, Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hritcu, C., Maillard, K.
& Spitters, B. (2021).
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. (s. 397). Cryptology ePrint Archive.
https://eprint.iacr.org/2021/397
Abate, C.
, Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K.
& Spitters, B. (2021).
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. I
2021 IEEE 34th Computer Security Foundations Symposium (CSF) IEEE.
https://doi.org/10.1109/CSF51468.2021.00048
Aranha, D. F., Berndt, S., Eisenbarth, T., Seker, O.
, Takahashi, A., Wilke, L. & Zaverucha, G. (2021).
Side-Channel Protections for Picnic Signatures. Abstract fra Third PQC Standardization Conference, Washington, USA.
Aranha, D. F., Berndt, S., Eisenbarth, T., Seker, O.
, Takahashi, A., Wilke, L. & Zaverucha, G. (2021).
Side-Channel Protections for Picnic Signatures.
IACR Transactions of Cryptographic Hardware and Embedded Systems,
2021(4), 239-282.
https://doi.org/10.46586/tches.v2021.i4.239-282
Abdolmaleki, B.
, Khoshakhlagh, H. & Lipmaa, H. (2021).
Smooth Zero-Knowledge Hash Functions. I A. Adhikari, R. Küsters & B. Preneel (red.),
Progress in Cryptology - INDOCRYPT 2021: 22nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021, Proceedings (s. 510-535). Springer. Lecture Notes in Computer Science Bind 13143
https://doi.org/10.1007/978-3-030-92518-5_23
Agarwal, P., Chatterjee, K., Pathak, S.
, Pavlogiannis, A. & Toman, V. (2021).
Stateless Model Checking Under a Reads-Value-From Equivalence. I A. Silva, K. Rustan & M. Leino (red.),
Computer aided verification, CAV 2021: Proceedings (Bind 1, s. 341-366). Springer. Lecture Notes in Computer Science Bind 12759
https://doi.org/10.1007/978-3-030-81685-8_16
Batziou, E.
, Hansen, K. A. & Høgh, K. (2021).
Strong Approximate Consensus Halving and the Borsuk-Ulam Theorem. I N. Bansal, E. Merelli & J. Worrell (red.),
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (Bind 198, s. 24:1-24:20). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Bind 198
https://doi.org/10.4230/LIPIcs.ICALP.2021.24
Riedel, C., Michael, G. G., Orgel, C.
, Baum, C., van der Bogert, C. H. & Hiesinger, H. (2021).
Studying the Global Spatial Randomness of Impact Craters on Mercury, Venus, and the Moon With Geodesic Neighborhood Relationships.
Journal of Geophysical Research: Planets,
126(3), [e2020JE006693].
https://doi.org/10.1029/2020JE006693
Campanelli, M. & Khoshakhlagh, H. (2021).
Succinct Publicly-Certifiable Proofs: Or, Can a Blockchain Verify a Designated-Verifier Proof? I A. Adhikari, R. Küsters & B. Preneel (red.),
Progress in Cryptology - INDOCRYPT 2021: 22nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021, Proceedings (s. 607-631). Springer. Lecture Notes in Computer Science Bind 13143
https://doi.org/10.1007/978-3-030-92518-5_27
Engelmann, F. T., Müller, L., Peter, A., Kargl, F. & Bösch, C. (2021).
SwapCT: Swap Confidential Transactions for Privacy-Preserving Multi-Token Exchanges.
Proceedings on Privacy Enhancing Technologies,
2021(4), 270-290.
https://doi.org/10.2478/popets-2021-0070
Nayara Ortiz, J., Ricardo de Araujo, R.
, Aranha, D. F., Rodrigues Costa, S. I. & Dahab, R. (2021).
The Ring-LWE Problem in Lattice-based Cryptography: The Case of Twisted Embeddings.
Entropy,
23(9), [1108].
https://doi.org/10.3390/e23091108
Bui, T. L., Chatterjee, K., Gautam, T.
, Pavlogiannis, A. & Toman, V. (2021).
The reads-from equivalence for the TSO and PSO memory models.
Proceedings of the ACM on Programming Languages ,
5(OOPSLA), [164].
https://doi.org/10.1145/3485541
Birkedal, L., Dinsdale-Young, T.
, Guéneau, A., Jaber, G., Svendsen, K. & Tzevelekos, N. (2021).
Theorems for free from separation logic specifications.
Proceedings of the ACM on Programming Languages,
5(ICFP), [81].
https://doi.org/10.1145/3473586
Schäfer, Z., Mathisen, A., Svendsen, K., Engberg, S., Rolighed Thomsen, T. & Kirketerp-Møller, K. (2021).
Toward Machine-Learning-Based Decision Support in Diabetes Care: A Risk Stratification Study on Diabetic Foot Ulcer and Amputation.
Frontiers in medicine,
7, [601602].
https://doi.org/10.3389/fmed.2020.601602
Hubenschmid, S., Zagermann, J., Fink, D., Wieland, J.
, Feuchtner, T. & Reiterer, H. (2021).
Towards Asynchronous Hybrid User Interfaces for Cross-Reality Interaction. I H-C. Jetter, J-H. Schröder, J. Gugenheimer, M. Billinghurst, C. Anthes, M. Khamis & T. Feuchtner (red.),
ISS'21 Workshop Proceedings: Transitional Interfaces in Mixed and Cross-Reality: A new frontier? https://doi.org/10.18148/kops/352-2-84mm0sggczq02
Kaspersen, M. H., Graungaard, D., Bouvin, N. O., Petersen, M. G. & Eriksson, E. (2021).
Towards a model of progression in computational empowerment in education.
International Journal of Child - Computer Interaction,
29, [100302].
https://doi.org/10.1016/j.ijcci.2021.100302
Spies, S., Gäher, L.
, Gratzer, D., Tassarotti, J.
, Krebbers, R., Dreyer, D.
& Birkedal, L. (2021).
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. I S. N. Freund & E. Yahav (red.),
PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 80-95). Association for Computing Machinery.
https://doi.org/10.1145/3453483.3454031
Timany, A., Gregersen, S. O., Stefanesco, L.
, Gondelman, L., Nieto, A.
& Birkedal, L. (2021).
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.