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

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

Dalskov, A., Lee, E. & Soria-Vazquez, E. (2020). Circuit Amortization Friendly Encodingsand Their Application to Statistically Secure Multiparty Computation. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings (s. 213-243). Springer. https://doi.org/10.1007/978-3-030-64840-4_8

Dalskov, A. P. K., Escudero Ospina, D. E. & Keller, M. (2021). Fantastic Four: Honest-Majority Four-Party Secure Computation With Malicious Security. I Proceedings of the 30th USENIX Security Symposium (s. 2183-2200). USENIX - The Advanced Computing Systems Association.

Dalskov, A. P. K. & Escudero Ospina, D. E. (2021). Honest Majority MPC with Abort with Minimal Online Communication. I P. Longa & C. Ràfols (red.), Progress in Cryptology – LATINCRYPT 2021 - 7th International Conference on Cryptology and Information Security in Latin America, Proceedings: 7th International Conference on Cryptology and Information Security in Latin America, Bogotá, Colombia, October 6–8, 2021, Proceedings (s. 453-472). Springer. https://doi.org/10.1007/978-3-030-88238-9_22

Dalskov, A. P. K. (2020). Cats or Croissants? Techniques for Secure Inference. Århus Universitet.

Dalsgaard, B., Magård, E., Fjeldså, J., Martín González, A. M., Rahbek, C., Olesen, J. M., Ollerton, J., Alarcón, R., Cardoso Araujo, A., A. Cotton, P., Lara, C., Graco Machado, C., Sazima, I., Sazima, M., Timmermann, A., Watts, S., Sandel, B. S., J. Sutherland, W. & Svenning, J.-C. (2011). Specialization in Plant-Hummingbird Networks Is Associated with Species Richness, Contemporary Precipitation and Quaternary Climate-Change Velocity. P L o S One, 6(10). https://doi.org/10.1371/journal.pone.0025891

Dalsgaard, P., Halskov, K. & Klokmose, C. N. (2013). The interplay between personal and collaborative computing at big wall displays. I M. Rester, P. Judmaier, T. De Groeve & A. Annunziato (red.), Collaborative Human-Computer Interaction with Big Wall Displays - BigWallHCI 2013 3rd JRC ECML Crisis Management Technology Workshop: 3rd JRC ECML Crisis Management Technology Workshop Publications office of the European Union. http://lunar.jrc.it/critech/Home/tabid/36/Default.aspx

Dalsgaard, P., Halskov, K. & Klokmose, C. N. (2013). Blended Interaction Spaces for Collaborative Design. Afhandling præsenteret på CHI Workshop , Paris, Frankrig. http://hci.uni-konstanz.de/downloads/blend13_dalsgaard.pdf

Dalsgaard, P., Pedersen, B. P., Dimke, H., Møller, N. M., Normand, S., Bjørk, R., Bille, M. & Larsen, K. G. (2018). Opholdskrav i skatteaftale hæmmer dansk forskning. Politiken, (Sektion 2 (Kultur)), 7.

Dalsgaard, P. & Eriksson, E. (2013). Large-scale participation: A case study of a participatory approach to developing a new public library. I CHI 2013: Changing Perspectives, Conference Proceedings - The 31st Annual CHI Conference on Human Factors in Computing Systems (s. 399-408) https://doi.org/10.1145/2470654.2470713

Dallant, J. & Iacono, J. (2025). Conditional Lower Bounds for Dynamic Geometric Measure Problems. ACM Transactions on Algorithms, 21(2), Artikel 23. https://doi.org/10.1145/3727878

Dalgaard, L. G., Grönvall, E. & Verdezoto, N. (2013). Accounting for Medication Particularities: Designing for Everyday Medication Management. I V. Osman, A. Campbell & P. Lukowicz (red.), The 7th International Conference on Pervasive Computing Technologies for Healthcare (s. 137-144). IEEE. https://doi.org/10.4108/pervasivehealth.2013.252058

Dalgaard, L. G., Grönvall, E. & Verdezoto, N. (2013). MediFrame: A Tablet Application to Plan, Inform, Remind and Sustain Older Adults Medication Intake. I IEEE International Conference on Healthcare Informatics, IEEE ICHI 2013 (s. 36-45). IEEE. https://doi.org/10.1109/ICHI.2013.12

Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & de Pol, J. V. (2024). On-The-Fly Algorithm for Reachability in Parametric Timed Games. I B. Finkbeiner & L. Kovács (red.), Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings (s. 194-212). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-57256-2_10

Dahl, M., Ning, C. & Toft, T. (2012). On Secure Two-Party Integer Division. Lecture Notes in Computer Science, 7397, 164-178 . https://doi.org/10.1007/978-3-642-32946-3_13

Dahl, M. & Damgård, I. B. (2013). Universally Composable Symbolic Analysis for Two-Party Protocols based on Homomorphic Encryption. Cryptology ePrint Archive. http://eprint.iacr.org/2013/296.pdf

Dahl, M. & Damgård, I. B. (2014). Universally composable symbolic analysis for two-party protocols based on homomorphic encryption. I P. Q. Nguyen & E. Oswald (red.), Advances in Cryptology – EUROCRYPT 2014: 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings (s. 695-712). Springer VS. https://doi.org/10.1007/978-3-642-55220-5_38

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J. & Corredig, M. (2024). Small and large deformation rheology on pizza cheese as an example of application to study anisotropic properties of food soft materials. Food Hydrocolloids, 148(Part A), Artikel 109456. https://doi.org/10.1016/j.foodhyd.2023.109456

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Sode, L., Madsen, J. & Corredig, M. (2024). Characterization of high protein anisotropic structures using Rheological fingerprint by large-deformation Lissajous curves. Science Talks, 9, Artikel 100283. https://doi.org/10.1016/j.sctalk.2023.100283

Dahl, L., Jensen, T. H., Gottschalck, E., Karlskov-Mortensen, P., Jensen, T. D., Nielsen, L., Andersen, M. K., Buckland, R., Wild, T. F. & Blixenkrone-Møller, M. (2004). Immunization with plasmid DNA encoding the hemagglutinin and the nucleoprotein confers robust protection against a lethal canine distemper virus challenge. Vaccine, 22(27-28), 3642-3648. https://doi.org/10.1016/j.vaccine.2004.03.016

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J. & Corredig, M. (2023). Novel Visual Exploration of Large Amplitude Oscillatory Shear (LAOS) Rheology on Soft Food Materials. Abstract fra Nordic Rheology Conference 2023, Aarhus, Danmark.

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Madsen, J., Sode, L. & Corredig, M. (2022). New methodological approaches to study anisotropic structures in foods. Abstract fra 36th EFFoST International Conference, Dublin.

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Madsen, J., Sode, L. & Corredig, M. (2022). Multiple techniques to characterize high protein anisotropic structures. Abstract fra 5th Food Structure and Functionality Symposium, Cork, Irland.

Dahl, M. (2013). Symbolic Analysis of Cryptographic Protocols: Models, Methods, and Soundness. Department of Computer Science, Aarhus University.

Dagdelen, Ö., Mohassel, P. & Venturi, D. (2013). Rate-limited secure function evaluation: Definitions and constructions. I K. Kurosawa & G. Hanaoka (red.), Public-Key Cryptography – PKC 2013: 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings (Bind 7778 LNCS, s. 461-478). Springer VS. https://doi.org/10.1007/978-3-642-36362-7_28

da Cunha, A., Høgsgaard, M. M. & Larsen, K. G. (2024). Optimal Parallelization of Boosting. Abstract fra NeurIPS'24: 38th Conference on Neural Information Processing Systems, Vancouver, Canada.

da Cunha, A., Larsen, K. G. & Ritzert, M. (2025). Boosting, Voting Classifiers and Randomized Sample Compression Schemes. I G. Kamath & P. L. Loh (red.), Proceedings of Machine Learning Research (Bind 272, s. 390-404). MLResearch Press.

Cuzzocrea, A., Karras, P. & Vlachou, A. (2022). Effective and efficient skyline query processing over attribute-order-preserving-free encrypted data in cloud-enabled databases. Future Generation Computer Systems, 126, 237-251. https://doi.org/10.1016/j.future.2021.08.008

Curticapean, R., Limaye, N. & Srinivasan, S. (2022). On the VNP-Hardness of Some Monomial Symmetric Polynomials. I A. Dawar & V. Guruswami (red.), 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022 Artikel 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.16

Cujia, K., Wirz, M., Kjærgaard, M. B., Roggen, D. & Tröster, G. (2012). DactyLoc : A minimally geo-referenced WiFi+GSM-fingerprint-based localization method for positioning in urban spaces. I C. Rizos, A. Dempster, B. Li & T. Gallagher (red.), Proceedings of the 3rd International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2012 (s. 1-9). IEEE. https://doi.org/10.1109/IPIN.2012.6418923

Cramer, R., Damgård, I. B., Kiltz, E., Zakarias, S. N. H. & Zottarel, A. (2011). DDH-like Assumptions Based on Extension Rings. http://eprint.iacr.org/2011/280

Cramer, R., Damgård, I. B. & Pastro, V. (2011). On the Amortized Complexity of Zero Knowledge Protocols for Multiplicative Relations. http://eprint.iacr.org/2011/301

Cramer, R., Damgård, I. B. & Pastro, V. (2012). On the Amortized Complexity of Zero Knowledge Protocols for Multiplicative Relations. Lecture Notes in Computer Science, 7412, 62-79 . https://doi.org/10.1007/978-3-642-32284-6_4

Cramer, R., Damgård, I. B., Kiltz, E., Zakarias, S. N. H. & Zottarel, A. (2012). DDH-Like Assumptions Based on Extension Rings. Lecture Notes in Computer Science, 7293, 644-661 . https://doi.org/10.1007/978-3-642-30057-8_38

Cramer, R., Damgård, I. B. & Keller, M. (2014). On the Amortized Complexity of Zero-Knowledge Protocols. Journal of Cryptology, 27(2), 284-316. https://doi.org/10.1007/s00145-013-9145-x

Cramer, R., Damgård, I. B., Döttling, N. M., Fehr, S. & Spini, G. (2015). Linear secret sharing schemes from error correcting codes and universal hash functions. I E. Oswald & M. F. Fischlin (red.), Advances in Cryptology - EUROCRYPT 2015: 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II (s. 313-336). Springer VS. https://doi.org/10.1007/978-3-662-46803-6_11

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

Cramer, R., Damgård, I. B., Döttling, N., Giacomelli, I. & Xing, C. (2016). Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. (s. 1-31). Cryptology ePrint Archive. http://ia.cr/2016/397

Cramer, R., Damgård, I., Xing, C. & Yuan, C. (2017). Amortized complexity of zero-knowledge proofs revisited: Achieving linear soundness slack. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Bind 10210, s. 479-500). Springer VS. https://doi.org/10.1007/978-3-319-56620-7_17

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. I J. Shikata (red.), Information Theoretic Security - 10th International Conference, ICITS 2017, Proceedings (Bind 10681, s. 1-25). Springer VS. https://doi.org/10.1007/978-3-319-72089-0_1

Cramer, R., Damgård, I., Escudero, D., Scholl, P. & Xing, C. (2018). SPDΖ₂k: Efficient MPC mod 2^k for Dishonest Majority. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology - CRYPTO 2018 (Bind 10992, s. 769-798). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_26

Cozza, V., Messina, A., Montesi, D., Arietta, L. & Magnani, M. (2013). Spatio-temporal keyword queries in social networks. I B. Catania, G. Guerrini & J. Pokorný (red.), Advances in Databases and Information Systems: 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings (s. 70-83). Springer Publishing Company. https://doi.org/10.1007/978-3-642-40683-6_6

Couteau, G., Bui, D. & Melissaris Papanikolaou, N. (2024). Structured-Seed Local Pseudorandom Generators and their Applications. https://eprint.iacr.org/2024/1027

Corry, A. V. & Søndergaard, B. D. (2011). The Teaching Portfolio. Developing Good Teachers and Scientists, 1.

Coron, J.-S. & Nielsen, J. B. (red.) (2017). Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I (Bind 10210). Springer VS. https://doi.org/10.1007/978-3-319-56620-7

Coron, J.-S. & Nielsen, J. B. (red.) (2017). Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II (Bind 10211). Springer VS. https://doi.org/10.1007/978-3-319-56614-6

Coron, J.-S. & Nielsen, J. B. (red.) (2017). Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III (Bind 10212). Springer VS. https://doi.org/10.1007/978-3-319-56617-7

Constantin-Sukul, L. R. J., Ø. Gammelgaard, R., Henriksen, A. & Aranha, D. F. (2025). Key recovery on static Kyber based on transient execution attacks. I Proceedings of the 1st Microarchitecture Security Conference https://doi.org/10.46586/uasc.2025.006

Conrado, G. K. & Pavlogiannis, A. (2024). A Better Approximation for Interleaved Dyck Reachability. I SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (s. 18-25). Association for Computing Machinery. https://doi.org/10.1145/3652588.3663318

Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A. (2025). Program Analysis via Multiple Context Free Language Reachability. Proceedings of the ACM on Programming Languages , 9, Artikel 18. https://doi.org/10.1145/3704854

Viser resultater 2051 til 2100 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series