Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Cramer, R., Damgård, I., Döttling, N., Giacomelli, I. & Xing, C. (2017). Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. In J. Shikata (Ed.), Information Theoretic Security - 10th International Conference, ICITS 2017, Proceedings (Vol. 10681, pp. 1-25). Springer VS. Lecture Notes in Computer Science, Vol.. 10681 https://doi.org/10.1007/978-3-319-72089-0_1

Hazay, C., Scholl, P. & Soria-Vazquez, E. (2017). Low cost constant round MPC combining BMR and oblivious transfer. In T. Takagi & T. Peyrin (Eds.), Advances in Cryptology – ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings (Vol. 10624, pp. 598-628). Springer VS. Lecture Notes in Computer Science, Vol.. 10624 https://doi.org/10.1007/978-3-319-70694-8_21

Ghosh, S., Nielsen, J. B. & Nilges, T. (2017). Maliciously Secure Oblivious Linear Function Evaluation with Constant Overhead. In T. Takagi & T. Peyrin (Eds.), Advances in Cryptology -- ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I (Vol. 10624, pp. 629-659). Cham: Springer VS. Lecture Notes in Computer Science, Vol.. 10624 https://doi.org/10.1007/978-3-319-70694-8_22

Bødker, S. (2017). Meaning and Ubiquitous Technologies. In S. Diniz Junqueira Barbosa & K. Breitman (Eds.), Conversations Around Semiotic Engineering (pp. 13-20). Cham: Springer VS. https://doi.org/10.1007/978-3-319-56291-9_3

Fender, A. R., Benko, H. & Wilson, A. (2017). MeetAlive: Room-Scale Omni-Directional Display System for Multi-User Content and Control Sharing. In Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 (pp. 106-115). New York, NY, USA: Association for Computing Machinery. ISS '17 https://doi.org/10.1145/3132272.3134117

Ernst, E., Møller, A., Schwarz, M. & Strocco, F. (2017). Message safety in Dart. Science of Computer Programming, 133/1(1), 51-73. https://doi.org/10.1016/j.scico.2016.06.006

Skov, L. (2017). Methods for analyzing genetic variation in modern and archaic humans.

Rijke, E., Shulman, M. & Spitters, B. (2017, Jun 27). Modalities in homotopy type theory.

Lehmann, A. (2017). Modelling Emission of Pollutants from transportation using mobile sensing data: Advancing modelling of street level pollution and climate forcing gas emissions. Aarhus Universitet.

Van Goethem, A., Staals, F., Löffler, M., Dykes, J. & Speckmann, B. (2017). Multi-Granular Trend Detection for Time-Series Analysis. IEEE Transactions on Visualization and Computer Graphics, 23(1), 661-670. [7536203]. https://doi.org/10.1109/TVCG.2016.2598619

Giacomelli, I. (2017). New Applications of Secret-Sharing in Cryptography. Aarhus Universitet.

Faonio, A. & Nielsen, J. B. (2017). Non-malleable Codes with Split-State Refresh. In S. Fehr (Ed.), Public-Key Cryptography -- PKC 2017 (pp. 279-309). Berlin, Heidelberg: Springer VS. Lecture Notes in Computer Science, Vol.. 10174 https://doi.org/10.1007/978-3-662-54365-8_12

Østerby, O. (2017). On Saulyev's Methods. In DAIMI Report Series (Vol. 599, pp. 1-11). Aarhus: Aarhus Universitet. D A I M I P B, No. 599 https://doi.org/10.7146/dpb.v43i599.26410

Freksen, C. B. & Larsen, K. G. (2017). On Using Toeplitz and Circulant Matrices for Johnson-Lindenstrauss Transforms. In O. Yoshio & T. Tokuyama (Eds.), 28th International Symposium on Algorithms and Computation (ISAAC 2017) (pp. 32:1-32:12). [32] Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, Vol.. 92 https://doi.org/10.4230/LIPIcs.ISAAC.2017.32

Polychroniadou, A. (2017). On the Communication and Round Complexity of Secure Computation. Denmark: Department of Computer Science, University of Aarhus.

Dowsley, R. & Nascimento, A. C. A. (2017). On the Oblivious Transfer Capacity of Generalized Erasure Channels Against Malicious Adversaries: The Case of Low Erasure Probability. IEEE Transactions on Information Theory, 63(10), 6819-6826. [8000673]. https://doi.org/10.1109/TIT.2017.2735423

Nielsen, J. B. & Ranellucci, S. (2017). On the computational overhead of MPC with dishonest majority. In S. Fehr (Ed.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (Vol. 10175, pp. 369-395). Berlin Heidelberg: Springer VS. Lecture Notes in Computer Science, Vol.. 10175 https://doi.org/10.1007/978-3-662-54388-7_13

Houben, S., Marquardt, N., Vermeulen, J. K., Klokmose, C. N., Schöning, J., Reiterer, H. & Holz, C. (2017). Opportunities and challenges for cross-device interactions in the wild. interactions, 24(5), 58-63. https://doi.org/10.1145/3121348

Larsen, K. G. & Nelson, J. (2017). Optimality of the Johnson-Lindenstrauss Lemma. In 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) (pp. 633-638). [8104096] https://doi.org/10.1109/FOCS.2017.64

Bøgh, K. S. (2017). Parallel algorithms for skyline and skycube computation on multicore CPUs and GPUs.

Afshani, P. & Van Duijn, I. (2017). Permuting and batched geometric lower bounds in the I/O model. In K. Pruhs & C. Sohler (Eds.), 25th European Symposium on Algorithms, ESA 2017 (Vol. 87, pp. 2:1-2:13). [2] Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, Vol.. 87 https://doi.org/10.4230/LIPIcs.ESA.2017.2

Chase, M., Derler, D., Goldfeder, S., Orlandi, C., Ramacher, S., Rechberger, C. ... Zaverucha, G. (2017). Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives. In CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (pp. 1825-1842). New York, NY, USA: Association for Computing Machinery. CCS '17 https://doi.org/10.1145/3133956.3133997

Adamsen, C. Q., Møller, A. & Tip, F. (2017). Practical Initialization Race Detection for JavaScript Web Applications. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 66:1-66:22. [66]. https://doi.org/10.1145/3133890

Faonio, A., Nielsen, J. B. & Venturi, D. (2017). Predictable arguments of knowledge. In S. Fehr (Ed.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (Vol. 10174, pp. 121-150). Springer VS. Lecture Notes in Computer Science, Vol.. 10174 https://doi.org/10.1007/978-3-662-54365-8_6

Du, X., Ooi, B. C., Özsu, M. T., Cui, B., Chen, L., Jensen, C. S. & Shahabi, C. (2017). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10367 LNCS, V-VI. https://doi.org/10.1007/978-3-319-63564-4

Hallgren, P. A., Orlandi, C. & Sabelfeld, A. (2017). PrivatePool: Privacy-Preserving Ridesharing. In 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017 (pp. 276-291). IEEE Press. https://doi.org/10.1109/CSF.2017.24

Rasmussen, T. A. & Merritt, T. R. (2017). Projectables. In S. M.A., R. A., J. P. & L. P. (Eds.), CAADRIA 2017 - 22nd International Conference on Computer-Aided Architectural Design Research in Asia: Protocols, Flows and Glitches (pp. 757-766). The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA).

Karbyshev, A., Bjørner, N., Itzhaky, S., Rinetzky, N. & Shoham, S. (2017). Property-directed inference of universal invariants or proving their absence. Journal of the ACM, 64(1), 7:1-7:33. [7]. https://doi.org/10.1145/3022187

Grønbæk, J. E., Korsgaard, H., Petersen, M. G., Henriksen Birk, M. & Krogh, P. G. (2017). Proxemic Transitions: Designing Shape-Changing Furniture for Informal Meetings. In Proceedings of CHI '17

Midtgaard, J. & Møller, A. (2017). QuickChecking static analysis properties. Software Testing, Verification and Reliability, 27(6), [e1640]. https://doi.org/10.1002/stvr.1640

Jensen, J. M. (2017). Reference free phasing and representation of complex variation.

Brueggemann, M. J., Strohmayer, A., Marshall, M., Birbeck, N. & Thomas, V. (2017). Reflexive Practices for the Future of Design Education: An Exercise in Ethno-Empathy. Information Design Journal, 20(sup1), S1260-S1269. https://doi.org/10.1080/14606925.2017.1352655

Degano, P., Ferrari, G-L. & Mezzetti, G. (2017). Regular and context-free nominal traces. Acta Informatica, 54(4), 399-433. https://doi.org/10.1007/s00236-016-0261-6

Obremski, M. & Skorski, M. (2017). Renyi Entropy Estimation Revisited. In J. D. P. Rolim, K. Jansen, D. P. Williamson & S. S. Vempala (Eds.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 20th International Workshop, APPROX 2017 and 21st International Workshop, RANDOM 2017 (Vol. 81, pp. 20:1-20:15). [20] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 81 https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20

Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K. (2017). Repairing Event Race Errors by Controlling Nondeterminism. In Proceedings of the 39th International Conference on Software Engineering (pp. 289-299). Piscataway, NJ, USA: IEEE Press. ICSE '17 https://doi.org/10.1109/ICSE.2017.34

Cascudo, I., Damgård, I., Farràs, O. & Ranellucci, S. (2017). Resource-Efficient OT Combiners with Active Security. In Y. Kalai & L. Reyzin (Eds.), Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Vol. 10678, pp. 461-486). Springer VS. Lecture Notes in Computer Science, Vol.. 10678 https://doi.org/10.1007/978-3-319-70503-3_15

Haagh, H., Ji, Y., Li, C., Orlandi, C. & Song, Y. (2017). Revealing Encryption for Partial Ordering. In M. O’Neill (Ed.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (pp. 3-22). Cham: Springer VS. Lecture Notes in Computer Science, Vol.. 10655 https://doi.org/10.1007/978-3-319-71045-7_1

Nielsen, K. & Horst, S. (2017). Sammen om naturvidenskabsstrategien. MONA: Matematik og Naturfagsdidaktik, 2017(03), 61-71.

Mai, S. T., Dieu, M. S., Assent, I., Jacobsen, J., Kristensen, J. & Birk, M. (2017). Scalable and interactive graph clustering algorithm on multicore CPUs. In 2017 IEEE 33rd International Conference on Data Engineering (ICDE) (pp. 349-360). IEEE Computer Society Press. Proceedings of the International Conference on Data Engineering https://doi.org/10.1109/ICDE.2017.94

Applebaum, B., Damgård, I., Ishai, Y., Nielsen, M. & Zichron, L. (2017). Secure Arithmetic Computation with Constant Computational Overhead. In H. Shacham & J. Katz (Eds.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 223-254). Springer VS. Lecture Notes in Computer Science, Vol.. 10401 https://doi.org/10.1007/978-3-319-63688-7_8

Farshim, P., Orlandi, C. & Rosie, R. (2017). Security of Symmetric Primitives under Incorrect Usage of Keys. IACR Trans. Symmetric Cryptol., 2017(1), 449-473. https://doi.org/10.13154/tosc.v2017.i1.449-473

Krogh, P. G., Petersen, M. G., O'Hara, K. & Grønbæk, J. E. (2017). Sensitizing Concepts for Socio-Spatial Literacy in HCI. In Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems : CHI '17 (pp. 6449-6460). New York, NY, USA: Association for Computing Machinery. Proceedings of CHI'17 https://doi.org/10.1145/3025453.3025756

McMillan, D., Brown, B., Lampinen, A., McGregor, M., Hoggan, E. & Pizza, S. (2017). Situating Wearables: Smartwatch Use in Context. In CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 3582-3594). New York, NY, USA : Association for Computing Machinery. CHI '17 https://doi.org/10.1145/3025453.3025993

Qi, S., Sacharidis, D., Bouros, P. & Mamoulis, N. (2017). Snapshot and Continuous Points-based Trajectory Search. Geoinformatica, 21(4), 669-701. https://doi.org/10.1007/s10707-016-0267-9

Höök, K., Hummels, C., Isbister, K., Marti, P., Márquez Segura, E., Jonsson, M. ... Lim, Y. (2017). Soma-Based Design Theory. In CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 550-557). New York, NY, USA: Association for Computing Machinery. CHI EA '17 https://doi.org/10.1145/3027063.3027082

Rindal, P. & Trifiletti, R. (2017, May 10). SplitCommit: Implementing and Analyzing Homomorphic UC Commitments. Cryptology ePrint Archive.

Chatterjee, K., Hansen, K. A. & Ibsen-Jensen, R. (2017). Strategy Complexity of Concurrent Safety Games. In K. G. Larsen, H. L. Bodlaender & J-F. Raskin (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (Vol. 83, pp. 55:1-55:13). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, No. 83 https://doi.org/10.4230/LIPIcs.MFCS.2017.55

Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T. & Jensen, M. M. (2017). Strive: Exploring Assistive Haptic Feedback on the Run. In M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (Eds.), Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (pp. 275-284). New York, NY, USA: Association for Computing Machinery. OZCHI '17 https://doi.org/10.1145/3152771.3152801

Andreasen, E. S., Møller, A. & Nielsen, B. B. (2017). Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. In K. Ali & C. Cifuentes (Eds.), Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis (pp. 31-36). New York, NY, USA: Association for Computing Machinery. SOAP 2017 https://doi.org/10.1145/3088515.3088521

Christensen, H. B. (2017). Systematic Testing: Preprint of Chapter 34 of "Flexible, Reliable Software" 2nd Edition.

Displaying results 301 to 350 out of 4433

Comments on content:

Marianne Dammand Iversen

Revised 13.09.2019

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University