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

Hazay, C. & Toft, T. (2014). Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. Journal of Cryptology, 27(2), 358-395. https://doi.org/10.1007/s00145-013-9147-8

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2016). Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings: 14th International Conference, TCC 2016-B (Vol. 9985 , pp. 367-399). Springer VS. https://doi.org/10.1007/978-3-662-53641-4_15

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2017). Constant-Round Adaptively Secure Protocols in the Tamper-Proof Hardware Model. In S. Fehr (Ed.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings: PKC 2017 (Vol. 10175, pp. 428-460 ). Springer VS. https://doi.org/10.1007/978-3-662-54388-7_15

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. https://doi.org/10.1007/978-3-319-70694-8_21

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). TinyKeys: A New Approach to Efficient Multi-Party Computation. In H. Shacham & A. Boldyreva (Eds.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Vol. 10993, pp. 3-33). Springer VS. https://doi.org/10.1007/978-3-319-96878-0_1

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). Concretely Efficient Large-Scale MPC with Active Security (or, TinyKeys for TinyOT). In T. Peyrin & S. Galbraith (Eds.), Advances in Cryptology – ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Vol. 11274, pp. 86-117). Springer VS. https://doi.org/10.1007/978-3-030-03332-3_4

Hazay, C., López-Alt, A., Wee, H. & Wichs, D. (2013). Leakage-resilient cryptography from minimal assumptions. In T. Johansson & P. Nguyen (Eds.), Leakage-Resilient Cryptography from Minimal Assumptions: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (pp. 160-176). Springer VS. https://doi.org/10.1007/978-3-642-38348-9_10

Hazay, C., Scholl, P. & Soria-Vazquez, E. (2020). Low Cost Constant Round MPC Combining BMR and Oblivious Transfer. Journal of Cryptology, 33(4), 1732-1786. https://doi.org/10.1007/s00145-020-09355-y

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2022). TinyKeys: A New Approach to Efficient Multi-Party Computation. Journal of Cryptology, 35(2), Article 13. https://doi.org/10.1007/s00145-022-09423-5

Haxen, M., Raeburn, M., Afshani, P. & Karras, P. (2021). Centerpoint Query Authentication. In Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (pp. 3083-3087). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482072

Haverkort, H. & Walderveen, F. V. (2011). Four-dimensional hilbert curves for R-trees. Journal of Experimental Algorithmics, 16(3), article 3.4. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2030000/2025380/a3_4-haverkort.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=87253851&CFTOKEN=10848781&__acm__=1330418603_15ea5ff6076f78ee33d5b69771abf5ef

Haulrik, N., Petersen, R. M. & Merritt, T. (2017). CADLens: Haptic feedback for navigating in 3D environments. In DIS 2017 Companion - Proceedings of the 2017 ACM Conference on Designing Interactive Systems (pp. 127-131). Association for Computing Machinery. https://doi.org/10.1145/3064857.3079132

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. Journal of Functional Programming, 7(3), 303-319.

Hatcliff, J. & Danvy, O. (1996). A computational formalization for partial evaluation. BRICS Report Series, RS-96-34.

Hatcliff, J. & Danvy, O. (1996). Thunks and the λ-calculus. BRICS Report Series, (RS-96-19).

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. BRICS Report Series, (RS-97-7).

Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K. & Spitters, B. (2023). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Transactions on Programming Languages and Systems, 45(3), 61. Article 15. https://doi.org/10.1145/3594735

Haselwarter, P. G. & Bauer, A. (2023). Finitary Type Theories With and Without Contexts. Journal of Automated Reasoning, 67(4), Article 36. https://doi.org/10.1007/s10817-023-09678-y

Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B. (2024). The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. In A. Timany, D. Traytel, B. Pientka & S. Blazy (Eds.), CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 30-44). Association for Computing Machinery. https://doi.org/10.1145/3636501.3636961

Haselwarter, P. G., Li, K. H. E. I., Medeiros, M. D. E., Gregersen, S. O., Aguirre, A., Tassarotti, J. & Birkedal, L. (2024). Tachis: Higher-Order Separation Logic with Credits for Expected Costs. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1189 - 1218. Article 313. https://doi.org/10.1145/3689753

Haselwarter, P. G., Li, K. H., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2025). Approximate Relational Reasoning for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(POPL), 1196-1226. Article 41. https://doi.org/10.1145/3704877

Harnik, D., Ishai, Y., Kushilevitz, E. & Nielsen, J. B. (2008). OT-Combiners Via Secure Computation. Lecture Notes in Computer Science, 4948, 393-411. https://doi.org/10.1007/978-3-540-78524-8_22

Hansen, K. A. (2004). Constant Width Planar Computation Characterizes ACC⁰. In V. Diekert & M. Habib (Eds.), STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings (pp. 44-55). Springer. https://doi.org/10.1007/978-3-540-24749-4_5

Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. In J. Fiala, V. Koubek & J. Kratochvil (Eds.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (pp. 334-345). Springer. https://doi.org/10.1007/978-3-540-28629-5_24

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2002). Circuits on Cylinders. Electronic Colloquium on Computational Complexity, (TR02-066).

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2003). Circuits on Cylinders. In Fundamentals of Computation Theory (pp. 171-182). Springer. https://doi.org/10.1007/978-3-540-45077-1_17

Hansen, K. M. (2003). Activity-Centred Tool Integration: Using Type-Based Publish/Subscribe for Peer-to-Peer Tool Integration. In A. Schürr & H. Dörr (Eds.), Proceedings of TIS 2003 Workshop on Tool Integration in System Development (pp. 11-16). Association for Computing Machinery.

Hansen, K. M. (2001). Fluid Interfaces: Supporting Specific, General, and Minimal Interaction. In O. W. Bertelsen (Ed.), Proceedings of The First Danish Human-Computer Interaction Research Symposium (pp. 25-26). Aarhus University.

Hansen, K. M. (2004). Thoth - A Publish/Subscribe Architecture for Peer-to-Peer Tool Integration. International Journal on Software Tools for Technology Transfer, 6(3), 219-230. https://doi.org/10.1007/s10009-004-0156-7

Hansen, K. M. & Christensen, H. B. (2004). Component Reengineering Workshops: A Low-Cost Approach for Assessing Specific Reengineering Costs Across Product Lines. In Proceedings of the 8th European Conference on Software Maintenance and Reengineering 2004 (pp. 154-162). IEEE Computer Society Press. https://doi.org/10.1109/CSMR.2004.1281416

Hansen, K. M., MacIntyre, B., Mynatt, E. D., Tullio, J. & Voida, S. (2001). Hypermedia in the Kimura System: Using Spacial, Temporal and Navigational Relationships to Support Multitasking and Background Awareness. In Proceedings of the twelfth ACM Conference on Hypertext and Hypermedia (Vol. Posters). ACM Press New York, NY, USA.

Hansen, K. M. & Ratzer, A. V. (2002). Tool Support for Collaborative Teaching and Learning of Object-Oriented Modelling. In Proceedings of the 7th annual conference on Innovation and technology in computer science education (pp. 146-150). Association for Computing Machinery. https://doi.org/10.1145/544414.544458

Hansen, T. R. (2004). Socio-Technical Experiments - A New Approach on the Design Process. Electronic Colloquium on Computational Complexity, (CfPC 2004-PP-57).

Hansen, T. R. & Bardram, J. E. (2005). ActiveTheatre - a Collaborative, Event-based Capture and Access System for the Operating Theatre. In UbiComp 2005 (pp. 375-392). Springer LNCS.

Hansen, F. A., Christensen, B. G. & Bouvin, N. O. (2005). RSS as a distribution medium for geo-spatial hypermedia. In Proceedings of the sixteenth ACM conference on Hypertext and hypermedia (pp. 254-256). Association for Computing Machinery. https://doi.org/10.1145/1083356.1083410

Hansen, F. A. (2005). Representing Context in Hypermedia Data Models. In International Workshop on Context in Mobile HCI http://mobilehci.icts.sbg.ac.at/context/papers/hansen.pdf

Hansen, K. A. & Chattopadhyay, A. (2005). Lower Bounds for Circuits with Few Modular and Symmetric Gates. In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi & M. Yung (Eds.), Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings (pp. 994-1005). Springer. https://doi.org/10.1007/11523468_80

Hansen, K. A. (2006). Constant Width Planar Computation Characterizes ACC⁰. Theory of Computing Systems, 39(1), 79-92. https://doi.org/10.1007/s00224-005-1258-7

Hansen, K. M. & Ingstrup, M. (2005). Palpable Assemblies: Dynamic Service Composition in Ubiquitous Computing. In W. C. Chu, N. J. Juzgado & W. E. Wong (Eds.), Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (pp. 632-638). Knowledge Systems Institute.

Hansen, T. R., Eklund, J. M., Sprinkle, J., Bajcsy, R. & Sastry, S. (2005). Using Smart Sensors and a Camera Phone to Detect and Verify the Fall of Elderly Persons. In Proceedings of 3rd European Medical and Biological Engineering Conference: EMBEC 2005 (pp. 2486-2487). IFMBE.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Space - Expanding the Interaction Space with Mobile Devices. In People and Computers XIX - The Bigger Picture Springer.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - Designing for Camera Based Interaction with Mobile Devices. In CHI 05 (pp. 1933 - 1936). Society for Industrial and Applied Mathematics.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - a new interaction technique for mobile devices (demonstration). Poster session presented at Ubiquitous Computing Conference 2005, Tokyo, Japan.

Hansen, T. R. (2005). Information Technology for Assisted Living at Home. Datalogisk Institut.

Hansen, L. K., Pedersen, P. D. & Eriksson, E. (2005). Rethinking information handling: designing for information offload. In O. W. Bertelsen, N. O. Bouvin, P. G. Krogh & M. Kyng (Eds.), 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005) (pp. 161-164). Association for Computing Machinery. https://doi.org/10.1145/1094562.1094589

Hansen, F. A., Bouvin, N. O., Christensen, B. G., Grønbæk, K., Pedersen, T. B. & Gagach, J. (2004). Integrating the Web and the World: Contextual Trails on the Move. In Proceedings of the 15th ACM Conference on Hypertext and Hypermedia (pp. 98-107). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012837

Hansen, K. M., Larsen, S. B., Pagter, J. I., Pedersen, M. Ø. & Thomsen, J. (2004). An Evaluation of an OSGi-based Residential Pervasive Computing Platform. In N. Guimarães & P. Isaías (Eds.), Proceedings of the IADIS Applied Computing Conference (pp. 246-253). International Association for Development, IADIS. http://www.iadis.net/dl/Search_list_open.asp?code=602

Hansen, K. M. & Wells, L. M. (2006). Dynamic Design and Evaluation of Software Architecture in Critical Systems Development. In T. Cant (Ed.), Safety Critical Systems and Software 2006 (pp. 35-44). Australian Computer Society. http://crpit.com/confpapers/CRPITV69Hansen.pdf

Hansen, K. A. (2006). On Modular Counting with Polynomials. In 21st Annual IEEE Conference on Computational Complexity (CCC'06) (pp. 202-212). IEEE Computer Society Press. https://doi.org/10.1109/CCC.2006.29

Displaying results 2651 to 2700 out of 5797

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University