Baum, C., Damgård, I., Lyubashevsky, V.
, Oechsner, S. & Peikert, C. (2018).
More Efficient Commitments from Structured Lattice Assumptions. In D. Catalano & R. De Prisco (Eds.),
Security and Cryptography for Networks - 11th International Conference, SCN 2018, Proceedings (Vol. 11035, pp. 368-385). Springer VS.
https://doi.org/10.1007/978-3-319-98113-0_20
Baum, C., Lin, H.
& Oechsner, S. (2018).
Towards Practical Lattice-Based One-Time Linkable Ring Signatures. In D. Naccache, S. Xu, S. Qing, P. Samarati, G. Blanc, R. Lu, Z. Zhang & A. Meddahi (Eds.),
Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings: ICICS 2018 (Vol. 11149, pp. 303-322). Springer VS.
https://doi.org/10.1007/978-3-030-01950-1_18
Baum, C., Cozzo, D. & P. Smart, N. (2020).
Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. In K. G. Paterson & D. Stebila (Eds.),
Selected Areas in Cryptography – SAC 2019 - 26th International Conference, Revised Selected Papers: 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers (pp. 274-302). Springer.
https://doi.org/10.1007/978-3-030-38471-5_12
Baum, C., Frederiksen, T. K., Hesse, J., Lehmann, A. & Yanai, A. (2020).
Pesto: Proactively secure distributed single sign-on, or how to trust a hacked server. In
Proceedings - 5th IEEE European Symposium on Security and Privacy, Euro S and P 2020 (pp. 587-606). Article 9230400 IEEE.
https://doi.org/10.1109/EuroSP48549.2020.00044
Baum, C., de Saint Guilhem, C. D., Kales, D., Orsini, E.
, Scholl, P. & Zaverucha, G. (2021).
Banquet: Short and Fast Signatures from AES. In J. A. Garay (Ed.),
Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (pp. 266-297). Springer.
https://doi.org/10.1007/978-3-030-75245-3_11
Baum, C., Escudero, D., Pedrouzo-Ulloa, A.
, Scholl, P. & Troncoso-Pastoriza, J. R. (2022).
Efficient protocols for oblivious linear function evaluation from ring-LWE.
Journal of Computer Security,
30(1), 39-78.
https://doi.org/10.3233/JCS-200116
Baum, C., Dittmer, S.
, Scholl, P. & Wang, X. (2023).
Sok: vector OLE-based zero-knowledge protocols.
Designs, Codes, and Cryptography,
91(11), 3527-3561.
https://doi.org/10.1007/s10623-023-01292-8
Baum, C., Braun, L., Delpech de Saint Guilhem, C., Klooß, M., Orsini, E.
, Roy, L. D. & Scholl, P. (2023).
Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures from VOLE-in-the-Head. In H. Handschuh & A. Lysyanskaya (Eds.),
Advances in Cryptology: CRYPTO 2023 (pp. 581-615). Springer.
https://doi.org/10.1007/978-3-031-38554-4_19
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2016).
The HoTT Library: A formalization of homotopy type theory in Coq.
http://arxiv.org/abs/1610.04591
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2017).
The HoTT Library: A Formalization of Homotopy Type Theory in Coq. In Y. Bertot & V. Vafeiadis (Eds.),
CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (pp. 164-172). Association for Computing Machinery.
https://doi.org/10.1145/3018610.3018615
Bates, O.
, Thomas, V., Remy, C., Nathan, L. P., Mann, S. & Friday, A. (2018).
The future of HCI and sustainability: Championing environmental and social justice. In R. Mandryk & M. Hancock (Eds.),
CHI EA '18 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (Vol. 2018-April). Article SIG01 Association for Computing Machinery.
https://doi.org/10.1145/3170427.3185365
Bataillon, T., Mailund, T., Thorlacius, S., Steingrimsson, E., Rafnar, T., Halldorsson, M., Calian, V.
& Schierup, M. H. (2006).
The effective size of the Icelandic population and the prospects for LD mapping: inference from unphased microsatellite markers.
European Journal of Human Genetics,
14, 1044–1053.
https://doi.org/10.1038/sj.ejhg.5201669
Bataillon, T., Duan, J., Hvilsom, C., Jin, X., Li, Y.
, Skov, L., Glemin, S.
, Munch, K., Jiang, T.
, Qian, Y., Hobolth, A., Wang, J.
, Mailund, T., Siegismund, H. R.
& Schierup, M. H. (2015).
Inference of purifying and positive selection in three subspecies of chimpanzees (Pan troglodytes) from exome sequencing.
Genome Biology and Evolution,
7(4), 1122-32.
https://doi.org/10.1093/gbe/evv058
Bassetti, C., Sciannamblo, M.
, Lyle, P., Teli, M., De Paoli, S. & De Angeli, A. (2019).
Co-designing for common values: creating hybrid spaces to nurture autonomous cooperation.
CoDesign,
15(3), 256-271.
https://doi.org/10.1080/15710882.2019.1637897
Barthe, G., Blazy, S., Grégoire, B., Hutin, R., Laporte, V., Pichardie, D.
& Trieu, A. (2020).
Formal Verification of a Constant-Time Preserving C Compiler.
Proceedings of the ACM on Programming Languages ,
4(POPL), Article 7.
https://doi.org/10.1145/3371075
Barrington, D. A. M., Lu, C.-J.
, Miltersen, P. B. & Skyum, S. (1998).
Searching constant width mazes captures the AC0 hierarchy. In M. Morvan, C. Meinel & D. Krob (Eds.),
STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25-27, 1998 Proceedings (pp. 73-83). Springer.
https://doi.org/10.1007/BFb0028550
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).
Barnagaud, J.-Y., Kissling, W. D., Tsirogiannis, C., Fisikopoulos, V., Villeger, S., Sekercioglu, C. H.
& Svenning, J.-C. (2017).
Biogeographical, environmental and anthropogenic determinants of global patterns in bird taxonomic and trait turnover.
Global Ecology and Biogeography,
26(10), 1190-1200.
https://doi.org/10.1111/geb.12629
Bardzell, S.
, Bødker, S., Iversen, O. S., Klokmose, C. N. & Korsgaard, H. (Eds.) (2015).
Critical Alternatives: Proceedings of The Fifth Decennial Aarhus Conference 17- 21 August 2015, Aarhus, Denmark. Department of Computer Science, Aarhus University.
http://cs.au.dk/~hko/Aarhus2015ProceedingsVolumeI.pdf
Bardram, J. E., Bossen, C., Dourish, P. (Ed.), Fitzpatrick, G. (Ed.), Schmidt, K. (Ed.), Kuutti, K. (Ed.) & Karsten, E. H. (Ed.) (2003).
Moving to get aHead: Local Mobility and Collaborative Work. In
ECSCW' 03: Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work (Vol. ECSCW, pp. 355-374). Kluwer Academic Publishers.