Research output per year
Research output per year
Organisation profile
Organisation profile
The ITU Center for Information Security and Trust (ITU CISAT) provides a multidisciplinary research environment, delivering knowledge and capacity necessary to tackle modern cybersecurity challenges from a societal, legal, organizational, and technical point of view. ITU CISAT draws on expertise in information security, computer science, social science, law and philosophy, covering the range of basic research in security science to applied research in systems-building and analysis of the implications to society.
Fingerprint
Dive into the research topics where cisat.dk is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Alessandro Bruni
- Computer Science - Associate Professor
- Programming Logic and Semantics
- cisat.dk
Person: VIP
-
Marco Carbone
- Computer Science - Associate Professor, Head of study programme
- Programming Logic and Semantics
- cisat.dk
Person: VIP
Research output
-
Taming Differentiable Logics with Coq Formalisation
Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 Mar 2024.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research
Open Access -
A Decentralized Information Marketplace Preserving Input and Output Privacy
Golob, S., Pentyala, S., David, B., Dowsley , R., Larangeira, M., De Cock, M. & Nascimento, A., 2023, DEC '23: Proceedings of the Second ACM Data Economy Workshop. Association for Computing MachineryResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
A Logical Interpretation of Asynchronous Multiparty Compatibility
Carbone, M., Marin, S. & Schürmann, C., 16 Oct 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Cham, Vol. 14330. (Lecture Notes in Computer Science, Vol. 14330).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Activities
-
14th International Conference on Availability, Reliability and Security (ARES 2019)
Kulyk, O. (Member of Programme Committee)
2019Activity: Participating in or organising an event types › Organisation and participation in conference
-
6th Nordic STS Conference 2023
Gad, C. (Workshop Chair) & Gad, C. (Conference Chair)
2023Activity: Participating in or organising an event types › Organisation and participation in conference
-
Arbejdsgruppen om Grønne Forskningsbehov og -potentialer under Uddannelses- og Forskningsministeriet (Event)
Dalsgaard, S. (Member)
29 Jan 2020 → …Activity: Membership types › Membership in committee, council, board
Press/Media
-
Opdateringsnedbrud for milliarder: Ups, det skete igen!
29/08/2024
1 Media contribution
Press/Media: Press / Media
-
Netcompany-system under lup i Norge: Datatilsyn tvivler på sikkerheden
29/08/2024
1 Media contribution
Press/Media: Press / Media
-
Tilliden har lidt et alvorligt knæk Crowdstrike klar med årsagerne til verdenshistoriens største it-nedbrud
23/08/2024
1 Media contribution
Press/Media: Press / Media
-
S2LEGDES: Secret Single Leader Election on the Edge of Speed
David, B. M. (PI) & Rezaeialiabadi, M. (CoI)
24/06/2019 → 01/03/2020
Project: Other
-
COMET: Establishing and Communicating Trust in the Security of Election Technologies
Kulyk, O. (PI), Agbesi, S. (CoI), Budurushi, J. (CoI) & Dalela, A. (Collaborator)
01/01/2022 → 31/12/2023
Project: Research
-
Amazonia 4.0: Scaling IT for a Green Transition in Brazilian Agriculture
Dalsgaard, S. (PI) & Santos da Costa, P. (CoI)
Independent Research Fund Denmark
01/01/2022 → 30/09/2025
Project: Research