Center for Information Security and Trust (CISAT)

Websitehttps://cisat.dk/

Postal addressShow on map
Rued Langgaards Vej 7, 4C13, RLV
2300 Copenhagen
Denmark

88 Article in proceedings
22 Journal article
8 Book chapter
7 Conference abstract for conference
More

7 results

Filter

2024
An Algorithm for Bichromatic Sorting with Polylog Competitive Ratio
Jacob, R. & Goswami, M., 24 Jan 2024, In: Leibniz International Proceedings in Informatics (LIPIcs). 287, p. 1-17 17 p.
Research output: Journal Article or Conference Article in Journal › Conference article › Research

Open Access
On Instance-Optimal Algorithms for a Generalization of Nuts and Bolts and Generalized Sorting
Jacob, R. & Goswami, M., Aug 2024, In: Leibniz International Proceedings in Informatics (LIPIcs). 317, p. 1-23 23 p.
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access
2023
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 Jul 2023, In: Leibniz International Proceedings in Informatics. 268, p. 28:1 28 p.
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access
PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials
Gentile, L., David, B., Brorsson, J., Stankovski Wagner, P. & Pagnin, E., 2023, In: CT-RSA 2023 The Cryptographers' Track at RSA Conference.
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access
2022
Zswap: zk-SNARK Based Non-Interactive Multi-Asset Swaps
Engelmann, F. T., Kerber, T., Kohlweiss, M. & Volkhov, M., 15 Jul 2022, In: Proceedings on Privacy Enhancing Technologies. 2022, 4, p. 507-527
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access
2021

ReGraDa: Reactive graph data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, In: Lecture notes in computer science. 12717, p. 188-205 18 p.
Research output: Journal Article or Conference Article in Journal › Conference article › Research

Open Access
2019
A Sound Algorithm for Asynchronous Session Subtyping
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, In: Leibniz International Proceedings in Informatics. 140, p. 34:1–34:16
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access
File

Center for Information Security and Trust (CISAT)

Research output

Search results

An Algorithm for Bichromatic Sorting with Polylog Competitive Ratio

On Instance-Optimal Algorithms for a Generalization of Nuts and Bolts and Generalized Sorting

A Sound and Complete Projection for Global Types

PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials

Zswap: zk-SNARK Based Non-Interactive Multi-Asset Swaps

ReGraDa: Reactive graph data

A Sound Algorithm for Asynchronous Session Subtyping