Publications & Reports

About us

Filter by

Filtered (38)

Filters

Type

Annual Report (5)
Policy (1)
Conference Papers (60)
PhD Thesis (6)
Journal Paper (8)
Report (6)

Show (38)

Cancel

Filtered (38)

Filters

Year

2023 (16)
2022 (11)
2021 (17)
2020 (17)
2019 (9)
2018 (4)
2017 (3)
2024 (8)
2025 (1)
2026 (0)

Show (38)

Cancel

CoSMeDis: A Confidentiality-Verified Distributed Social Media Platform.

Thomas Bauereiss and Andrei Popescu.

Arch. Formal Proofs 2021. 2021

Compositional BD Security.

Thomas Bauereiss and Andrei Popescu.

Arch. Formal Proofs 2021. 2021

Previous 23

Email: contact@vetss.org.uk

The Research Institute on
Verified Trustworthy Software Systems

Contact us

Privacy Policy
Cookie Policy
EDI Statement
Accessibility Policy

About us
Publications
News
Events

Page load link

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.Ok No Privacy policy

Go to Top

Publications & Reports

Filter by

CoSMeDis: A Confidentiality-Verified Distributed Social Media Platform.

Compositional BD Security.

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems