Publikationer pr. år
Publikationer pr. år
Publikation
- 5 resultater
Søgeresultater
-
2023
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials
Gentile, L., David, B., Brorsson, J., Stankovski Wagner, P. & Pagnin, E., 2023, I: CT-RSA 2023 The Cryptographers' Track at RSA Conference.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
2022
Zswap: zk-SNARK Based Non-Interactive Multi-Asset Swaps
Engelmann, F. T., Kerber, T., Kohlweiss, M. & Volkhov, M., 15 jul. 2022, I: Proceedings on Privacy Enhancing Technologies. 2022, 4, s. 507-527Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
2021
ReGraDa: Reactive graph data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, I: Lecture notes in computer science. 12717, s. 188-205 18 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning
Åben adgang -
2019
A Sound Algorithm for Asynchronous Session Subtyping
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, I: Leibniz International Proceedings in Informatics. 140, s. 34:1–34:16Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil