Center for Information Security and Trust

IT-Universitetet i København

Websidehttps://cisat.dk/

PostadresseVis på kort
Rued Langgaards Vej 7, 4C13, RLV
2300 Copenhagen
Danmark

93 Konferencebidrag i proceedings
23 Tidsskriftartikel
15 Ph.d.-afhandling
8 Bidrag til bog/antologi
Mere

15 resultater

Filter

2024
A Mechanisation of Multiparty Session Types
Tirore, D., 2024, IT-Universitetet i København. 160 s.
Publikation: Afhandlinger › Ph.d.-afhandling
Church and Climate Change in Counterpoint: An Ethnography of Environmental Engagements within the Danish People's Church
Schyberg, K. A., 2024, IT-Universitetet i København. 271 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
Making Sense of Air Pollution Modelling: Framed Uncertainty
Haarløv, R. T., 2024, IT-Universitetet i København. 153 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
Technology Comprehension In-The-Making: Discipline-ing, Translating, Prototyping
Gahoonia, S. K., 2024, 168 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2023
Expanding Blockchain Horizons through Privacy-Preserving Computation
Gentile, L., 2023, Copenhagen: IT-Universitetet i København. 137 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
On Large-Scale Multiparty Computation with sub-linear Communication using Ephemeral Servers
Konring, A., 2023, 223 s.
Publikation: Afhandlinger › Ph.d.-afhandling
Securing Distributed Business Process Model Execution
Madsen, M. F., 12 okt. 2023, Copenhagen: IT University of Copenhagen. 88 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2022
GENERATION CARBON: Loss, goodness and youth climate activism in Norway’s oil capital
Lautrup, A., 2022, IT-Universitetet i København. 166 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2021
BECOMING DATA-DRIVEN? The reconfiguration of work situations in the Danish Customs and Tax Administration
Jørgensen, B., 2021, IT-Universitetet i København. 166 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
Top-Up with Driver: Digital Money, Transactional Aspirations, and Peerhood in Yogyakarta, Indonesia
Sandbukt, S., 2021, IT-Universitetet i København. 271 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2018
Sparse Matrix Multiplication Kernels
Dusefante, M., 2018, IT-Universitetet i København. 131 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2017
Modern Logical Frameworks Design
Murawska, A. A., 2017, IT-Universitetet. 139 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2016
Applied Formal Methods for Elections
Wang, J., 2016, IT-Universitetet i København. 154 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
A Type Theoretic Investigation of the Verification of Voting Protocols
Gustafsson, D., 2016, IT-Universitetet i København. 148 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
The Election Machine: Generating Danish Democracy
Vadgaard, A. K. P., 2016, IT-Universitetet i København. 222 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Center for Information Security and Trust

Publikation

Søgeresultater