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

Aranha, D. F., Baum, C., Gjøsteen, K. & Silde, T. (2023). Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. I CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 1467-1481). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616683

Ateniese, G., Chen, L., Francati, D., Papadopoulos, D. & Tang, Q. (2023). Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting). I A. Boldyreva & V. Kolesnikov (red.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part II (s. 63-93). Springer. https://doi.org/10.1007/978-3-031-31371-4_3

Sidenmark, L., Clarke, C., Newn, J., Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (2023). Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 257 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580685

Fender, A. & Müller, J. (2018). Velt: A Framework for Multi RGB-D Camera Systems. I Proceedings of the 2018 ACM International Conference on Interactive Surfaces and Spaces (s. 73-83). Association for Computing Machinery. https://doi.org/10.1145/3279778.3279794

Campanelli, M. & Hall-Andersen, M. (2022). Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets fromWell-Studied Assumptions. I ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (s. 652-666). Association for Computing Machinery. https://doi.org/10.1145/3488932.3517424

Ceikute, V. & Jensen, C. S. (2013). Vehicle Routing With User Generated Trajectory Data. http://www.sciencegate.ch/. http://nelanth.cvt.dk/cgi-bin/das-oai/ddf

Attema, T., Cascudo, I., Cramer, R., Damgård, I. & Escudero, D. (2022). Vector Commitments over Rings and Compressed Σ -Protocols. I E. Kiltz & V. Vaikuntanathan (red.), Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (Bind Part 1, s. 173-202). Springer. https://doi.org/10.1007/978-3-031-22318-1_7

Borowski, M., Murray, L., Bagge, R., Kristensen, J. B., Satyanarayan, A. & Klokmose, C. N. (2022). Varv: Reprogrammable Interactive Software as a Declarative Data Structure. I CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 492 Association for Computing Machinery. https://doi.org/10.1145/3491102.3502064

Jørgensen, J. B., Knudsen, B., Sloth, L., Vase, J. R. & Christensen, H. B. (2016). Variability Handling for Mobile Banking Apps on iOS and Android. I Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (s. 283-286). Artikel 7516847 IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2016.29

Bhandari, S., Harsha, P., Saptharishi, R. & Srinivasan, S. (2022). Vanishing Spaces of Random Sets and Applications to Reed-Muller Codes. I S. Lovett (red.), 37th Computational Complexity Conference, CCC 2022 Artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CCC.2022.31

Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. I making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (s. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445

Nielsen, B. B. & Møller, A. (2020). Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. I 34th European Conference on Object-Oriented Programming, ECOOP 2020 Artikel 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2020.16

Shaik, I., Heisinger, M., Seidl, M. & Pol, J. V. D. (2023). Validation of QBF Encodings with Winning Strategies. Leibniz International Proceedings in Informatics, 271. https://doi.org/10.4230/LIPIcs.SAT.2023.24

Winge, K., Haugaard, R. & Merritt, T. R. (2014). VAL: Visually Augmented Laser cutting to enhance and support creativity. I IEEE International Symposium on Mixed and Augmented Reality - Media, Arts, Social Science, Humanities and Design, ISMAR 2014, Proceedings (s. 31-34). Artikel 6935435 IEEE. https://doi.org/10.1109/ISMAR-AMH.2014.6935435

Baum, C., Cozzo, D. & P. Smart, N. (2020). Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. I K. G. Paterson & D. Stebila (red.), 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 (s. 274-302). Springer. https://doi.org/10.1007/978-3-030-38471-5_12

Simonsen, M., Sand, A., Mailund, T. & Pedersen, C. N. S. (2010). Using the Power of Modern Processors in Bioformatics. Poster-session præsenteret på Conference on IT research at AU, Århus, Danmark.

Madsen, O. L. & Møller-Pedersen, B. (2022). Using supplementary properties to reduce the need for documentation. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings: Software Engineering (s. 35-59). Springer. https://doi.org/10.1007/978-3-031-19756-7_4

Christensen, H. B. (2022). Using Students’ Screencasts as Alternative to Written Submissions. I Proceedings of the 55th Hawaii International Conference on System Sciences (s. 881-889). University of Hawai'i at Manoa . http://hdl.handle.net/10125/79440

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere, 2(2), 1-16.

Madsen, O. L. (2023). Using Object-Sequence Diagrams for Debugging. I E. Gonzalez Boix & C. Scholliers (red.), DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques (s. 11-22). Association for Computing Machinery. https://doi.org/10.1145/3605155.3605864

Bødker, S. (2015). Using IT to ‘do good’ in communities? Journal of Community Informatics, 11(2). http://www.ci-journal.net/index.php/ciej/article/view/1151

Yang, B., Kaul, M. & Jensen, C. S. (2014). Using Incomplete Information for Complete Weight Annotation of Road Networks. I E E E Transactions on Knowledge & Data Engineering, 26(5), 1267-1279. https://doi.org/10.1109/TKDE.2013.89

Andersen, M. S., Kjærgaard, M. B. & Grønbæk, K. (2012). Using Extracted Behavioral Features to Improve Privacy for Shared Route Tracks. I A. U. Schmidt, G. Russello, I. Krontiris & S. Lian (red.), Security and Privacy in Mobile Information and Communication Systems : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers (s. 107-118). Springer. https://doi.org/10.1007/978-3-642-33392-7_12

Lehmann, A. & Gross, A. (2016). Using Crowd Sensed Data as Input to Congestion Model. I 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016: The Third International Workshop on Crowd Assisted Sensing Pervasive Systems and Communications Artikel 7457105 IEEE Press. https://doi.org/10.1109/PERCOMW.2016.7457105

Čermák, J., Bosansky, B., Durkota, K., Lisý, V. & Kiekintveld, C. (2016). Using correlated strategies for computing stackelberg equilibria in extensive-form games. I 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (s. 439-445). AAAI Press. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85007242893&partnerID=40&md5=d6d209b2094ebcd4dd19608badb7e971

Madsen, O. L. (2021). Using Coroutines for Multi-core Preemptive Scheduling. I Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21) (s. 46-52). Association for Computing Machinery. https://doi.org/10.1145/3477113.3487271

Mailund, T., Halager, A. E. & Westergaard, M. (2012). Using colored Petri nets to construct coalescent hidden markov models: Automatic translation from demographic specifications to efficient inference methods. Lecture Notes in Computer Science, 7347, 32-50. https://doi.org/10.1007/978-3-642-31131-4_3

Radaelli, L., Moses, Y. & Jensen, C. S. (2014). Using cameras to improve Wi-Fi based indoor positioning. I D. Pfoser & K.-J. Li (red.), Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings (s. 166-183). Springer VS. https://doi.org/10.1007/978-3-642-55334-9-11

Enni, S. & Assent, I. (2018). Using Balancing Terms to Avoid Discrimination in Classification. I 2018 IEEE International Conference on Data Mining, ICDM 2018 (s. 947-952). Artikel 8594925 IEEE Press. https://doi.org/10.1109/ICDM.2018.00116

Kennepohl, D., Guay, M. & Thomas, V. (2010). Using an Online, Self-Diagnostic Test for Introductory General Chemistry at an Open University. Journal of Chemical Education, 87(11), 1273-1277. https://doi.org/10.1021/ed900031p

Eerikson, H., Keller, M., Orlandi, C., Pullonen, P., Puura, J. & Simkin, M. (2020). Use your brain! Arithmetic 3PC for any modulus with active security. I Y. T. Kalai, A. D. Smith & D. Wichs (red.), 1st Conference on Information-Theoretic Cryptography (ITC 2020) Artikel 5 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2020.5

Seinfeld, S., Feuchtner, T., Maselli, A. & Müller, J. (2021). User Representations in Human-Computer Interaction. Human-Computer Interaction, 36(5-6), 400-438. https://doi.org/10.1080/07370024.2020.1724790

Kingo, T. & Aranha, D. F. (2023). User-centric security analysis of MitID: the Danish passwordless digital identity solution. Computers & Security, 132, Artikel 103376. https://doi.org/10.1016/j.cose.2023.103376

Britz, D. H., Strutwolf, J. & Østerby, O. (2017). Use of the Saul’yev method for the digital simulation of chronoamperometry and linear sweep voltammetry at the ultramicrodisk electrode. Electrochimica Acta, 258, 17-23. https://doi.org/10.1016/j.electacta.2017.10.089

Bødker, S. (2011). Use is everywhere and changing: Analysis and design with the Human-Artifact Model. I Proceedings of the 29th Annual European Conference on Cognitive Ergonomics (s. 3-10). Association for Computing Machinery. https://doi.org/10.1145/2074712.2074714

Hansen, F. A. & Grønbæk, K. (2010). Urbanweb: A platform for mobile, context-aware web services. I Mobile Web 2.0: Developing and Delivering Services to Mobile Devices (s. 137-162). CRC Press. https://doi.org/10.1201/b10445

Brynskov, M., Bermúdez, J. C. C., Fernández, M., Korsgaard, H., Mulder, I., Piskorek, K., Rekow, L. & de Waal, M. (2014). Urban Interaction Design: Towards City Making. Urban IxD Booksprint. http://static1.squarespace.com/static/50f5c859e4b083caad2ed6a0/t/5395d6a5e4b0fc0456d8d5a3/1402328741769/UrbanIxD_towardsCityMaking.pdf

Clifford, R., Grønlund, A., Larsen, K. G. & Starikovskaya, T. (2018). Upper and lower bounds for dynamic data structures on strings. I R. Niedermeier & B. Vallée (red.), 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018 (Bind 96, s. 22:1-22:14). Artikel 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2018.22

Lu, H. & Jensen, C. S. (2012). Upgrading Uncompetitive Products Economically. I IEEE 28th International Conference on Data Engineering (ICDE) (s. 977 - 988 ). IEEE Press. https://doi.org/10.1109/ICDE.2012.92

Hou, B. J., Abdrabou, Y., Weidner, F. & Gellersen, H. (2024). Unveiling Variations: A Comparative Study of VR Headsets Regarding Eye Tracking Volume, Gaze Accuracy, and Precision. I 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (s. 650-655). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/VRW62533.2024.00127

Saioc, G.-V., Shirchenko, D. & Chabbi, M. (2024). Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: a Dynamic Analysis Approach. I T. Grosser, C. Dubach, M. Steuwer, J. Xue, G. Ottoni & F. M. Q. Pereira (red.), 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (s. 411-422). IEEE. https://doi.org/10.1109/CGO57630.2024.10444835

Bødker, S., Lyle, P. & Saad-Sulonen, J. (2017). Untangling the Mess of Technological Artifacts: Investigating Community Artifact Ecologies. I C and T 2017 - 8th International Conference on Communities and Technologies, Conference Proceedings (s. 246-255). Association for Computing Machinery. https://doi.org/10.1145/3083671.3083675

Kjærgaard, M. B. & Blunck, H. (2011). Unsupervised Power Profiling for Mobile Devices. Afhandling præsenteret på The 8th Annual International Conference on Mobile and Ubiquitous Systems:Computing, Networking and Services, København, Danmark.

Kjærgaard, M. B. & Blunck, H. (2012). Unsupervised Power Profiling for Mobile Devices. I A. Puiatti & T. Gu (red.), Mobile and Ubiquitous Systems: Computing, Networking, and Services: 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers (s. 138-149). Springer. https://doi.org/10.1007/978-3-642-30973-1_12

Scheder, D. (2013). Unsatisfiable CNF formulas contain many conflicts. I L. Cai, S.-W. Cheng & T.-W. Lam (red.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (s. 273-283). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_26

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

Chakraborty, S., Magri, B., Nielsen, J. B. & Venturi, D. (2022). Universally Composable Subversion-Resilient Cryptography. 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. 272-302). Springer. https://doi.org/10.1007/978-3-031-06944-4_10

David, B. M., Dowsley, R. & Nascimento, A. C. A. (2014). Universally composable oblivious transfer based on a variant of lPN. I D. Gritzalis, A. Kiayias & I. Askoxylakis (red.), Cryptology and Network Security: 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings (s. 143-158). Springer. https://doi.org/10.1007/978-3-319-12280-9_10

Mechler, J., Müller-Quade, J. & Nilges, T. (2016). Universally Composable (Non-Interactive) Two-Party Computation from Untrusted Reusable Hardware Tokens. http://eprint.iacr.org/2016/615

Viser resultater 101 til 150 ud af 2961

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series