Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Damgård, I. B., Faust, S. & Hazay, C. (2011). Secure Two-Party Computation with Low Communication. http://eprint.iacr.org/2011/508

Damgård, I. B., Kölker, J., Faust, S. & Hazay, C. (2012). Secure Two-Party Computation with Low Communication. Lecture Notes in Computer Science, 7194, 54-74 . https://doi.org/10.1007/978-3-642-28914-9_4

Keller, H., Möllering, H., Schneider, T., Tkachenko, O. & Zhao, L. (2024). Secure Noise Sampling for DP in MPC with Finite Precision. I ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security Artikel 25 Association for Computing Machinery. https://doi.org/10.1145/3664476.3664490

Goel, A., Hall-Andersen, M., Hegde, A. & Jain, A. (2022). Secure Multiparty Computation with Free Branching. I O. Dunkelman & S. Dziembowski (red.), Advances in Cryptology – EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings (s. 397-426). Springer. https://doi.org/10.1007/978-3-031-06944-4_14

Braun, L., Damgård, I. B. & Orlandi, C. (2023). Secure Multiparty Computation from Threshold Encryption Based on Class Groups. I H. Handschuh & A. Lysyanskaya (red.), Advances in Cryptology: CRYPTO 2023 (s. 613-645). Springer. https://doi.org/10.1007/978-3-031-38557-5_20

Cramer, R., Damgård, I. B. & Nielsen, J. B. (2015). Secure Multiparty Computation and Secret Sharing. Cambridge University Press.

Choudhury, A., Patra, A., Ashwinkumar, B. V., Srinathan, K. & Pandu Rangan, C. (2011). Secure message transmission in asynchronous networks. Journal of Parallel and Distributed Computing, 71(8), 1067-1074. https://doi.org/10.1016/j.jpdc.2011.03.004

Damgård, I. B., Jakobsen, T. P., Nielsen, J. B. & Pagter, J. I. (2013). Secure Key Management in the Cloud. I M. Stam (red.), Cryptography and Coding: 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings (s. 270-289 ). Springer VS. https://doi.org/10.1007/978-3-642-45239-0_16

Damgård, I. B., Fehr, S., Salvail, L. & Schaffner, C. (2014). Secure identification and QKD in the bounded-quantum-storage model. Theoretical Computer Science, 560(1), 12-26. https://doi.org/10.1016/j.tcs.2014.09.014

Lucani Rötter, D. E., Nielsen, L., Orlandi, C., Pagnin, E. & Vestergaard, R. (2020). Secure generalized deduplication via multi-key revealing encryption. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 298-318). Springer. https://doi.org/10.1007/978-3-030-57990-6_15

Dalskov, A. P. K., Escudero Ospina, D. E. & Keller, M. (2020). Secure Evaluation of Quantized Neural Networks. Proceedings on Privacy Enhancing Technologies, 2020(4), 355-375. https://doi.org/10.2478/popets-2020-0077

Lipmaa, H. & Toft, T. (2013). Secure equality and greater-than tests with sublinear online complexity. I F. V. Fomin , R. Freivalds, M. Kwiatkowska & D. Peleg (red.), Automata, Languages, and Programming: Proceedings, 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Part II (s. 645-656). Springer Publishing Company. https://doi.org/10.1007/978-3-642-39212-2_56

Toft, T. (2011). Secure data structures based on multi-party computation. I Proceedings of the 30th Annual ACM SIGACT-SIGOPS ACM Symposium on Principles of Distributed Computing, PODC 2011 (s. 291-292). Association for Computing Machinery. https://doi.org/10.1145/1993806.1993859

Damgård, I. B., Kölker, J. & Toft, T. (2012). Secure Computation, I/O-Efficient Algorithms and Distributed Signatures. Lecture Notes in Computer Science, 7178, 278-295 . https://doi.org/10.1007/978-3-642-27954-6_18

Zakarias, S. N. H. (2014). Secure Computation in the Preprocessing Model. Department of Computer Science, Aarhus University.

Ghosh, S. (2019). Secure Computation Based On Oblivious Linear Function Evaluation. Århus Universitet.

Damgård, I., Ravi, D., Tschudi, D. & Yakoubov, S. (2023). Secure Communication in Dynamic Incomplete Networks. I K.-M. Chung (red.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (s. 13:1--13:21). Artikel 13 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2023.13

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

Larsen, K. G. & Simkin, M. (2020). Secret sharing lower bound: Either reconstruction is hard or shares are long. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 566-578). Springer. https://doi.org/10.1007/978-3-030-57990-6_28

Damgård, I. B., Kölker, J. & Miltersen, P. B. (2012). Secret Sharing and Secure Computing from Monotone Formulae. http://eprint.iacr.org/2012/536

Nielsen, M., Elmqvist, N. & Grønbæk, K. (2016). Scribble query: fluid touch brushing for multivariate data visualization. I Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (s. 381-390). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010951

Schnell, I. B., Thomsen, P. F., Wilkinson, N., Rasmussen, M., Jensen, L. R. D., Willerslev, E., Bertelsen, M. F. & Gilbert, M. T. P. (2012). Screening mammal biodiversity using DNA from leeches. Current Biology, 22(8), R262-R263. https://doi.org/10.1016/j.cub.2012.02.058

Rasmussen, T. A., Stensgaard, A., Winding, T. & Merritt, T. R. (2021). scrAPP: Enabling Reuse of Scrap Materials with a Smartphone. I Extended Abstracts of MobileHCI 2021 - ACM International Conference on Mobile Human-Computer Interaction: Mobile Apart, Mobile Together (s. 1-6). Artikel 10 Association for Computing Machinery. https://doi.org/10.1145/3447527.3474856

Chillotti, I., Orsini, E., Scholl, P., Smart, N. P. & Leeuwen, B. V. (2022). Scooby: Improved Multi-party Homomorphic Secret Sharing Based on FHE. I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks - 13th International Conference, SCN 2022, Proceedings (s. 540-563). Springer. https://doi.org/10.1007/978-3-031-14791-3_24

Berger, C. P., Lutze, M. C. D., Elmqvist, N., Madsen, M. & Klokmose, C. N. (2024). Scientists and Code: Programming as a Tool. Afhandling præsenteret på PLATEAU, Berkeley, California, USA. https://kilthub.cmu.edu/articles/conference_contribution/Scientists_and_Code_Programming_as_a_Tool/25587726?backTo=/collections/PLATEAU_2024/7093870

Chaugule, P., Kumar, M., Limaye, N., Mohapatra, C. K., She, A. & Srinivasan, S. (2023). Schur Polynomials Do Not Have Small Formulas If the Determinant does not. Computational Complexity, 32(1), Artikel 3. https://doi.org/10.1007/s00037-023-00236-x

Rasmussen, T. A. & Huang, W. (2019). SceneCam: Using AR to improve multi-camera remote collaboration. I SIGGRAPH Asia 2019 XR, SA 2019 (s. 36-37). Association for Computing Machinery. https://doi.org/10.1145/3355355.3361892

Bødker, S. (2000). Scenarios in user-centred design - setting the stage for reflection and action. Interacting with Computers, 13(1), 61-75. https://doi.org/10.1016/S0953-5438(00)00024-2

Bodker, S. (1999). Scenarios in user-centred design - setting the stage for reflection and action. Proceedings of the Hawaii International Conference on System Sciences.

Hohma Ellen.Hohma@Tum.De, E., Frey, C. M. M., Beer, A. & Seidl, T. (2022). SCAR - Spectral Clustering Accelerated and Robustified. Proceedings of the VLDB Endowment, 15(11), 3031-3044. https://doi.org/10.14778/3551793.3551850

Pham, T., Vermeulen, J., Tang, A. & Vermeulen, L. M. (2018). Scale Impacts Elicited Gestures for Manipulating Holograms: Implications for AR Gesture Design. I Companion Publication of the 2019 on Designing Interactive Systems Conference 2019 Companion (2018 udg., s. 227-240). Association for Computing Machinery. https://doi.org/10.1145/3196709.3196719

Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R. (2020). Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris. Proceedings of the ACM on Programming Languages , 4(ICFP), Artikel 114. https://doi.org/10.1145/3408996

Skovsgaard, A., Sidlauskas, D. & Jensen, C. S. (2014). Scalable Top-k Spatio-Temporal Term Querying. ICDE, 148-159. https://doi.org/10.1109/ICDE.2014.6816647

Skovsgaard, A. & Jensen, C. S. (2015). Scalable Spatio-Textual Region Querying in Key-Value Stores. Afhandling præsenteret på ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, Dallas, USA. http://sigspatial2014.sigspatial.org/

Chester, S., Sidlauskas, D., Assent, I. & Bøgh, K. S. (2015). Scalable Parallelization of Skyline Computation for Multi-core Processors. I 31st IEEE International Conference on Data Engineering (ICDE 2015) (s. 1083 - 1094). IEEE Computer Society Press. https://doi.org/10.1109/ICDE.2015.7113358

Son, M. T., Amer-Yahia, S., Assent, I., Birk, M., Storgaard Dieu, M., Jacobsen, J. & Kristensen, J. (2019). Scalable Interactive Dynamic Graph Clustering on Multicore CPUs. IEEE Transactions on Knowledge and Data Engineering, 31(7), 1239-1252. Artikel 8340880. https://doi.org/10.1109/TKDE.2018.2828086

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

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2018). Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity. I G. T. Leavens, A. Garcia & C. S. Păsăreanu (red.), ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering (s. 129-140). Association for Computing Machinery. https://doi.org/10.1145/3236024.3236041

Nielsen, K. & Horst, S. (2017). Sammen om naturvidenskabsstrategien. MONA: Matematik og Naturfagsdidaktik, 2017(03), 61-71. https://tidsskrift.dk/mona/article/download/96861/145618

Blazy, O., Bossuat, A., Bultel, X., Fouque, P. A., Onete, C. & Pagnin, E. (2019). SAID: Reshaping signal into an identity-based asynchronous messaging protocol with authenticated ratcheting. I Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 (s. 294-309). Artikel 8806729 IEEE. https://doi.org/10.1109/EuroSP.2019.00030

Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B., van de Pol, J. & Wimmer, S. (2022). Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (s. 246-268). Springer. https://doi.org/10.1007/978-3-031-19762-8_20

Basile, D., Galletta, L. & Mezzetti, G. (2015). Safe Adaptation Through Implicit Effect Coercion. I C. Bodei, G.-L. Ferrari & C. Priami (red.), Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Bind 9465, s. 122-141). Springer Publishing Company. https://doi.org/10.1007/978-3-319-25527-9_10

Jensen, M. M. & Mueller, F. F. (2014). Running with technology: Where are we heading? I T. Leong (red.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design (s. 527-530). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686696

Ceikute, V. & Jensen, C. S. (2013). Routing Service Quality—Local Driver Behavior Versus Routing Services. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 97 - 106 ). IEEE. https://doi.org/10.1109/MDM.2013.20

Ciampi, M., Ravi, D., Siniscalchi, L. & Waldner, H. (2022). Round-Optimal Multi-party Computation with Identifiable Abort. I O. Dunkelman & S. Dziembowski (red.), Advances in Cryptology – EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 335-364). Springer. https://doi.org/10.1007/978-3-031-06944-4_12

Jensen, E. B. V. & Rasmusson, A. (2014). Rotational integral geometry and local stereology - with a view to image analysis. I V. Schmidt (red.), Stochastic Geometry, Spatial Statistics and Random Fields: Models and Algorithms (s. 233-255). Springer Publishing Company. https://doi.org/10.1007/978-3-319-10064-7_8

Andersen, E. S., Contera, S. A., Knudsen, B., Damgaard, C. K., Besenbacher, F. & Kjems, J. (2004). Role of the trans-activation response element in dimerization of HIV-1 RNA. Journal of Biological Chemistry, 279(21), 22243-22249. https://doi.org/10.1074/jbc.M314326200

Blundo, C., Cimato, S. & Siniscalchi, L. (2022). Role Mining Heuristics for Permission-Role-Usage Cardinality Constraints. The Computer Journal, 65(6), 1386-1411. https://doi.org/10.1093/comjnl/bxaa186

Chen, D., Konrad, C., Yi, K., Yu, W. & Zhang, Q. (2014). Robust set reconciliation. I Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD '14 (s. 135-146). Association for Computing Machinery. https://doi.org/10.1145/2588555.2610528

Petsinis, P., Zhang, K., Pavlogiannis, A., Zhou, J. & Karras, P. (2024). Robust Reward Placement under Uncertainty. I K. Larson (red.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 (s. 6770-6778). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2024/748

Viser resultater 701 til 750 ud af 2925

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series